Gee-Yong Park

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

Collaborative distances:

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

2024

Self-adjusting PID control system using a neural network for a binary power plant.

Kun-Young Han, Gee-Yong Park, Myeong-Kyun Lee, Dong-Han Yoo, Hee-Hyol Lee

Artif. Life Robotics, May, 2024

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