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)

A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software. - Sejin Jung; Junbeom Yoo; Young-Jun Lee (Reliab. Eng. Syst. Saf., 2020)

A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems. - Sejin Jung; Junbeom Yoo; Young-Jun Lee (Reliab. Eng. Syst. Saf., 2020)

An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty. - Sejin Jung; Junbeom Yoo (APSEC, 2022)

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

A systematic co-engineering of safety and security analysis in requirements engineering process. - Sejin Jung; Junbeom Yoo; Sam Malek (Int. J. Crit. Infrastructure Prot., 2023)