Sung Deok Cha

2008
38		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
2007
37	EE	Jeongseok Seo, Sung Deok Cha: Masquerade detection based on SVM and sequence-based user commands profile. ASIACCS 2007: 398-400
36	EE	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	EE	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	EE	Tai Hyo Kim, Sung Deok Cha: Timed High-Level Message Sequence Charts for Real-Time System Design. SAM 2006: 82-98
2005
33	EE	Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80
32	EE	Han-Sung Kim, Sung Deok Cha: Empirical evaluation of SVM-based masquerade detection using UNIX commands. Computers & Security 24(2): 160-168 (2005)
31	EE	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	EE	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	EE	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	EE	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	EE	Jaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28
25	EE	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	EE	Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
22	EE	Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)
21	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae: Task.o object modeling approach for robot workcell programming. COMPSAC 1997: 109-114
5	EE	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon: On the concurrent behaviour of SCR specifications. COMPSAC 1997: 258-263
4	EE	Jang-Soo Lee, Sung Deok Cha: Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134
1996
3	EE	Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha: Safety Analysis Using Coloured Petri Nets. APSEC 1996: 176-193
1995
2	EE	Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha: Testing of Object-Oriented Programs Based on Finite State Machines. APSEC 1995: 234-
1	EE	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	[38]
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]
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	[38]
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] [38]
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	[38]
43	Byung Kyu Yoo	[10]
44	Chan Hyung Yoo	[7]
45	Junbeom Yoo	[26] [27] [29] [31] [33] [35]
46	Gwang Sik Yoon	[7]
47	Cheong Youn	[29]

Colors in the list of coauthors