Eui-Sub Kim

According to our database, Eui-Sub Kim authored at least 5 papers between 2013 and 2022.

Collaborative distances:

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

2022

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

Sejin Jung, Eui-Sub Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 2022

2021

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

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

2014

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

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

2013

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

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013