Sung Deok Cha

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
37EEJeongseok Seo, Sung Deok Cha: Masquerade detection based on SVM and sequence-based user commands profile. ASIACCS 2007: 398-400
36EEHojung Bang, Tai Hyo Kim, Sung Deok Cha: An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. ISORC 2007: 365-372
35EEEunkyoung 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
34EETai Hyo Kim, Sung Deok Cha: Timed High-Level Message Sequence Charts for Real-Time System Design. SAM 2006: 82-98
33EEEunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80
32EEHan-Sung Kim, Sung Deok Cha: Empirical evaluation of SVM-based masquerade detection using UNIX commands. Computers & Security 24(2): 160-168 (2005)
31EEJunbeom 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)
30EESeo 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
28EEJeongseok 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
27EEJunbeom 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
26EEJaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28
25EESanghyun 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)
23EEHyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
22EENam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)
21EENam 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)
20EENam 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
19EETaeho 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
18EESun 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)
17EESeung 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)
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)
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)
10EESeung 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
9EESang-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
8EEWoo 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)
7EEGwang 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-
6EEGyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae: Task.o object modeling approach for robot workcell programming. COMPSAC 1997: 109-114
5EEHyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon: On the concurrent behaviour of SCR specifications. COMPSAC 1997: 258-263
4EEJang-Soo Lee, Sung Deok Cha: Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134
3EESeung Mo Cho, Hyoung Seok Hong, Sung Deok Cha: Safety Analysis Using Coloured Petri Nets. APSEC 1996: 176-193
2EEHyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha: Testing of Object-Oriented Programs Based on Finite State Machines. APSEC 1995: 234-
1EESun 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)