Systematic evaluation of fault trees using real-time model checker UPPAAL. - Sung Deok Cha; Han Seong Son; Junbeom Yoo; Eunkyoung Jee; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2003)

Control and Data Flow Testing on Function Block Diagrams. - Eunkyoung Jee; Junbeom Yoo; Sung Deok Cha (SAFECOMP, 2005)

Testing of Timer Function Blocks in FBD. - Eunkyoung Jee; Seungjae Jeon; Hojung Bang; Sung Deok Cha; Junbeom Yoo; Gee-Yong Park; Kee-Choon Kwon (APSEC, 2006)

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 (SAFECOMP, 2007)

A Verification Framework for FBD Based Software in Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Eunkyoung Jee (APSEC, 2008)

A data flow-based structural testing technique for FBD programs. - Eunkyoung Jee; Junbeom Yoo; Sung Deok Cha; Doo-Hwan Bae (Inf. Softw. Technol., 2009)

Formal Modeling and Verification of Safety-Critical Software. - Junbeom Yoo; Eunkyoung Jee; Sung Deok Cha (IEEE Softw., 2009)

Assurance Cases in Model-Driven Development of the Pacemaker Software. - Eunkyoung Jee; Insup Lee 001; Oleg Sokolsky (ISoLA (2), 2010)

A Safety-Assured Development Approach for Real-Time Software. - Eunkyoung Jee; Shaohui Wang; Jeong-Ki Kim; Jaewoo Lee; Oleg Sokolsky; Insup Lee 001 (RTCSA, 2010)

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. - Eunkyoung Jee; Suin Kim; Sung Deok Cha; Insup Lee 001 (SAFECOMP, 2010)

FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. - Eunkyoung Jee; Seungjae Jeon; Sung Deok Cha; Kwang Yong Koh; Junbeom Yoo; Gee-Yong Park; Poong-Hyun Seong (J. Res. Pract. Inf. Technol., 2010)

Means-ends and whole-part traceability analysis of safety requirements. - Jang-Soo Lee; Vikash Katta; Eunkyoung Jee; Christian Raspotnig (J. Syst. Softw., 2010)

Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. - Jang-Soo Lee; Vikash Katta; Eunkyoung Jee; Christian Raspotnig (J. Syst. Softw., 2010)

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. - Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (MoDELS, 2012)

Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. - Jinho Choi 002; Eunkyoung Jee; Doo-Hwan Bae (SERE, 2012)

Challenges and Research Directions in Medical Cyber-Physical Systems. - Insup Lee 001; Oleg Sokolsky; Sanjian Chen; John Hatcliff; Eunkyoung Jee; BaekGyu Kim; Andrew L. King; Margaret Mullen-Fortino; Soojin Park; Alex Roederer; Krishna K. Venkatasubramanian (Proc. IEEE, 2012)

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software. - Minh Chau Nguyen; Eunkyoung Jee; Jinho Choi 002; Doo-Hwan Bae (SAC, 2014)

Automated test case generation for FBD programs implementing reactor protection system software. - Eunkyoung Jee; Donghwan Shin 001; Sung Deok Cha; Jang-Soo Lee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2014)

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems. - Yoo Jin Lim; Eunkyoung Jee; Donghwan Shin 001; Doo-Hwan Bae (COMPSAC, 2015)

Automated Test Sequence Generation for Function Block Diagram Programs. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (APSEC, 2016)

A runtime verification framework for dynamically adaptive multi-agent systems. - Yoo Jin Lim; Gwangui Hong; Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (BigComp, 2016)

Modeling and verification for different types of system of systems using PRISM. - Dongwon Seo; Donghwan Shin 001; Young Min Baek; Jiyoung Song; Wonkyung Yun; Junho Kim; Eunkyoung Jee; Doo-Hwan Bae (SESoS, 2016)

Comprehensive analysis of FBD test coverage criteria using mutants. - Donghwan Shin 001; Eunkyoung Jee; Doo-Hwan Bae (Softw. Syst. Model., 2016)

Timing consistency checking for UML/MARTE behavioral models. - Jinho Choi 002; Eunkyoung Jee; Doo-Hwan Bae (Softw. Qual. J., 2016)

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 (APSEC, 2017)

A User eXperience Evaluation Framework for Mobile Usability. - Hee-Jin Lee; Joon-Sang Lee; Eunkyoung Jee; Doo-Hwan Bae (Int. J. Softw. Eng. Knowl. Eng., 2017)

A collaboration policy model for system of systems. - Zelalem Mihret; Eunkyoung Jee; Young Min Baek; Doo-Hwan Bae (SoSE, 2018)

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (Sci. Comput. Program., 2018)

Slicing executable system-of-systems models for efficient statistical verification. - Jiyoung Song; Jacob O. Tørring; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (SESoS/WDES, 2019)

Data-driven environment modeling for adaptive system-of-systems. - Yong-Jun Shin; Young Min Baek; Eunkyoung Jee; Doo-Hwan Bae (SAC, 2019)

Metamorphic Testing for Reliability in System of Systems. - Kiat Kian Anthony Chua; Doo-Hwan Bae; Eunkyoung Jee (APSEC, 2021)

Statistical verification using learned usages for evaluating energy-efficient mobile device design. - Jiyoung Song; Youlim Jung; Chiwoo Cho; Eunkyoung Jee; Doo-Hwan Bae (SAC, 2022)

Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning. - Eunho Cho; Gwangoo Yeo; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work. - Zelalem Mihret; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing. - May Myat Thwe; Zelalem Mihret; Eunkyoung Jee; Doo-Hwan Bae (SoSE, 2022)

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. - Jiyoung Song; Jeehoon Kang; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (Inf. Softw. Technol., 2022)

MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software. - Lingjun Liu; Eunkyoung Jee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2022)

Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System. - Hyeongseok Eun; Eunkyoung Jee; Doo-Hwan Bae; Younggeul Kim; Yoonhee Lee (APSEC, 2023)

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 (ISSRE, 2023)

Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022). - Coralie Esnoul; Ricardo Colomo-Palacios; Eunkyoung Jee; Sabarathinam Chockalingam; John Eidar Simensen; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2023)

Timed pattern-based analysis of collaboration failures in system-of-systems. - Sangwon Hyun; Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (J. Syst. Softw., 2023)

Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023). - Coralie Esnoul; Mary Sánchez-Gordón; Eunkyoung Jee; Ricardo Colomo-Palacios; Sabarathinam Chockalingam; John Eidar Simensen; Doo-Hwan Bae (ACM SIGSOFT Softw. Eng. Notes, 2023)

Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement. - Zelalem Mihret; Jakob Axelsson; Eunkyoung Jee; Doo-Hwan Bae (SysCon, 2024)

Report on the 5th International Workshop on Engineering and Cybersecurity of Critical Systems and 2nd International Workshop on Software Vulnerability Management (EnCyCriS/SVM - 2024). - John Eidar Simensen; Coralie Esnoul; Eunkyoung Jee; Ali Babar 001; Triet Huynh Minh Le; Awais Rashid (ACM SIGSOFT Softw. Eng. Notes, 2024)

Foreword to the 6th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS). - Coralie Esnoul; Eunkyoung Jee; John Eidar Simensen; Ita Ryan; Mary Sánchez-Gordón; Nathan Lau (EnCyCriS, 2025)

Collaboration failure analysis in cyber-physical system-of-systems using context fuzzy clustering. - Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (Empir. Softw. Eng., 2025)