Login / Signup
Eui-Sub Kim
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 3
Top Topics
Static Analysis
Symbolic Execution
Protection Scheme
Selection Criteria
Top Venues
IEICE Trans. Inf. Syst.
MIM
ISIC
J. Comput. Sci. Eng.
</>
Publications
</>
Sejin Jung
,
Eui-Sub Kim
,
Junbeom Yoo
Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis.
IEICE Trans. Inf. Syst.
(5) (2022)
Dong-Ah Lee
,
Eui-Sub Kim
,
Junbeom Yoo
An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis.
IEICE Trans. Inf. Syst.
(1) (2021)
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)
Junbeom Yoo
,
Eui-Sub Kim
,
Dong-Ah Lee
,
Jong-Gyun Choi
,
Young-Jun Lee
,
Jang-Soo Lee
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants.
ISIC
(2014)
Jong-Hoon Lee
,
Eui-Sub Kim
,
Junbeom Yoo
,
Jang-Soo Lee
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.
MIM
(2013)