| 2023 | APSEC | Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. | Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee |
| 2023 | ISSRE | Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs. | Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal |
| 2022 | SAC | Statistical verification using learned usages for evaluating energy-efficient mobile device design. | Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae |
| 2021 | APSEC | Metamorphic Testing for Reliability in System of Systems. | Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee |
| 2019 | ICSE | Slicing executable system-of-systems models for efficient statistical verification. | Jiyoung Song, Jacob O. Trring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae |
| 2019 | SAC | Data-driven environment modeling for adaptive system-of-systems. | Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae |
| 2017 | APSEC | SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. | Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | APSEC | Automated Test Sequence Generation for Function Block Diagram Programs. | Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | ICSE | Modeling and verification for different types of system of systems using PRISM. | Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae |
| 2015 | COMPSAC | Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. | Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae |
| 2014 | SAC | Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. | Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae |
| 2012 | MODELS | Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. | Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae |
| 2010 | ISoLA | Assurance Cases in Model-Driven Development of the Pacemaker Software. | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
| 2010 | RTCSA | A Safety-Assured Development Approach for Real-Time Software. | Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee |
| 2010 | SAFECOMP | Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. | Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee |
| 2008 | APSEC | A Verification Framework for FBD Based Software in Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee |
| 2007 | SAFECOMP | Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
| 2006 | APSEC | Testing of Timer Function Blocks in FBD. | Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon |
| 2005 | SAFECOMP | Control and Data Flow Testing on Function Block Diagrams. | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |