Dependability estimation of a digital system with consideration of software masking effects on hardware faults. - Jong-Gyun Choi; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2001)

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. - Jang-Soo Lee; Arndt Lindner; Jong-Gyun Choi; Horst Miedl; Kee-Choon Kwon (SAFECOMP, 2006)

Reliability assessment of embedded digital system using multi-state function. - Jong-Gyun Choi; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 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)

NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants. - Junbeom Yoo; Eui-Sub Kim; Dong-Ah Lee; Jong-Gyun Choi; Young-Jun Lee; Jang-Soo Lee (ISIC, 2014)

A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. - Junbeom Yoo; Jong-Gyun Choi; Young-Jun Lee; Jang-Soo Lee (ISSRE Workshops, 2014)

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs. - Eui-Sub Kim; Dong-Ah Lee; Sejin Jung; Junbeom Yoo; Jong-Gyun Choi; Jang-Soo Lee (J. Comput. Sci. Eng., 2017)