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

 

2011.2~present : 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. 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

  • 2011.02 - 2012.10     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, Korean 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:  Dept. of Computer Science, KAIST

                       291 Daehak-ro Yuseong-gu

                       Daejeon 305-701, Republic of Korea

Email: ekjee AT kaist.ac.kr

Office: +82-42-350-8489

Last Updated  Feb. 15, 2013