Eunkyoung Jee

46 papers A 2B 5C 6Misc 3Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Collaboration failure analysis in cyber-physical system-of-systems using context fuzzy clustering.
Empir. Softw. Eng.
Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2025 — conf
Foreword to the 6th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS).
EnCyCriS
Coralie Esnoul, Eunkyoung Jee, John Eidar Simensen, Ita Ryan, Mary Sánchez-Gordón, Nathan Lau
2024 — conf
Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement.
SysCon
Zelalem Mihret, Jakob Axelsson, Eunkyoung Jee, Doo-Hwan Bae
2024 J jnl
Report on the 5th International Workshop on Engineering and Cybersecurity of Critical Systems and 2nd International Workshop on Software Vulnerability Management (EnCyCriS/SVM - 2024).
ACM SIGSOFT Softw. Eng. Notes
John Eidar Simensen, Coralie Esnoul, Eunkyoung Jee, Ali Babar, Triet Huynh Minh Le, Awais Rashid
2023 C conf
Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System.
APSEC
Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee
2023 J jnl
Report on the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2022).
ACM SIGSOFT Softw. Eng. Notes
Coralie Esnoul, Ricardo Colomo-Palacios, Eunkyoung Jee, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
2023 J jnl
Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023).
ACM SIGSOFT Softw. Eng. Notes
Coralie Esnoul, Mary Sánchez-Gordón, Eunkyoung Jee, Ricardo Colomo-Palacios, Sabarathinam Chockalingam, John Eidar Simensen, Doo-Hwan Bae
2023 A conf
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs.
ISSRE
Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta, Miren Illarramendi Rezabal
2023 J jnl
Timed pattern-based analysis of collaboration failures in system-of-systems.
J. Syst. Softw.
Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2022 — conf
Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning.
SoSE
Eunho Cho, Gwangoo Yeo, Eunkyoung Jee, Doo-Hwan Bae
2022 J jnl
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Inf. Softw. Technol.
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2022 — conf
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing.
SoSE
May Myat Thwe, Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
2022 J jnl
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software.
Softw. Test. Verification Reliab.
Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae
2022 — conf
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work.
SoSE
Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae
2022 Misc conf
Statistical verification using learned usages for evaluating energy-efficient mobile device design.
SAC
Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae
2021 C conf
Metamorphic Testing for Reliability in System of Systems.
APSEC
Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee
2019 Misc conf
Data-driven environment modeling for adaptive system-of-systems.
SAC
Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae
2019 — conf
Slicing executable system-of-systems models for efficient statistical verification.
SESoS/WDES
Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2018 — conf
A collaboration policy model for system of systems.
SoSE
Zelalem Mihret, Eunkyoung Jee, Young Min Baek, Doo-Hwan Bae
2018 J jnl
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.
Sci. Comput. Program.
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2017 J jnl
A User eXperience Evaluation Framework for Mobile Usability.
Int. J. Softw. Eng. Knowl. Eng.
Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, Doo-Hwan Bae
2017 C conf
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.
APSEC
Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae
2016 — conf
A runtime verification framework for dynamically adaptive multi-agent systems.
BigComp
Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
2016 C conf
Automated Test Sequence Generation for Function Block Diagram Programs.
APSEC
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2016 J jnl
Comprehensive analysis of FBD test coverage criteria using mutants.
Softw. Syst. Model.
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
2016 — conf
Modeling and verification for different types of system of systems using PRISM.
SESoS
Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae
2016 J jnl
Timing consistency checking for UML/MARTE behavioral models.
Softw. Qual. J.
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
2015 B conf
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems.
COMPSAC
Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae
2014 J jnl
Automated test case generation for FBD programs implementing reactor protection system software.
Softw. Test. Verification Reliab.
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
2014 Misc conf
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software.
SAC
Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae
2012 J jnl
Challenges and Research Directions in Medical Cyber-Physical Systems.
Proc. IEEE
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian
2012 A conf
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis.
MoDELS
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
2012 — conf
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.
SERE
Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae
2010 B conf
A Safety-Assured Development Approach for Real-Time Software.
RTCSA
Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee
2010 — conf
Assurance Cases in Model-Driven Development of the Pacemaker Software.
ISoLA (2)
Eunkyoung Jee, Insup Lee, Oleg Sokolsky
2010 B conf
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.
SAFECOMP
Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee
2010 J jnl
Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621].
J. Syst. Softw.
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
2010 J jnl
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol.
Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong
2010 J jnl
Means-ends and whole-part traceability analysis of safety requirements.
J. Syst. Softw.
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
2009 J jnl
A data flow-based structural testing technique for FBD programs.
Inf. Softw. Technol.
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae
2009 J jnl
Formal Modeling and Verification of Safety-Critical Software.
IEEE Softw.
Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha
2008 C conf
A Verification Framework for FBD Based Software in Nuclear Power Plants.
APSEC
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
2007 B conf
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
SAFECOMP
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh
2006 C conf
Testing of Timer Function Blocks in FBD.
APSEC
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon
2005 B conf
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
2003 J jnl
Systematic evaluation of fault trees using real-time model checker UPPAAL.
Reliab. Eng. Syst. Saf.
Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong