Search the dblp DataBase
Sung Deok Cha :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Seung Mo Cho , Hyoung Seok Hong , Sung Deok Cha Safety Analysis Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] APSEC, 1996, pp:176-193 [Conf ] Hyoung Seok Hong , Yong Rae Kwon , Sung Deok Cha Testing of Object-Oriented Programs Based on Finite State Machines. [Citation Graph (0, 0)][DBLP ] APSEC, 1995, pp:234-0 [Conf ] Sun Sup So , Yongseop Lim , Sung Deok Cha , Yong Rae Kwon An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. [Citation Graph (0, 0)][DBLP ] APSEC, 1995, pp:345-0 [Conf ] Gwang Sik Yoon , Sung Deok Cha , Yong Rae Kwon , Chan Hyung Yoo Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. [Citation Graph (0, 0)][DBLP ] APSEC, 1997, pp:272-0 [Conf ] Jeongseok Seo , Sung Deok Cha Masquerade detection based on SVM and sequence-based user commands profile. [Citation Graph (0, 0)][DBLP ] ASIACCS, 2007, pp:398-400 [Conf ] Hyoung Seok Hong , Sung Deok Cha , Yong Rae Kwon On the concurrent behaviour of SCR specifications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:258-263 [Conf ] Gyu-Tae Kim , Sung Deok Cha , Doo-Hwan Bae Task.o object modeling approach for robot workcell programming. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:109-114 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:283-284 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IASTED Conf. on Software Engineering, 2004, pp:607-612 [Conf ] Hyoung Seok Hong , Sung Deok Cha , Insup Lee , Oleg Sokolsky , Hasan Ural Data Flow Testing as Model Checking. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:232-243 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ISADS, 1999, pp:380-383 [Conf ] Jeongseok Seo , Han-Sung Kim , Sanghyun Cho , Sung Deok Cha Web Server Attack Categorization based on Root Causes and Their Locations. [Citation Graph (0, 0)][DBLP ] ITCC (1), 2004, pp:90-96 [Conf ] N. Lee , Jang-Eui Hong , S. Cha , Doo-Hwan Bae Towards Reusable Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] PDSE, 1998, pp:223-229 [Conf ] Jang-Soo Lee , Sung Deok Cha Behavior verification of hybrid real-time requirements by qualitative formalism. [Citation Graph (0, 0)][DBLP ] RTCSA, 1997, pp:127-134 [Conf ] Eunkyoung Jee , Junbeom Yoo , Sung Deok Cha Control and Data Flow Testing on Function Block Diagrams. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2005, pp:67-80 [Conf ] Sang-Yoon Min , Yoon-Kyu Jan , Sung Deok Cha , Yong Rae Kwon , Doo-Hwan Bae Safety Verification of Ada95 Programs Using Software Fault Trees. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1999, pp:226-238 [Conf ] J. Yoo , S. Cha , H. S. Son , C. H. Kim , J.-S. Lee PLC-Based Safety Critical Software Development for Nuclear Power Plants. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2004, pp:155-165 [Conf ] Tai Hyo Kim , Sung Deok Cha Timed High-Level Message Sequence Charts for Real-Time System Design. [Citation Graph (0, 0)][DBLP ] SAM, 2006, pp:82-98 [Conf ] Nam Hee Lee , Tai Hyo Kim , Sung Deok Cha Construction of global finite state machine for testing task interactions written in message sequence charts. [Citation Graph (0, 0)][DBLP ] SEKE, 2002, pp:369-376 [Conf ] Jaemyung Cho , Junbeom Yoo , Sung Deok Cha NuEditor - A Tool Suite for Specification and Verification of NuSCR. [Citation Graph (0, 0)][DBLP ] SERA, 2004, pp:19-28 [Conf ] Taeho Kim , David W. J. Stringer-Calvert , Sung Deok Cha Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. [Citation Graph (0, 0)][DBLP ] TACAS, 2002, pp:205-220 [Conf ] Nam Hee Lee , Sung Deok Cha Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method. [Citation Graph (0, 0)][DBLP ] Journal of Research and Practice in Information Technology, 2004, v:36, n:3, pp:145-156 [Journal ] Woo Jin Lee , Sung Deok Cha , Yong Rae Kwon , H. N. Kim A Slicing-based Approach to Enhance Petri Net Reachability Analysis. [Citation Graph (0, 0)][DBLP ] Journal of Research and Practice in Information Technology, 2000, v:32, n:2, pp:131-143 [Journal ] Nam Hee Lee , Sung Deok Cha Generating test sequences from a set of MSCs. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2003, v:42, n:3, pp:405-417 [Journal ] Sanghyun Cho , Sung Deok Cha SAD: web session anomaly detection based on parameter estimation. [Citation Graph (0, 0)][DBLP ] Computers & Security, 2004, v:23, n:4, pp:312-319 [Journal ] Han-Sung Kim , Sung Deok Cha Empirical evaluation of SVM-based masquerade detection using UNIX commands. [Citation Graph (0, 0)][DBLP ] Computers & Security, 2005, v:24, n:2, pp:160-168 [Journal ] Sun Sup So , Sung Deok Cha , Yong Rae Kwon Empirical evaluation of a fuzzy logic-based software quality prediction model. [Citation Graph (0, 0)][DBLP ] Fuzzy Sets and Systems, 2002, v:127, n:2, pp:199-208 [Journal ] Seung Mo Cho , H. H. Kim , Sung Deok Cha , Doo-Hwan Bae Specification and validation of dynamic systems using temporal logic. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2001, v:148, n:4, pp:135-140 [Journal ] Seung Mo Cho , Hyung-Ho Kim , Sung Deok Cha , Doo-Hwan Bae A semantics of sequence diagrams. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:84, n:3, pp:125-130 [Journal ] Junbeom Yoo , Taihyo Kim , Sung Deok Cha , Jang-Soo Lee , Han Seong Son A formal software requirements specification method for digital nuclear plant protection systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2005, v:74, n:1, pp:73-83 [Journal ] Hyoung Seok Hong , Seung Mo Cho , Sung Deok Cha , Yong Rae Kwon Extending the SCR Method for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2001, v:20, n:1, pp:27-49 [Journal ] Hyoung Seok Hong , Young Gon Kim , Sung Deok Cha , Doo-Hwan Bae , Hasan Ural A test sequence selection method for statecharts. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:203-227 [Journal ] Taeho Kim , Sung Deok Cha Automated structural analysis of SCR-style software requirements specifications using PVS. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:143-163 [Journal ] Sun Sup So , Sung Deok Cha , Timothy J. Shimeall , Yong Rae Kwon An empirical evaluation of six methods to detect faults in software. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:155-171 [Journal ] Woo Jin Lee , Sung Deok Cha , Yong Rae Kwon Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:12, pp:1115-1130 [Journal ] Nam Hee Lee , Sung Deok Cha Generating test sequences using symbolic execution for event-driven real-time systems. [Citation Graph (0, 0)][DBLP ] Microprocessors and Microsystems, 2003, v:27, n:10, pp:523-531 [Journal ] A Verification Framework for FBD Based Software in Nuclear Power Plants. [Citation Graph (, )][DBLP ] Testing of Timer Function Blocks in FBD. [Citation Graph (, )][DBLP ] An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. [Citation Graph (, )][DBLP ] ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. [Citation Graph (, )][DBLP ] Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). [Citation Graph (, )][DBLP ] Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.283secs