Sung Deok Cha

	2011
53		Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim: Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech. FGIT-CA/CES3 2011: 112-121
52		Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha: FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE 2011: 48-51
	2010
51		Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sung Deok Cha, Carl K. Chang, Rajesh Subramanyan, Eric Wong, Hen-I Yang: Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010 IEEE Computer Society 2010
50		Nayoung Hong, Junbeom Yoo, Sung Deok Cha: Customization of Scrum Methodology for Outsourced E-Commerce Projects. APSEC 2010: 310-315
49		Sehun Jeong, Junbeom Yoo, Sung Deok Cha: VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC 2010: 250-254
48		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
47		Tai Hyo Kim, Hojung Bang, Sung Deok Cha: A systematic representation of path constraints for implicit path enumeration technique. Softw. Test., Verif. Reliab. 20(1): 39-61 (2010)
	2009
46		Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho: ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. QSIC 2009: 123-128
45		Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha: Formal Modeling and Verification of Safety-Critical Software. IEEE Software 26(3): 42-49 (2009)
44		Jong-In Lee, Hojung Bang, Tai Hyo Kim, Sung Deok Cha: Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time. IEICE Transactions 92-D(1): 24-31 (2009)
43		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
42		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
41		Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee: A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC 2008: 385-392
40		Junsup Lee, Sung Deok Cha: Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). RAID 2008: 404-405
	2007
39		Jeongseok Seo, Sung Deok Cha: Masquerade detection based on SVM and sequence-based user commands profile. ASIACCS 2007: 398-400
38		Hojung Bang, Tai Hyo Kim, Sung Deok Cha: An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. ISORC 2007: 365-372
	2006
37		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
36		Tai Hyo Kim, Sung Deok Cha: Timed High-Level Message Sequence Charts for Real-Time System Design. SAM 2006: 82-98
	2005
35		Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha: Control and Data Flow Testing on Function Block Diagrams. SAFECOMP 2005: 67-80
34		Han-Sung Kim, Sung Deok Cha: Empirical evaluation of SVM-based masquerade detection using UNIX commands. Computers & Security 24(2): 160-168 (2005)
33		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
32		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
31		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
30		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
29		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
28		Jaemyung Cho, Junbeom Yoo, Sung Deok Cha: NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA 2004: 19-28
27		Sanghyun Cho, Sung Deok Cha: SAD: web session anomaly detection based on parameter estimation. Computers & Security 23(4): 312-319 (2004)
26		Han-Sung Kim, Sung Deok Cha: Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows. IEICE Transactions 87-D(11): 2446-2452 (2004)
25		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
24		Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
23		Nam Hee Lee, Sung Deok Cha: Generating test sequences from a set of MSCs. Computer Networks 42(3): 405-417 (2003)
22		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
21		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
20		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
19		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)
18		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)
17		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
16		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)
15		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)
14		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
13		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)
12		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
11		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
10		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
9		Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae: Towards Reusable Colored Petri Nets. PDSE 1998: 223-229
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	Sheikh Iqbal Ahamed	[51]
2	Doo-Hwan Bae	[6] [9] [10] [11] [12] [16] [18] [43] [51]
3	Hojung Bang	[37] [38] [44] [47]
4	Carl K. Chang	[51]
5	Jaemyung Cho	[28]
6	Sanghyun Cho	[27] [30] [46]
7	Seung Mo Cho	[3] [11] [15] [16] [18]
8	Han Choi	[53]
9	Jin-Young Choi	[42]
10	Hyun-chul Han	[31]
11	Hyoung Seok Hong	[2] [3] [5] [12] [15] [24]
12	Jang-Eui Hong	[9]
13	Nayoung Hong	[50]
14	Yoon-Kyu Jan	[10]
15	Eunkyoung Jee	[35] [37] [41] [43] [45] [48]
16	Seungjae Jeon	[37]
17	Sehun Jeong	[49] [52]
18	Jae Yeon Jo	[53]
19	Chang Hwoi Kim	[29]
20	Gyu-Tae Kim	[6]
21	H. H. Kim	[16]
22	H. N. Kim	[13]
23	Han-Sung Kim	[26] [30] [34]
24	Hyung-Ho Kim	[18]
25	Moonzoo Kim	[42]
26	Sang Taek Kim	[11]
27	Sangrok Kim	[46]
28	Suin Kim	[48]
29	Taeho Kim	[14] [20]
30	Tai Hyo Kim	[21] [33] [36] [38] [44] [47]
31	Won-Tae Kim	[53]
32	Young Gon Kim	[11] [12]
33	Seo Ryong Koo	[31] [32]
34	Kee-Choon Kwon	[37]
35	Yong Rae Kwon	[1] [2] [5] [7] [8] [10] [13] [15] [17] [19]
36	Hae Young Lee	[53]
37	Insup Lee	[24] [42] [48]
38	Jang-Soo Lee	[4] [29] [33]
39	Jong-Hoon Lee	[52]
40	Jong-In Lee	[44]
41	Junsup Lee	[40] [46]
42	Nam Hee Lee	[9] [21] [22] [23] [25]
43	Woo Jin Lee	[8] [13]
44	Yongseop Lim	[1]
45	Sang-Yoon Min	[10]
46	Gee-Yong Park	[37]
47	Jeongseok Seo	[30] [39]
48	Poong-Hyun Seong	[31] [32]
49	Timothy J. Shimeall	[17]
50	Sun Sup So	[1] [17] [19]
51	Oleg Sokolsky	[24]
52	Han Seiong Son	[29]
53	Han Seong Son	[33]
54	David W. J. Stringer-Calvert	[20]
55	Rajesh Subramanyan	[51]
56	Hasan Ural	[12] [24]
57	Mahesh Viswanathan	[42]
58	Eric Wong	[51]
59	Hen-I Yang	[51]
60	Byung Kyu Yoo	[11]
61	Chan Hyung Yoo	[7]
62	Junbeom Yoo	[28] [29] [31] [33] [35] [37] [41] [43] [45] [49] [50] [52] [53]
63	Gwang Sik Yoon	[7]
64	Cheong Youn	[31]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page