Eunkyoung Jee

According to our database, Eunkyoung Jee authored at least 44 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Triet Huynh Minh Le, Awais Rashid

ACM SIGSOFT Softw. Eng. Notes, October, 2024

Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement.

Zelalem Mihret, Jakob Axelsson, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the IEEE International Systems Conference, 2024

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, October, 2023

Timed pattern-based analysis of collaboration failures in system-of-systems.

Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae

J. Syst. Softw., April, 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, January, 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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System.

Hyeongseok Eun, Eunkyoung Jee, Doo-Hwan Bae, Younggeul Kim, Yoonhee Lee

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

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

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

Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing.

May Myat Thwe, Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work.

Zelalem Mihret, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 17th Annual System of Systems Engineering Conference, 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

Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

Statistical verification using learned usages for evaluating energy-efficient mobile device design.

Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Metamorphic Testing for Reliability in System of Systems.

Kiat Kian Anthony Chua, Doo-Hwan Bae, Eunkyoung Jee

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2019

Data-driven environment modeling for adaptive system-of-systems.

Yong-Jun Shin, Young Min Baek, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Slicing executable system-of-systems models for efficient statistical verification.

Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

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

A collaboration policy model for system of systems.

Zelalem Mihret, Eunkyoung Jee, Young Min Baek, Doo-Hwan Bae

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

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

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

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Timing consistency checking for UML/MARTE behavioral models.

Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae

Softw. Qual. J., 2016

Comprehensive analysis of FBD test coverage criteria using mutants.

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Softw. Syst. Model., 2016

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

Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016

A runtime verification framework for dynamically adaptive multi-agent systems.

Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

Automated Test Sequence Generation for Function Block Diagram Programs.

Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems.

Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Automated test case generation for FBD programs implementing reactor protection system software.

Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae

Softw. Test. Verification Reliab., 2014

Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software.

Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae

Proceedings of the Symposium on Applied Computing, 2014

2012

Challenges and Research Directions in Medical Cyber-Physical Systems.

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

Proc. IEEE, 2012

Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.

Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis.

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the Model Driven Engineering Languages and Systems, 2012

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

Means-ends and whole-part traceability analysis of safety requirements.

Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig

J. Syst. Softw., 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

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.

Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee

Proceedings of the Computer Safety, 2010

A Safety-Assured Development Approach for Real-Time Software.

Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Assurance Cases in Model-Driven Development of the Pacemaker Software.

Eunkyoung Jee, Insup Lee, Oleg Sokolsky

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Formal Modeling and Verification of Safety-Critical Software.

Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha

IEEE Softw., 2009

A data flow-based structural testing technique for FBD programs.

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae

Inf. Softw. Technol., 2009

2008

A Verification Framework for FBD Based Software in Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

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

Proceedings of the Computer Safety, 2007

2006

Testing of Timer Function Blocks in FBD.

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

Control and Data Flow Testing on Function Block Diagrams.

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha

Proceedings of the Computer Safety, 2005

2003

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