Eunkyoung Jee

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: Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the IEEE 100(1): 75-90 (2012)

Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae: Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. MoDELS 2012: 465-479

Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae: Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software. SERE 2012: 118-127

Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong: FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. Journal of Research and Practice in Information Technology 42(3): 171-188 (2010)

Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig: Means-ends and whole-part traceability analysis of safety requirements. Journal of Systems and Software 83(9): 1612-1621 (2010)

Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig: Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. Journal of Systems and Software 83(12): 2664 (2010)

Eunkyoung Jee, Insup Lee, Oleg Sokolsky: Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356

Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee: A Safety-Assured Development Approach for Real-Time Software. RTCSA 2010: 133-142

Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee: Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. SAFECOMP 2010: 223-236

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae: A data flow-based structural testing technique for FBD programs. Information & Software Technology 51(7): 1131-1139 (2009)

Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392

Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh: Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. SAFECOMP 2007: 148-161

Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon: Testing of Timer Function Blocks in FBD. APSEC 2006: 243-250

Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80