Gee-Yong Park

According to our database, Gee-Yong Park authored at least 5 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.

Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong

J. Res. Pract. Inf. Technol., 2010

2007

Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.

Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh

Proceedings of the Computer Safety, 2007

Defense-in-Depth and Diverse Qualification of Safety-Critical Software.

Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the Computer Safety, 2007

2006

Testing of Timer Function Blocks in FBD.

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

1996

Towards increasing the learning speed of gradient descent method in fuzzy system.

Gee-Yong Park, Poong Hyun Seong

Fuzzy Sets Syst., 1996