Eunkyoung Jee

	2012
12		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)
	2010
11		Eunkyoung Jee, Insup Lee, Oleg Sokolsky: Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356
10		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
9		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
8		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)
7		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)
	2009
6		Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)
5		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)
	2008
4		Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392
	2007
3		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
	2006
2		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
	2005
1		Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80

Coauthor Index

1	Doo-Hwan Bae	[5]
2	Hojung Bang	[2]
3	Sung Deok Cha	[1] [2] [4] [5] [6] [9]
4	Sanjian Chen	[12]
5	Se Woo Cheon	[3]
6	John Hatcliff	[12]
7	Seungjae Jeon	[2]
8	Vikash Katta	[7] [8]
9	BaekGyu Kim	[12]
10	Jeong-Ki Kim	[10]
11	Suin Kim	[9]
12	Andrew L. King	[12]
13	Kwang Yong Koh	[3]
14	Kee-Choon Kwon	[2] [3]
15	Insup Lee	[9] [10] [11] [12]
16	Jaewoo Lee	[10]
17	Jang-Soo Lee	[3] [7] [8]
18	Margaret Mullen-Fortino (Margaret Fortino-Mullen)	[12]
19	Gee-Yong Park	[2] [3]
20	Soojin Park	[12]
21	Christian Raspotnig	[7] [8]
22	Alex Roederer	[12]
23	Oleg Sokolsky	[10] [11] [12]
24	Krishna K. Venkatasubramanian	[12]
25	Shaohui Wang	[10]
26	Junbeom Yoo	[1] [2] [4] [5] [6]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page