Sung Deok Cha

	2009
40		Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)
	2008
39		Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Springer 2008
38		Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392
	2007
37		Jeongseok Seo, Sung Deok Cha: Masquerade detection based on SVM and sequence-based user commands profile. ASIACCS 2007: 398-400
36		Hojung Bang, Tai Hyo Kim, Sung Deok Cha: An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. ISORC 2007: 365-372
	2006
35		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
34		Tai Hyo Kim, Sung Deok Cha: Timed High-Level Message Sequence Charts for Real-Time System Design. SAM 2006: 82-98
	2005
33		Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80
32		Han-Sung Kim, Sung Deok Cha: Empirical evaluation of SVM-based masquerade detection using UNIX commands. Computers & Security 24(2): 160-168 (2005)
31		Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son: A formal software requirements specification method for digital nuclear plant protection systems. Journal of Systems and Software 74(1): 73-83 (2005)
	2004
30		Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha: Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). HASE 2004: 283-284
29		Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han: An integrated environment of S/W specification and V&V for safety-critical systems. IASTED Conf. on Software Engineering 2004: 607-612
28		Jeongseok Seo, Han-Sung Kim, Sanghyun Cho, Sung Deok Cha: Web Server Attack Categorization based on Root Causes and Their Locations. ITCC (1) 2004: 90-96
27		Junbeom Yoo, Sung Deok Cha, Han Seiong Son, Chang Hwoi Kim, Jang-Soo Lee: PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP 2004: 155-165
26		Jaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28
25		Sanghyun Cho, Sung Deok Cha: SAD: web session anomaly detection based on parameter estimation. Computers & Security 23(4): 312-319 (2004)
24		Nam Hee Lee, Sung Deok Cha: Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method. Journal of Research and Practice in Information Technology 36(3): 145-156 (2004)
	2003
23		Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
22		Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)
21		Nam Hee Lee, Sung Deok Cha: Generating test sequences using symbolic execution for event-driven real-time systems. Microprocessors and Microsystems 27(10): 523-531 (2003)
	2002
20		Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha: Construction of global finite state machine for testing task interactions written in message sequence charts. SEKE 2002: 369-376
19		Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. TACAS 2002: 205-220
18		Sun Sup So, Sung Deok Cha, Yong Rae Kwon: Empirical evaluation of a fuzzy logic-based software quality prediction model. Fuzzy Sets and Systems 127(2): 199-208 (2002)
17		Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae: A semantics of sequence diagrams. Inf. Process. Lett. 84(3): 125-130 (2002)
16		Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon: An empirical evaluation of six methods to detect faults in software. Softw. Test., Verif. Reliab. 12(3): 155-171 (2002)
	2001
15		Seung Mo Cho, H. H. Kim, Sung Deok Cha, Doo-Hwan Bae: Specification and validation of dynamic systems using temporal logic. IEE Proceedings - Software 148(4): 135-140 (2001)
14		Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon: Extending the SCR Method for Real-Time Systems. Real-Time Systems 20(1): 27-49 (2001)
13		Taeho Kim, Sung Deok Cha: Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test., Verif. Reliab. 11(3): 143-163 (2001)
	2000
12		Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim: A Slicing-based Approach to Enhance Petri Net Reachability Analysis. Journal of Research and Practice in Information Technology 32(2): 131-143 (2000)
11		Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural: A test sequence selection method for statecharts. Softw. Test., Verif. Reliab. 10(4): 203-227 (2000)
	1999
10		Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim: Applying Model Checking to Concurrent Object-Oriented Software. ISADS 1999: 380-383
9		Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae: Safety Verification of Ada95 Programs Using Software Fault Trees. SAFECOMP 1999: 226-238
	1998
8		Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon: Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. IEEE Trans. Software Eng. 24(12): 1115-1130 (1998)
	1997
7		Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo: Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. APSEC 1997: 272-
6		Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae: Task.o object modeling approach for robot workcell programming. COMPSAC 1997: 109-114
5		Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon: On the concurrent behaviour of SCR specifications. COMPSAC 1997: 258-263
4		Jang-Soo Lee, Sung Deok Cha: Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134
	1996
3		Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha: Safety Analysis Using Coloured Petri Nets. APSEC 1996: 176-193
	1995
2		Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha: Testing of Object-Oriented Programs Based on Finite State Machines. APSEC 1995: 234-
1		Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon: An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. APSEC 1995: 345-

Coauthor Index

1	Doo-Hwan Bae	[6] [9] [10] [11] [15] [17]
2	Hojung Bang	[35] [36]
3	Jaemyung Cho	[26]
4	Sanghyun Cho	[25] [28]
5	Seung Mo Cho	[3] [10] [14] [15] [17]
6	Jin-Young Choi	[39]
7	Hyun-chul Han	[29]
8	Hyoung Seok Hong	[2] [3] [5] [11] [14] [23]
9	Yoon-Kyu Jan	[9]
10	Eunkyoung Jee	[33] [35] [38] [40]
11	Seungjae Jeon	[35]
12	Chang Hwoi Kim	[27]
13	Gyu-Tae Kim	[6]
14	H. H. Kim	[15]
15	H. N. Kim	[12]
16	Han-Sung Kim	[28] [32]
17	Hyung-Ho Kim	[17]
18	Moonzoo Kim	[39]
19	Sang Taek Kim	[10]
20	Taeho Kim	[13] [19]
21	Tai Hyo Kim	[20] [31] [34] [36]
22	Young Gon Kim	[10] [11]
23	Seo Ryong Koo	[29] [30]
24	Kee-Choon Kwon	[35]
25	Yong Rae Kwon	[1] [2] [5] [7] [8] [9] [12] [14] [16] [18]
26	Insup Lee	[23] [39]
27	Jang-Soo Lee	[4] [27] [31]
28	Nam Hee Lee	[20] [21] [22] [24]
29	Woo Jin Lee	[8] [12]
30	Yongseop Lim	[1]
31	Sang-Yoon Min	[9]
32	Gee-Yong Park	[35]
33	Jeongseok Seo	[28] [37]
34	Poong-Hyun Seong	[29] [30]
35	Timothy J. Shimeall	[16]
36	Sun Sup So	[1] [16] [18]
37	Oleg Sokolsky	[23]
38	Han Seiong Son	[27]
39	Han Seong Son	[31]
40	David W. J. Stringer-Calvert	[19]
41	Hasan Ural	[11] [23]
42	Mahesh Viswanathan	[39]
43	Byung Kyu Yoo	[10]
44	Chan Hyung Yoo	[7]
45	Junbeom Yoo	[26] [27] [29] [31] [33] [35] [38] [40]
46	Gwang Sik Yoon	[7]
47	Cheong Youn	[29]

Colors in the list of coauthors