Sejin Jung

According to our database, Sejin Jung authored at least 6 papers between 2017 and 2023.

Collaborative distances:

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

2023

A systematic co-engineering of safety and security analysis in requirements engineering process.

Sejin Jung, Junbeom Yoo, Sam Malek

Int. J. Crit. Infrastructure Prot., December, 2023

2022

Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis.

Sejin Jung, Eui-Sub Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 2022

An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty.

Sejin Jung, Junbeom Yoo

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

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

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

2017

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