Eunkyoung Jee

CV

Research Associate Professor (Research Fellow)

School of Computing

KAIST

Research Interest

  • Safefy-Critical Embedded Software

  • Software Engineering >> Formal Verification >> Model Checking

  • Software Engineering >> Formal Specification

  • Software Engineering >> Testing >> PLC (Programmble Logic Controller) Software Testing

  • Safety Analysis >> Software Fault Tree Analysis

  • Software Reliability

Education and Experience

  • 2019.11~present : Research Associate Professor (Research Fellow), KAIST

  • 2013.10~2019.10 : Research Assistant Professor (Research Fellow), KAIST

  • 2011.2~2013.09 : Research Assistant Professor, KAIST

  • 2011.3~2011.12 : Part-time Lecturer, Computer Science and Engineering Dept., Chungnam National University

  • 2009.9~2011.1 : Postdoctoral Researcher, University of Pennsylvania

  • 2004.3~2009.8 : Ph.D., Computer Science, KAIST

  • 2006.3~2006.6 : Teaching Assistant (CS350 Introduction to Software Engineering), KAIST

  • 2005.9~2005.12 : Teaching Assistant (CS520 Programming Languages), KAIST

  • 2005.3~2005.6 : Teaching Assistant (CS550 Advanced Software Engineering), KAIST

  • 2004.9~2004.12 : Teaching Assistant (CS300 Algorithm), KAIST

  • 2003.3~2004.2 : Software Engineer, eMarine Logix Co.

  • 2002.11~2002.12 : Lecturer(Visual C++), Woosong IT Academy

  • 2001.2~2002.8 : Full-time Lecturer, Computer Department, Ulaanbaatar University, Mongolia

  • 1999.2~2001.2 : M.S., Computer Science, KAIST

  • 1995.3~1999.2 : B.S., Computer Science, KAIST

  • 1993.3~1995.2 : Kangwon Science High School

Publication

International Journal

  1. Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states,” Science of Computer Programming, Vol. 163, pp.115-137, 2018.

  2. Hee-Jin Lee, Joon-Sang Lee, Eunkyoung Jee, and Doo-Hwan Bae, “A User eXperience Evaluation Framework for Mobile Usability,” International Journal of Software Engineering and Knowledge Engineering, Vol. 27, No. 2, pp.235-279, 2017.

  3. Jinho Choi, Eunyoung Jee, Doo-Hwan Bae, "Timing Consistency Checking for UML/MARTE Behavioral Models," Software Quality Journal, Vol. 24, No. 3, pp.835-876, September 2016.

  4. Donghwan Shin, Eunyoung Jee, Doo-Hwan Bae, "Comprehensive analysis of FBD test coverage criteria using mutants," Software and Systems Modeling, Vol. 15, No. 3, pp.631-645, July 2016.

  5. Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Jang-Soo Lee, Doo-Hwan Bae, “Automated test case generation for FBD programs implementing reactor protection system software,” Software Testing, Verification and Reliability, Vol. 24, No. 8, pp.608-628, 2014. (pdf)

  6. Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna K. Venkatasubramanian, "Challenges and Research Directions in Medical Cyber–Physical Systems", Proceedings of the IEEE, Vol. 100, No. 1, pp.75-90, 2012. (pdf)

  7. Jang-Soo Lee, Vikash Katta, Eun-Kyoung Jee, and Christian Raspotnig, "Means-Ends and Whole-Part Traceability Analysis of Safety Requirements", The Journal of Systems and Software, Vol. 83, No. 9, pp. 1612-1621, September 2010. (pdf)

  8. Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park, and Poonghyun Seong, "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram," Journal of Research and Practice in Information Technology, Vol. 42, No. 3, pp. 255-272, August 2010. (pdf)

  9. Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, and Doohwan Bae, "A Data Flow-based Structural Testing Technique for FBD Programs," Information and Software Technology, Vol. 51, No. 7, pp. 1131-1139, July 2009. (pdf)

  10. Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha, "Formal Modeling and Verification of Safety-Critical Software implemented in Programmable Logic Controller," IEEE Software, Vol. 26, No. 3, pp. 42-49, May/June 2009. (pdf)

  11. Junbeom Yoo, Sungdeok Cha, and Eunkyoung Jee, "Verification of PLC programs written in FBD with VIS," Nuclear Engineering and Technology, Vol. 41, No. 1, pp. 79-90, February 2009. (pdf)

  12. Gee-Yong Park, Kwang Yong Koh, Eunkyoung Jee, Poong Hyun Seong, Kee-Choon Kwon, and Dae Hyung Lee, "Fault Tree Analysis of KNICS RPS Software," Nuclear Engineering and Technology, Vol. 40, No. 5, pp. 397-408, August 2008. (pdf)

  13. Sungdeok Cha, Hanseong Son, Junbeom Yoo, Eunkyung Jee, and Poonghyun Seong, "Systematic Evaluation of Fault Trees using Real-Time Model Checker UPPAAL," Reliability Engineering and System Safety(RESS), Vol. 82, No. 1, pp. 11-21, 2003. (pdf)

International Conference

  1. Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae, “Slicing Executable System-of-Systems Models for Efficient Statistical Verification,”, 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES), Montreal, Canada, May 28, 2019.

  2. Yong-Jun Shin, Young-Min Baek, Eunkyoung Jee, and Doo-Hwan Bae, “Data-Driven Environment Modeling for Adaptive System-of-Systems,” The 34th ACM/SIGAPP Symposium On Applied Computing (SAC), pp.2044-2047, Limassol, Cyprus, April 8-12, 2019.

  3. Junghun Yoo, Youlim Jung, Donghwan Shin, Minhyo Bae and Eunkyoung Jee, “Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms,” 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (IWBOSE), pp. 11-21, Hangzhou, China, Feb 24, 2019.

  4. B. Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, Doo-Hwan Bae, “A collaboration policy model for system of systems,” 2018 13th System of Systems Engineering Conference (SoSE), pp. 1-8, Paris, France, June 19-22, 2018.

  5. Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae, “SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS,” 2017 24th Asia-Pacific Software Engineering Conference (APSEC), pp. 546-551, Nanjing, China, December 4-8, 2017.

  6. Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae, “Automated Test Sequence Generation for Function Block Diagram Programs,” 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), pp. 305-312, Hamilton, New Zealand, December 6-9, 2016.

  7. Eunkyoung Jee, Gee-Yong Park, Jang-Soo Lee, Kee-Choon Kwon, Doo-Hwan Bae, “A Safety Case for Reactor Protection System Software Developed Using a Prescriptive Approach,” The 39th Enlarged Halden Programme Group Meeting, Sandefjord, Norway, May 8-13, 2016.

  8. Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, “Modeling and Verification for Different Types of System of Systems using PRISM”, Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS’16), pp.12-18, Austin, Texas, USA, May 16, 2016. (pdf)

  9. Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, “A Runtime Verification Framework for Dynamically Adaptive Multi-agent Systems”, International Conference on Big Data and Smart Computing (BigComp) Exobrain Workshop, pp.509-512, HongKong, China, January 18-20, 2016 (pdf)

  10. Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, “Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems,” Proceedings of the 2015 IEEE 39th Annual International Computers, Software & Applications Conference (COMPSAC), pp.216-221, Taichung, Taiwan, July 1-5, 2015. (pdf)

  11. Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi, Doo-Hwan Bae, “Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software,” Proceedings of the 29th Symposium on Applied Computing (SAC), Gyeongju, Korea, March 24-28, 2014. (pdf)

  12. Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae, "Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software", Proceedings of the IEEE 6th International Conference on Software Security and Reliability, pp. 118-127, Washington, D.C., USA, June 20-22, 2012. (pdf)

  13. Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, "Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis", Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), pp.465-479, Innsbruck, Austria, September 30-October 5, 2012. (pdf)

  14. Eunkyoung Jee, Insup Lee and Oleg Sokolsky, “Assurance Cases in Model-Driven Development of the Pacemaker Software”, Proceedings of the 4th International Symposium On Leveraging Application of Formal Methods, Verification and Validation (ISoLA), Part II, LNCS 6416, pp. 343-356, Amirandes, Heraclion, Crete, October 18-20, 2010. (pdf)

  15. Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee, “Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram”, Proceedings of the 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 6351, pp. 223-236, Vienna, Austria, September 14-17, 2010. (pdf)

  16. Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee, "A Safety-Assured Development Approach for Real-Time Software", Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 133-142, August 23-25, 2010. (pdf)

  17. KOH, Kwangyong, JEE, Eunkyoung, JEON, Seungjae, SEONG, Poonghyun, and CHA, Sungdeok, "A Formal Verification Method of Function Block Diagrams with Tool Supporting: Practical Experiences," Annuals of DAAAM for 2008 & Proceedings of the 19th International DAAAM Symposium, ISSN 1726-9679, ISBN 978-3-901509-68-1, Editor B. Katalinic, Published by DAAAM International, Vienna, Austria 2008. (pdf)

  18. Junbeom Yoo, Sungdeok Cha, and Eunkyoung Jee, "A Verification Framework for FBD based Software in Nuclear Power Plants," Proceedings of the 15th Asia Pacific Software Engineering Conference (APSEC), pp. 385-392, Beijing, China, December 3~5, 2008. (pdf)

  19. Gee-Yong Park, Jang-Soo Lee, Se-Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, and Kwang Yong Koh, "Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System", Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 4680, pp. 148-161, Nuremberg, Germany, September 18-21, 2007. (pdf)

  20. Gee-Yong Park, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh, and Poong Hyun Seong, "Safety Activities on Safety-Critical Software for Reactor Protection System", Transactions of the American Nuclear Society (ANS), Vol. 96, pp. 237-238, June 2007. (pdf)

  21. Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sungdeok Cha, Junbeom Yoo, Geeyong Park, and Keechoon Kwon, "Testing of Timer Function Blocks in FBD", Proceedings of the 13th Asia Pacific Software Engineering Conference (APSEC), pp. 243-250, Bangalore, India, December 6-8, 2006. (pdf)

  22. Eunkyoung Jee, Junbeom Yoo, and Sungdeok Cha, "Control and Data Flow Testing on Function Block Diagrams", Proceedings of the 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 3688, pp. 67-80, Fredrikstad, Norway, September 28-30, 2005. (pdf)

  23. Hanseong Son, Eunkyoung Jee, and Sungdeok Cha, "Systematic Evaluation of Fault Tree Using Real-Time Model Checker UPPAAL", Proceedings of International Symposium On the Future I&C for NPP (ISOFIC), pp. 153-158, Seoul, Korea, November 2002.

Domestic Journal

  1. Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae, “MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs,” KIPS Transactions of Software and Data Engineering, Vol. 10, No. 4, pp.115-124, 2021.

  2. Eunkyoung Jee, Youlim Jung, Junghun Yoo, and Doo-Hwan Bae, “Simulation and Formal Verification of Blockchain Consensus Algorithms: A Case Study and Analysis,” Communications of KIISE, Vol. 37, No. 4, pp.37-48, 2019.

  3. Eunkyoung Jee, Jiyoung Song, and Doo-Hwan Bae, “Definition and Application of Mutation Operator Extensions for FBD Programs,” KIISE Transactions on Computing Practices, Vol. 24, No. 11, pp. 589-595, November 2018.

  4. Jiyoung Song, Chiwoo Cho, Youlim Jung, Eunkyoung Jee, Doo-Hwan Bae, “Mobile Device Battery Consumption Analysis Techniques: Evaluation and Future Direction,” Journal of Software Engineering Society, Vol. 27, No. 1, pp. 1-7, September 2018.

  5. Kee-Choon Kwon, Jang-Soo Lee, and Eunkyoung Jee, “Application and Analysis of the Paradigm of Software Safety Assurance for a Digital Reactor Protection System in Nuclear Power Plants,” KIISE Transactions on Computing Practices, Vol. 23, No. 6, pp. 335-342, June 2017.

  6. Cheonghyun Lee, Eunkyoung Jee, Yoo Jin Lim, and Doo-Hwan Bae, “A Feasibility Study of Goal-based Testing with a Task-based Test Model for Collective Adaptive Systems,” KIISE Transactions on Computing Practices, Vol. 22, No. 8, pp. 393-398, August 2016.

  7. Donghwan Shin, Junho Kim, Wonkyung Yun, Eunkyoung Jee, and Doo-Hwan Bae, “A Case Study for Mutation-based Fault Localization for FBD Programs,” KIISE Transactions on Computing Practices, Vol. 22, No. 3, pp. 145-150, March 2016. (pdf)

  8. Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, “Lessons learned from application of model checking and testing techniques to reactor protection system software for safety assurance,” Communications of KIISE, Vol. 33, No. 7, pp.15-26, 2015. (pdf)

  9. Hanseok Kim, Eunkyoung Jee, Doo-Hwan Bae, “Analysis of Timed Automata Model-based Testing Approaches and Case Study,” KIISE Transactions on Computing Practices, Vol. 21, No. 2, pp. 132-137, February 2015. (pdf)

  10. Eunkyoung Jee, Doo-Hwan Bae, "Analysis of Automated Code Generation Techniques from Timed Automata Models," Communications of KIISE, Vol. 32, No. 4, pp. 72-84, April 2014. (pdf)

  11. Gwangui Hong, Eunkyoung Jee, Dongwon Seo and Doo-Hwan Bae, "A Systematic Code Verification Approach and a Case Study for the Properties of Real-time Software Model," Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Software and Applications, Vol. 40, No. 12, pp. 764-773, December 2013. (pdf)

  12. Jinho Choi, Eunkyoung Jee, and Doo-Hwan Bae, "Systematic Generation of VxWorks-based Code from Timed Automata Models", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Computing Practice and Letters, Vol. 19, No. 2, pp. 90-94, February 2013. (pdf)

  13. Donghwan Shin, Eunkyoung Jee, and Doo-Hwan Bae, "Definition of Mutation Operators for FBD Models and Case Study", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Computing Practice and Letters, Vol. 19, No. 1, pp. 36-40, January 2013. (pdf)

  14. Jinho Choi, Eunkyoung Jee, Hyeon-Jeong Kim, and Doo-Hwan Bae, "A Case Study on Timing Constraints Verification for Safety-Critical, Time-Triggered Embedded System", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Software and Applications, Vol. 38, No. 12, pp. 647-656, December 2011. (pdf)

  15. Eunkyoung Jee, Seungjae Jeon, and Sungdeok Cha, "A Formal Verification Technique for PLC programs Implemented by Function Block Diagrams", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Computing Practice and Letters, Vol. 15, No. 3, pp. 211-215, 2009. (pdf)

  16. Eunkyoung Jee, Seungjae Jeon, and Sungdeok Cha, "A Structural Testing Strategy for PLC Programs Specified by Function Block Diagrams", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Software and Applications, Vol. 35, No. 3, pp. 149-161, March 2008. (pdf) (The Best Paper)

  17. Eunkyoung Jee, Junbeom Yoo, Suhyun Park, and Sungdeok Cha, "Control and Data Flow Testing on Function Block Diagrams", Software Engineering Review, Vol. 18, No. 1, pp. 3-19, March 2005. (pdf)

  18. Eunkyoung Jee, Sungdeok Cha, Hanseong Son, Junbeom Yoo, Seoryong Koo, and Poonghyun Seong, "Systematic Evaluation of Fault Trees using Real-Time Model Checker,'' Journal of Korea Information Science Society (KISS) : Software and Applications, Vol. 29, No. 12, pp. 860-872, December 2002. (pdf)

  19. Eunkyoung Jee and Sungdeok Cha, "Systematic Evaluation of Fault Trees using Real-Time Model Checker,'' Software Engineering Review, Vol. 14, No. 1, pp. 4-18, March 2001. (pdf)

