Towards increasing the learning speed of gradient descent method in fuzzy system. - Gee-Yong Park; Poong Hyun Seong (Fuzzy Sets Syst., 1996)

Testing of Timer Function Blocks in FBD. - Eunkyoung Jee; Seungjae Jeon; Hojung Bang; Sung Deok Cha; Junbeom Yoo; Gee-Yong Park; Kee-Choon Kwon (APSEC, 2006)

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; et al. (SAFECOMP, 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 (SAFECOMP, 2007)

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)

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, 2024)