Dong-Ah Lee

According to our database, Dong-Ah Lee authored at least 8 papers between 2011 and 2021.

Collaborative distances:

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

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

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS.

Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo

IEICE Trans. Inf. Syst., 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

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Reliab. Eng. Syst. Saf., 2013

2011

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the Computer Safety, Reliability, and Security, 2011

Systematic Verification of Operational Flight Program through Reverse Engineering.

Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim

Proceedings of the Software Engineering, Business Continuity, and Education, 2011