Domestic Conference

  1. Wooyoung Choi and Eunkyoung Jee, “A Case Study of Model-based Simulation and Verification for the Tendermint Consensus Algorithm,” Proceedings of the 2021 Korea Computer Congress (KCC), pp.1681-1683, Jeju, Korea, June 23-25, 2021.

  2. Daeuk Jung, Minji Bae, Junseok Beom, Kihyouk Song, Yeram Choi, Jongmoon Baik, Eunkyoung Jee, “Design of Serverless Clusters with stateless computing environment,” Proceedings of the 23rd Korea Conference on Software Engineering (KCSE 2021), Vo. 23, No. 1, pp.211-213, Online, February 1-2, 2021.

  3. B. Zelalem Mihret, Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae, “A Systematic Translation from PAT-based Counterexamples to Viable Test Cases,” Proceedings of the 23rd Korea Conference on Software Engineering (KCSE 2021), Vo. 23, No. 1, pp.203-206, Online, February 1-2, 2021. (in English)

  4. Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae, “Automated mutant generation for function block diagram programs,” Proceedings of the 22nd Korea Conference on Software Engineering (KCSE 2020), Vo. 22, No. 1, pp.154-155, Pyeongchang, Korea, February 3-5, 2020. (in English)

  5. Eunho Cho, Yong-Jun Shin, Eunkyoung Jee, Doo-Hwan Bae, “Comparative Analysis of fault-attack tree based safety and security assessment approaches,” Proceedings of the 2019 Korea Software Congress (KSC), pp.299-301, Pyeongchang, Korea, December 18-20, 2019.

  6. B. Zelalem Mihret, Eunkyoung Jee, Young-Min Baek, Doo-Hwan Bae, “A Bottom-up Approach for System-of-Systems Collaboration Policy Formulation,” Proceedings of the 21st Korea Conference on Software Engineering (KCSE 2019), Vo. 21, No. 1, pp.142-145, Pyeongchang, Korea, January 28-30, 2019. (in English)

  7. Eunkyoung Jee, Youlim Jung, Junghun Yoo, Donghwan Shin, and Doo-Hwan Bae, “A Case Study of Modeling and Simulation of a Blockchain Consensus Algorithm,” Proceedings of the 2018 Korea Software (KSC), Pyeongchang, Korea, December 19-21, 2018.

  8. Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, and Doo-Hwan Bae, “Goal Model Slicing for Efficient Verification of System of Systems,” Proceedings of the 2018 Korea Software (KSC), Pyeongchang, Korea, December 19-21, 2018. Outstanding Paper Award

  9. Sumin Park, Eunkyoung Jee, Jiyoung Song, and Doo-Hwan Bae, “A Mutation-Adequate Test Data Generation Technique for FBD Programs,” Proceedings of the 2018 Korea Computer Congress (KCC), pp.526-528, Jeju, Korea, June 20-22, 2018.

  10. Eunkyoung Jee, Hanseok Kim, Doo-Hwan Bae, “Comprehensive Definition of Mutation Operators for FBD Programs,” Proceedings of the 2017 Korea Software Congress (KSC), pp.1662, Busan, Korea, December 20-22, 2017. Outstanding Presentation Award

  11. Eunkyoung Jee, Jang-Soo Lee, Kee-Choon Kwon, Doo-Hwan Bae, “A Case Study on Evaluation of Safety Case for Nuclear Safety-Critical System Software,” Proceedings of the 2017 Korea Computer Congress (KCC), pp.1621, Jeju, Korea, June 18-20, 2017.

  12. Jiyoung Song, Chiwoo Cho, Eunkyoung Jee, and Doo-Hwan Bae, “Comparison on mobile device battery consumption analysis techniques,” Proceedings of the 19th Korea Conference on Software Engineering (KCSE 2017), Vol. 19, No. 1, pp. 353-354, Pyeongchang, Korea, February 8-10, 2017.

  13. Kee-Choon Kwon, Jang-Soo Lee, Eunkyoung Jee, “Safety Justification and Safety Case for Safety-critical Software in Digital Reactor Protection System,” Transactions of the Korean Nuclear Society Autumn Meeting, Gyeongju, Korea, October 27-28, 2016. (in English)

  14. Kee-Choon Kwon, Jang-Soo Lee, Gee-Yong Park, Eunkyoung Jee, “Paradigm of Software Safety Assurance for Digital Reactor Protection System in Nuclear Power Plants,” Proceedings of the 2016 Korea Computer Congress (KCC), pp.642-644, Jeju, Korea, June 29-July 1, 2016. (pdf) Outstanding Presentation Award

  15. Wonkyung Yun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae “A Suitability Analysis of SUMO for Modeling System of Systems in Traffic Domain Example,” Proceedings of the 2016 Korea Computer Congress (KCC), pp.631-633, Jeju, Korea, June 29-July 1, 2016. (pdf)

  16. Cheonghyun Lee, Yoo Jin Lim, Eunkyoung Jee, and Doo-Hwan Bae, “A Feasibility Study of Verification on a Task-based Test Model for Collective Adaptive Systems,” Proceedings of the Korean Institute of Information Scientists and Engineers (KIISE) 2015 Winter Conference, pp. 476-478, Pyeongchang, Korea, December 15-17, 2015. (pdf) Outstanding Presentation Award

  17. Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae, “Generation of Test Sequences Satisfying Structural Test Coverage Criteria for FBD Programs,” Proceedings of the 2015 Korea Computer Congress (KCC), pp.570-572, Jeju, Korea, June 24-26, 2015. (pdf)

  18. Donghwan Shin, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae, “Applicability of Mutation-based Fault Localization for FBD Programs,” Proceedings of the 2015 Korea Computer Congress (KCC), pp.567-569, Jeju, Korea, June 24-26, 2015. (pdf) Outstanding Presentation Award

  19. Cheolwoo Chae, Donghwan Shin, Eunkyoung Jee, Gwangui Hong, Doo-Hwan Bae, “Case Study and Analysis of Multi-Agent Systems Modeling with SCADE,” Proceedings of the Korean Institute of Information Scientists and Engineers (KIISE) 2014 Winter Conference, pp. 399-401, Pyeongchang, Korea, December 18-20, 2014. (pdf)

  20. Yusung Sim, Yeongju Song, Jaewon Wi, Jaemin Hong, Doo-Hwan Bae, Eunkyoung Jee, Jihun Park, “Design of Timetable Scheduling Algorithm Suitable for Free Course Registration,” Proceedings of the Korean Institute of Information Scientists and Engineers (KIISE) 2014 Winter Conference, pp. 1723-1725, Pyeongchang, Korea, December 18-20, 2014. (pdf)

  21. Gwangui Hong, Yoo Jin Lim, Eunkyoung Jee, Donghwan Shin, Doo-Hwan Bae, "A Verification Framework for Autonomous Collaboration of Smart Devices," Proceedings of the Korea Computer Congress(KCC), pp.xxx-xxx, Busan, Korea, June 25-27, 2014. (pdf) Outstanding Presentation Award

  22. Hanseok Kim, Eunkyoung Jee, Doo-Hwan Bae, "Analysis of Timed Automata Model-Based Testing Approaches," Proceedings of the Korea Computer Congress(KCC), pp.xxx-xxx, Busan, Korea, June 25-27, 2014. (pdf)

  23. Yoojin Lim, Donghwan Shin, Eunkyoung Jee, Jihun Park, Doo-Hwan Bae, "Formal Verification of Self-Adaptive Healthcare System: Case Study and Analysis," Proceedings of the 2014 Korea Conference on Software Engineering (KCSE), Vol. 16, No. 1, pp.15-22, Pyeongchang, Korea, February 12-14, 2014. (pdf)

  24. Dongwon Seo, Eunkyoung Jee, Doo-Hwan Bae, "Application of real-time model based test cases to test cases on code," Proceedings of the 40th Korean Institute of Information Scientists and Engineers (KIISE) Fall Conference, pp.490-492, Jeju, Korea, November 15-16, 2013. (pdf)

  25. Gwangui Hong, Eunkyoung Jee, Doo-Hwan Bae, "Systematic Code Verification for Properties of Real-Time Software Models," Proceedings of the Korea Computer Congress(KCC), pp.520-522, Yeosu, Korea, June 26-28, 2013. (pdf) Outstanding Paper Award

  26. Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae, "Systematic VxWork-based Code Generation from Timed Automata Model", Proceedings of the Korea Computer Congress(KCC), Vol. 39, No. 1(B), pp. 138-140, Jeju, Korea, June 27-29, 2012. (pdf) Outstanding Presentation Award

  27. Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae, "Definition of Mutation Operators for FBD Models", Proceedings of the Korea Computer Congress(KCC), Vol. 39, No. 1(B), pp. 184-186, Jeju, Korea, June 27-29, 2012. (pdf) Outstanding Presentation Award

  28. Jinho Choi, Eunkyoung Jee, Hyeon-Jeong Kim, and Doo-Hwan Bae, "A Case Study on Timing Constraints Verification for a Safety-Critical, Real-Time System", Proceedings of the Korea Computer Congress(KCC), Vol. 38, No. 1, pp. 166-169, Gyeongju, Korea, June 29-July 1, 2011. (pdf) Outstanding Paper Award

  29. Suin Kim, Eunkyoung Jee, and Sungdeok Cha, "Automated Measurement of Test Coverage for FBD Programs", Proceedings of the 36th Korean Institute of Information Scientists and Engineers (KIISE) Fall Conference, Vol. 36, No. 2(A), pp. 60-61, Seoul, Korea, November 2009. (pdf)

  30. Byongwan Kim, Eunkyoung Jee, and Sungdeok Cha, "Formal Verification of XML based PLC program Implemented with FBD and LD", Proceedings of the 35th Korean Institute of Information Scientists and Engineers (KIISE) Fall Conference, Vol. 35, No. 2(A), pp. 63-64, Seoul, Korea, October 24-25, 2008. (pdf)

  31. Eunkyoung Jee, Seungjae Jeon, and Sungdeok Cha, "A Formal Verification Technique for PLC programs Implemented by Function Block Diagrams", Proceedings of the Korea Computer Congress (KCC), Vol. 35, No. 1(A), pp. 68-69, Yongpyong, Korea, June 30-July 2, 2008. (pdf) Outstanding Paper Award

  32. Gee-Yong Park, Kwang Yong Koh, Eunkyoung Jee, Dae Hyung Lee, and Kee-Choon Kwon, "Fault Tree Analysis of KNICS RPS Software", Transactions of the Korean Nuclear Society (KNS) Spring Meeting, Jeju, Korea, May 10-11, 2007. (pdf)

  33. Kwang Yong Koh, Poong Hyun Seong, Eun Kyoung Jee, Seung Jae Jeon, Gee Yong Park, and Kee-Choon Kwon, "A Formal Verification Method of Function Block Diagram", Transactions of the Korean Nuclear Society (KNS) Spring Meeting, Jeju, Korea, May 10-11, 2007. (pdf)

  34. Seungjae Jeon, Eunkyoung Jee, and Sungdeok Cha, "Formal Verification of Structural Decision Table Specification Using SMV", Proceedings of the Korea Computer Congress(KCC), Vol. 33, No. 1(C), pp. 190-192, Yongpyong, Korea, June 21-23, 2006. (pdf)

  35. Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sungdeok Cha, Geeyong Park, and Keechoon Kwon, "Testing of FBD Including Timer Function Blocks", Transactions of the Korean Nuclear Society (KNS) Spring Meeting, Chuncheon, Korea, May. 25-26, 2006. (pdf)

  36. Eunkyoung Jee, Junbeom Yoo, Suhyun Park, and Sungdeok Cha, "Control and Data Flow Testing on Function Block Diagrams", Proceedings of 2005 Korea Conference on Software Engineering (KCSE), Vol. 1, No. 1, pp. 105-114, Muju, Korea, February 21-23, 2005. Best Paper Award

  37. Eunkyoung Jee and Sungdeok Cha, "Systematic Evaluation of Fault Trees Using Real-Time Model Checker", Proceedings of the 2001 Korea Conference on Software Engineering (KCSE), February 2001. Best Paper Award

  38. Eunkyoung Jee, Hyungseok Hong, and Sungdeok Cha, "Specifying and Verifying Wolsong SDS2 Using Real-Time Model Checker", Proceedings of the 27th Korea Information Science Society (KISS) Fall Conference, Vol. 27, No. 2, pp. 385-387, October 2000. (pdf)

