Dong-Ah Lee

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Topics

Selection Criteria

Rapid Prototyping

Formal Analysis

Software Development

Top Venues

IEICE Trans. Inf. Syst.

J. Comput. Sci. Eng.

Publications

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)
Sanghyun Yoon, Dong-Ah Lee, Eunji Pak, Taeho Kim, Junbeom Yoo
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS. IEICE Trans. Inf. Syst. (10) (2017)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. APSEC (1) (2014)
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)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC. Reliab. Eng. Syst. Saf. 120 (2013)
Dong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim
Systematic Verification of Operational Flight Program through Reverse Engineering. FGIT-ASEA/DRBC/EL (2011)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. SAFECOMP (2011)