Sign in
Sejin Jung
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 6
Top Topics
Requirements Specification
Software Development
Safety Analysis
Requirements Engineering
Top Venues
Reliab. Eng. Syst. Saf.
IEICE Trans. Inf. Syst.
APSEC
J. Comput. Sci. Eng.
</>
Publications
</>
Sejin Jung
,
Junbeom Yoo
,
Sam Malek
A systematic co-engineering of safety and security analysis in requirements engineering process.
Int. J. Crit. Infrastructure Prot.
43 (2023)
Sejin Jung
,
Eui-Sub Kim
,
Junbeom Yoo
Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis.
IEICE Trans. Inf. Syst.
(5) (2022)
Sejin Jung
,
Junbeom Yoo
An Approach for Hazard Analysis of Multiple-Cooperative Systems Considering Dynamic Configuration Uncertainty.
APSEC
(2022)
Sejin Jung
,
Junbeom Yoo
,
Young-Jun Lee
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems.
Reliab. Eng. Syst. Saf.
203 (2020)
Sejin Jung
,
Junbeom Yoo
,
Young-Jun Lee
A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software.
Reliab. Eng. Syst. Saf.
202 (2020)
Eui-Sub Kim
,
Dong-Ah Lee
,
Sejin Jung
,
Junbeom Yoo
,
Jong-Gyun Choi
,
Jang-Soo Lee
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
J. Comput. Sci. Eng.
11 (1) (2017)