A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. - Jong-Hoon Lee; Eui-Sub Kim; Junbeom Yoo; Jang-Soo Lee (MIM, 2013)

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)

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)

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis. - Dong-Ah Lee; Eui-Sub Kim; Junbeom Yoo (IEICE Trans. Inf. Syst., 2021)

Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis. - Sejin Jung; Eui-Sub Kim; Junbeom Yoo (IEICE Trans. Inf. Syst., 2022)