Dong-Ah Lee

发表

NuFTA : A CASE Tool for Automatic Software Fault Tree Analysis

S. Yun, Dong-Ah Lee, Junbeom Yoo, 2010 .

Systematic Verification of Operational Flight Program through Reverse Engineering

Junbeom Yoo, Doo-Hyun Kim, Dong-Ah Lee, 2011, FGIT-ASEA/DRBC/EL.

Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter

Sangkyung Sung, Junbeom Yoo, Doo-Hyun Kim, 2012 .

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

Jang-Soo Lee, Junbeom Yoo, Dong-Ah Lee, 2011, SAFECOMP.

Formal Verification of Process Communications in Operational Flight Program for a Small-Scale Unmanned Helicopter

Junbeom Yoo, Doo-Hyun Kim, Dong-Ah Lee, 2010 .

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis

Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, 2021, IEICE Trans. Inf. Syst..

Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system

Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, 2020, Nuclear Engineering and Technology.

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Jang-Soo Lee, Sejin Jung, Junbeom Yoo, 2017, J. Comput. Sci. Eng..

Application of System-Theoretic Process Analysis to Engineered Safety Features-Component Control System

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

NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants

Junbeom Yoo, Young-Jun Lee, Dong-Ah Lee, 2014, 2014 International Symposium on Integrated Circuits (ISIC).

FMProjector: A Formal Verification Framework for an Operating System Complying with a Standard Interface

Junbeom Yoo, Dong-Ah Lee, Dong-Ah Lee, 2019, Journal of KIISE.