Sung Deok Cha

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 5

Top Topics

Cache Management

Image Annotation

Top Venues

Secur. Commun. Networks

Future Gener. Comput. Syst.

Softw. Test. Verification Reliab.

Publications

Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Ah-Rim Han, Sung Deok Cha
Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification. IEEE Trans. Software Eng. 44 (10) (2018)
Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh
Data-driven context-sensitivity for points-to analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Shinil Kwon, Sung Deok Cha
CAPTCHA-based image annotation. Inf. Process. Lett. 128 (2017)
Shinil Kwon, Sung Deok Cha
A Paradigm Shift for the CAPTCHA Race: Adding Uncertainty to the Process. IEEE Softw. 33 (6) (2016)
Ah-Rim Han, Doo-Hwan Bae, Sung Deok Cha
An efficient approach to identify multiple and independent Move Method refactoring candidates. Inf. Softw. Technol. 59 (2015)
Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha
Generating various contexts from permissions for testing Android applications. SEKE (2015)
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24 (8) (2014)
Jeongseok Seo, Sung Deok Cha, Bin Zhu, Doo-Hwan Bae
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors. IEICE Trans. Inf. Syst. (8) (2013)
Su Yong Kim, Sung Deok Cha, Doo-Hwan Bae
Automatic and lightweight grammar generation for fuzz testing. Comput. Secur. 36 (2013)
Shinil Kwon, Young-Gab Kim, Sung Deok Cha
Web robot detection based on pattern-matching technique. J. Inf. Sci. 38 (2) (2012)
Myeongjin Oh, Young-Gab Kim, Seungpyo Hong, Sung Deok Cha
ASA: Agent-based secure ARP cache management. IET Commun. 6 (7) (2012)
Young-Gab Kim, Sung Deok Cha
Threat scenario-based security risk analysis using use case modeling in information systems. Secur. Commun. Networks 5 (3) (2012)
Sung Deok Cha, Junbeom Yoo
A safety-focused verification using software fault trees. Future Gener. Comput. Syst. 28 (8) (2012)
Young-Gab Kim, Min-Soo Lee, Sanghyun Cho, Sung Deok Cha
A quantitative approach to estimate a website security risk using whitelist. Secur. Commun. Networks 5 (10) (2012)
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs. SEKE (2011)
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)
Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
Testing of Safety-Critical Software Embedded in an Artificial Heart. SSS (2011)
Tai Hyo Kim, Hojung Bang, Sung Deok Cha
A systematic representation of path constraints for implicit path enumeration technique. Softw. Test. Verification Reliab. 20 (1) (2010)
Nayoung Hong, Junbeom Yoo, Sung Deok Cha
Customization of Scrum Methodology for Outsourced E-Commerce Projects. APSEC (2010)
Sehun Jeong, Junbeom Yoo, Sung Deok Cha
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis. ISORC (2010)
Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram. J. Res. Pract. Inf. Technol. 42 (3) (2010)
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)
Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. QSIC (2009)
Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha
Formal Modeling and Verification of Safety-Critical Software. IEEE Softw. 26 (3) (2009)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae
A data flow-based structural testing technique for FBD programs. Inf. Softw. Technol. 51 (7) (2009)
Junsup Lee, Sung Deok Cha, Dongkun Lee, Hyungkyu Lee
Classification of web robots: An empirical study based on over one billion requests. Comput. Secur. 28 (8) (2009)
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 Trans. Inf. Syst. (1) (2009)
Junsup Lee, Sung Deok Cha
Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). RAID (2008)
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
A Verification Framework for FBD Based Software in Nuclear Power Plants. APSEC (2008)
Hojung Bang, Tai Hyo Kim, Sung Deok Cha
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. ISORC (2007)
Jeongseok Seo, Sung Deok Cha
Masquerade detection based on SVM and sequence-based user commands profile. AsiaCCS (2007)
Tai Hyo Kim, Sung Deok Cha
Timed High-Level Message Sequence Charts for Real-Time System Design. SAM (2006)
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)
Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Yeong Jae Yoo
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. Reliab. Eng. Syst. Saf. 89 (3) (2005)
Han-Sung Kim, Sung Deok Cha
Empirical evaluation of SVM-based masquerade detection using UNIX commands. Comput. Secur. 24 (2) (2005)
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. J. Syst. Softw. 74 (1) (2005)
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
Control and Data Flow Testing on Function Block Diagrams. SAFECOMP (2005)
Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song
Synthesis of FBD-based PLC design from NuSCR formal specification. Reliab. Eng. Syst. Saf. 87 (2) (2005)
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
Formal verification of functional properties of a SCR-style software requirements specification using PVS. Reliab. Eng. Syst. Saf. 87 (3) (2005)
Jang-Soo Lee, Sung Deok Cha
Fault tree construction of hybrid system requirements using qualitative formal method. Reliab. Eng. Syst. Saf. 87 (1) (2005)
Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son
Software safety analysis of function block diagrams using fault trees. Reliab. Eng. Syst. Saf. 88 (3) (2005)
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee
PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP (2004)
Taeho Kim, Sung Deok Cha
Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application. Reliab. Eng. Syst. Saf. 83 (1) (2004)
Sanghyun Cho, Sung Deok Cha
SAD: web session anomaly detection based on parameter estimation. Comput. Secur. 23 (4) (2004)
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
NuEditor - A Tool Suite for Specification and Verification of NuSCR. SERA (2004)
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)
Han-Sung Kim, Sung Deok Cha
Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows. IEICE Trans. Inf. Syst. (11) (2004)
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)
Nam Hee Lee, Sung Deok Cha
Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method. J. Res. Pract. Inf. Technol. 36 (3) (2004)
Jeongseok Seo, Han-Sung Kim, Sanghyun Cho, Sung Deok Cha
Web Server Attack Categorization based on Root Causes and Their Locations. ITCC (1) (2004)
Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong
Systematic evaluation of fault trees using real-time model checker UPPAAL. Reliab. Eng. Syst. Saf. 82 (1) (2003)
Nam Hee Lee, Sung Deok Cha
Generating test sequences from a set of MSCs. Comput. Networks 42 (3) (2003)
Nam Hee Lee, Sung Deok Cha
Generating test sequences using symbolic execution for event-driven real-time systems. Microprocess. Microsystems 27 (10) (2003)
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
Data Flow Testing as Model Checking. ICSE (2003)
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)
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)
Sun Sup So, Sung Deok Cha, Yong Rae Kwon
Empirical evaluation of a fuzzy logic-based software quality prediction model. Fuzzy Sets Syst. 127 (2) (2002)
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae
A semantics of sequence diagrams. Inf. Process. Lett. 84 (3) (2002)
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. Verification Reliab. 12 (3) (2002)
Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon
Extending the SCR Method for Real-Time Systems. Real Time Syst. 20 (1) (2001)
Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo-Hwan Bae
Specification and validation of dynamic systems using temporal logic. IEE Proc. Softw. 148 (4) (2001)
Taeho Kim, Sung Deok Cha
Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test. Verification Reliab. 11 (3) (2001)
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim
A Slicing-based Approach to Enhance Petri Net Reachability Analysis. J. Res. Pract. Inf. Technol. 32 (2) (2000)
Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural
A test sequence selection method for statecharts. Softw. Test. Verification Reliab. 10 (4) (2000)
Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). ISADS (1999)
Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha
Test cases generation from UML state diagrams. IEE Proc. Softw. 146 (4) (1999)
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)
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)
Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae
Towards Reusable Colored Petri Nets. PDSE (1998)
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) (1998)
Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon
On the concurrent behaviour of SCR specifications. COMPSAC (1997)
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)
Jang-Soo Lee, Sung Deok Cha
Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA (1997)
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
Task.o object modeling approach for robot workcell programming. COMPSAC (1997)
Sung Deok Cha, Hyoung Seok Hong
Specification and analysis of real-time systems in Statecharts. WORDS (1996)
Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha
Safety Analysis Using Coloured Petri Nets. APSEC (1996)
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)
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
Testing of Object-Oriented Programs Based on Finite State Machines. APSEC (1995)