Eunkyoung Jee

CV

Research Assistant Professor

Department of Computer Science

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

Education and Experience

 

2013.10~present : Research Assitant Professor (Research Fellow), KAIST

2011.2~2013.09 : Research Assitant 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. Hee-Jin Lee, Joon-Sang Lee, Eunyoung Jee, Doo-Hwan Bae, "A User eXperience Evaluation Framework for Mobile Usability," International Journal of Software Engineering and Knowledge Engineering, 2016. (accepted)

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

  3. Donghwan Shin, Eunyoung Jee, Doo-Hwan Bae, "Comprehensive analysis of FBD test coverage criteria using mutants," Software and Systems Modeling, 2014. (online published)

  4. 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)

  5. 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)

  6. 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)

  7. 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)

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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. 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)

  2. 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)

  3. 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)

  4. 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)

  5. 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)

  6. 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)

  7. 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)

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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)

  13. 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)

  14. 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)

  15. 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)

  16. 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. Cheonghyun Lee, Eunkyoung Jee, Yoo Jin Lim, 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, 2016. (to appear)

  2. 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)

  3. 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)

  4. 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)

  5. 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)

  6. 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)

  7. 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)

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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)

  13. 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)

  14. 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. 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)

  2. 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)

  3. 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)

  4. 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)

  5. 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)

  6. 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)

  7. 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)

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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)

  13. 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)

  14. 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)

  15. 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)

  16. 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)

  17. 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)

  18. 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)

  19. 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)

  20. 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)

  21. 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)

  22. 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)

  23. 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. (The Best Paper)

  24. 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. (The Best Paper)

  25. 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

 

  • 2015.10 - present     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 - present     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 ChallengeUniveristy of Pennsylvania

  • 2004.07 - 2008.02     Formal Verification of Digital Protection Logic and Automatic Testing SoftwareKorea 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 Builing

                       Dept. of Computer Science, KAIST

                       291 Daehak-ro Yuseong-gu

                       Daejeon 305-701, Republic of Korea

Email: ekjee AT se.kaist.ac.kr

Office: +82-42-350-8489

Last Updated  July 8, 2016