Project Experience

  • 2021.04 - present Development of quantitative reliability measurement tool prototypes based on testing and verification for PLC software, Nuclear Safety and Security Commission, Korea

  • 2020.07 - present Development of Dependable and Highly Usable Big Data Platform, and Analysis and Prediction Services Technology in Edge Clouds, Research Center for Big data Edge Cloud Services (BECS ITRC), Institute of Information & Communications Technology Planning & Evaluation, Ministry of Science and ICT, Korea

  • 2019.06 - present Development of Model-based Verification Framework for Evaluation of Blockchain Consensus Algorithm, National Research Foundation of Korea (NRF), Ministry of Education, Korea

  • 2019.01 - present Cybersecurity Platform for Assessment and Training for Critical Infrastructures – Legacy to Digital Twin (CybWin), The Research Council of Norway, Norway

  • 2018.03 - 2019.02 Modeling and Verification of FBA Consensus Algorithm based on the Stellar Consensus Protocol and mFBA Consensus Algorithm of BlockchainOS, BlockchainOS, Inc., Korea

  • 2016.11 - 2019.10 Developing Automated Mutation-based Test Generation Technique to Maximize the Fault-detection Effectiveness for FBD Programs, National Research Foundation of Korea (NRF), Ministry of Education, Korea

  • 2016.07 - 2017.07 Research on Statistical Model Checking Techniques for Large Complex Systems, Samsung Electronics Co., Ltd., Korea

  • 2015.10 - 2017.07 Application of Safety Case Techniques to Nuclear Safety Software and Development of Guidelines, Korea Foundation of Nuclear Safety

  • 2015.03 - present (SW Star Lab) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System, Institute for Information & communications Technology Promotion (IITP), Ministry of Science, ICT and Future Planning, Korea

  • 2013.11 - 2016.10 Automated Test Case Generation for FBD Models of Safety-Critical Software, National Research Foundation of Korea (NRF), Ministry of Education, Korea

  • 2013.05 - 2016.02 Development of Autonomous Intelligent Collaboration Framework for Knowledge Bases and Smart Devices, Electonics and Telecommunications Research Institute (ETRI)

  • 2011.02 - 2013.10 Development of Performance Improvement Technology for Engieering Tool of Safety PLC, Korea Atomic Energy Research Institute (KAERI)

  • 2011.05 - 2011.08 Securing Reliability for Unmanned Aerial Vehicle System Software, Agency for Defense Development (ADD)

  • 2011.02 - 2012.12 A Study on Design Methodology and a Reuse Supporting System for the Safety-Critical Embedded Software of Guidance and Control Units, Agency for Defense Development (ADD)

  • 2009.09 - 2011.01 Pacemaker Challenge, Univeristy of Pennsylvania

  • 2004.07 - 2008.02 Formal Verification of Digital Protection Logic and Automatic Testing Software, Korea Atomic Energy Research Institute (KAERI)

  • 2005.05 - 2006.04 System Air-conditioner Protocol Verification, SureSoft Technologies Inc.

  • 2004.10 - 2005.08 Formal Development and Safety Analysis for Railroad Software, Korea Railroad Research Institute (KRRI)

Contact

Address: Room #501, N1 Building

School of Computing, KAIST

291 Daehak-ro, Yuseong-gu,

Daejeon 34141, Republic of Korea

Email: ekjee AT se.kaist.ac.kr

Office: +82-42-350-7810

Fax: +82-42-350-8140