| 2015 | SEKE | Generating various contexts from permissions for testing Android applications. | Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha |
| 2011 | SEKE | FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. | Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha |
| 2010 | APSEC | Customization of Scrum Methodology for Outsourced E-Commerce Projects. | Nayoung Hong, Junbeom Yoo, Sung Deok Cha |
| 2010 | ISORC | VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. | Sehun Jeong, Junbeom Yoo, Sung Deok Cha |
| 2010 | SAFECOMP | Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. | Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee |
| 2008 | APSEC | A Verification Framework for FBD Based Software in Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee |
| 2008 | RAID | Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). | Junsup Lee, Sung Deok Cha |
| 2007 | CCS | Masquerade detection based on SVM and sequence-based user commands profile. | Jeongseok Seo, Sung Deok Cha |
| 2007 | ISORC | An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. | Hojung Bang, Tai Hyo Kim, Sung Deok Cha |
| 2006 | APSEC | Testing of Timer Function Blocks in FBD. | Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon |
| 2005 | SAFECOMP | Control and Data Flow Testing on Function Block Diagrams. | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
| 2004 | SAFECOMP | PLC-Based Safety Critical Software Development for Nuclear Power Plants. | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
| 2004 | SERA | NuEditor - A Tool Suite for Specification and Verification of NuSCR. | Jaemyung Cho, Junbeom Yoo, Sung Deok Cha |
| 2003 | ICSE | Data Flow Testing as Model Checking. | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
| 2002 | SEKE | Construction of global finite state machine for testing task interactions written in message sequence charts. | Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha |
| 2002 | TACAS | Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
| 1999 | ISADS | Applying Model Checking to Concurrent Object-Oriented Software. | Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim |
| 1999 | ISADS | Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). | Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
| 1999 | SAFECOMP | Safety Verification of Ada95 Programs Using Software Fault Trees. | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae |
| 1997 | APSEC | Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. | Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo |
| 1997 | COMPSAC | On the concurrent behaviour of SCR specifications. | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
| 1997 | COMPSAC | Task.o object modeling approach for robot workcell programming. | Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae |
| 1997 | RTCSA | Behavior verification of hybrid real-time requirements by qualitative formalism. | Jang-Soo Lee, Sung Deok Cha |
| 1996 | APSEC | Safety Analysis Using Coloured Petri Nets. | Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha |
| 1995 | APSEC | Testing of Object-Oriented Programs Based on Finite State Machines. | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |
| 1995 | APSEC | An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. | Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon |