Sung Deok Cha

81 papers A* 1A 3B 9C 16Journal 44Unranked 8
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis.
ACM Trans. Program. Lang. Syst.
Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh
2018 J jnl
Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification.
IEEE Trans. Software Eng.
Ah-Rim Han, Sung Deok Cha
2017 J jnl
CAPTCHA-based image annotation.
Inf. Process. Lett.
Shinil Kwon, Sung Deok Cha
2017 J jnl
Data-driven context-sensitivity for points-to analysis.
Proc. ACM Program. Lang.
Sehun Jeong, Minseok Jeon, Sung Deok Cha, Hakjoo Oh
2016 J jnl
A Paradigm Shift for the CAPTCHA Race: Adding Uncertainty to the Process.
IEEE Softw.
Shinil Kwon, Sung Deok Cha
2015 J jnl
An efficient approach to identify multiple and independent Move Method refactoring candidates.
Inf. Softw. Technol.
Ah-Rim Han, Doo-Hwan Bae, Sung Deok Cha
2015 C conf
Generating various contexts from permissions for testing Android applications.
SEKE
Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha
2014 J jnl
Automated test case generation for FBD programs implementing reactor protection system software.
Softw. Test. Verification Reliab.
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
2013 J jnl
Automatic and lightweight grammar generation for fuzz testing.
Comput. Secur.
Su Yong Kim, Sung Deok Cha, Doo-Hwan Bae
2013 J jnl
PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors.
IEICE Trans. Inf. Syst.
Jeongseok Seo, Sung Deok Cha, Bin Zhu, Doo-Hwan Bae
2012 J jnl
A quantitative approach to estimate a website security risk using whitelist.
Secur. Commun. Networks
Young-Gab Kim, Min-Soo Lee, Sanghyun Cho, Sung Deok Cha
2012 J jnl
A safety-focused verification using software fault trees.
Future Gener. Comput. Syst.
Sung Deok Cha, Junbeom Yoo
2012 J jnl
ASA: Agent-based secure ARP cache management.
IET Commun.
Myeongjin Oh, Young-Gab Kim, Seungpyo Hong, Sung Deok Cha
2012 J jnl
Threat scenario-based security risk analysis using use case modeling in information systems.
Secur. Commun. Networks
Young-Gab Kim, Sung Deok Cha
2012 J jnl
Web robot detection based on pattern-matching technique.
J. Inf. Sci.
Shinil Kwon, Young-Gab Kim, Sung Deok Cha
2011 C conf
FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs.
SEKE
Junbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha
2011 — conf
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.
FGIT-CA/CES3
Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Wontae Kim
2011 C conf
Testing of Safety-Critical Software Embedded in an Artificial Heart.
SSS
Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
2010 J jnl
A systematic representation of path constraints for implicit path enumeration technique.
Softw. Test. Verification Reliab.
Tai Hyo Kim, Hojung Bang, Sung Deok Cha
2010 B conf
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.
SAFECOMP
Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee
2010 C conf
Customization of Scrum Methodology for Outsourced E-Commerce Projects.
APSEC
Nayoung Hong, Junbeom Yoo, Sung Deok Cha
2010 J jnl
FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram.
J. Res. Pract. Inf. Technol.
Eunkyoung Jee, Seungjae Jeon, Sung Deok Cha, Kwang Yong Koh, Junbeom Yoo, Gee-Yong Park, Poong-Hyun Seong
2010 B ed.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010
COMPSAC
Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sung Deok Cha, Carl K. Chang, Rajesh Subramanyan, W. Eric Wong, Hen-I Yang
2010 C conf
VIS Analyzer: A Visual Assistant for VIS Verification and Analysis.
ISORC
Sehun Jeong, Junbeom Yoo, Sung Deok Cha
2009 J jnl
A data flow-based structural testing technique for FBD programs.
Inf. Softw. Technol.
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha, Doo-Hwan Bae
2009 — conf
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix.
QSIC
Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho
2009 J jnl
Classification of web robots: An empirical study based on over one billion requests.
Comput. Secur.
Junsup Lee, Sung Deok Cha, Dongkun Lee, Hyungkyu Lee
2009 J jnl
Formal Modeling and Verification of Safety-Critical Software.
IEEE Softw.
Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha
2009 J jnl
Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time.
IEICE Trans. Inf. Syst.
Jong-in Lee, Hojung Bang, Tai Hyo Kim, Sung Deok Cha
2008 C conf
A Verification Framework for FBD Based Software in Nuclear Power Plants.
APSEC
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
2008 B ed.
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
ATVA
Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
2008 A conf
Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract).
RAID
Junsup Lee, Sung Deok Cha
2007 C conf
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.
ISORC
Hojung Bang, Tai Hyo Kim, Sung Deok Cha
2007 A conf
Masquerade detection based on SVM and sequence-based user commands profile.
AsiaCCS
Jeongseok Seo, Sung Deok Cha
2006 C conf
Testing of Timer Function Blocks in FBD.
APSEC
Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sung Deok Cha, Junbeom Yoo, Gee-Yong Park, Kee-Choon Kwon
2006 — conf
Timed High-Level Message Sequence Charts for Real-Time System Design.
SAM
Tai Hyo Kim, Sung Deok Cha
2005 J jnl
A formal software requirements specification method for digital nuclear plant protection systems.
J. Syst. Softw.
Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son
2005 J jnl
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.
Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Yeong Jae Yoo
2005 B conf
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
2005 J jnl
Empirical evaluation of SVM-based masquerade detection using UNIX commands.
Comput. Secur.
Han-Sung Kim, Sung Deok Cha
2005 J jnl
Fault tree construction of hybrid system requirements using qualitative formal method.
Reliab. Eng. Syst. Saf.
Jang-Soo Lee, Sung Deok Cha
2005 J jnl
Formal verification of functional properties of a SCR-style software requirements specification using PVS.
Reliab. Eng. Syst. Saf.
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
2005 J jnl
Software safety analysis of function block diagrams using fault trees.
Reliab. Eng. Syst. Saf.
Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son
2005 J jnl
Synthesis of FBD-based PLC design from NuSCR formal specification.
Reliab. Eng. Syst. Saf.
Junbeom Yoo, Sung Deok Cha, Chang Hwoi Kim, Duck Yong Song
2004 — conf
An integrated environment of S/W specification and V&V for safety-critical systems.
IASTED Conf. on Software Engineering
Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han
2004 J jnl
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.
Taeho Kim, Sung Deok Cha
2004 J jnl
Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows.
IEICE Trans. Inf. Syst.
Han-Sung Kim, Sung Deok Cha
2004 J jnl
Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method.
J. Res. Pract. Inf. Technol.
Nam Hee Lee, Sung Deok Cha
2004 C conf
NuEditor - A Tool Suite for Specification and Verification of NuSCR.
SERA
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
2004 B conf
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee
2004 J jnl
SAD: web session anomaly detection based on parameter estimation.
Comput. Secur.
Sanghyun Cho, Sung Deok Cha
2004 — conf
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
HASE
Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha
2004 — conf
Web Server Attack Categorization based on Root Causes and Their Locations.
ITCC (1)
Jeongseok Seo, Han-Sung Kim, Sanghyun Cho, Sung Deok Cha
2003 A* conf
Data Flow Testing as Model Checking.
ICSE
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
2003 J jnl
Generating test sequences from a set of MSCs.
Comput. Networks
Nam Hee Lee, Sung Deok Cha
2003 J jnl
Generating test sequences using symbolic execution for event-driven real-time systems.
Microprocess. Microsystems
Nam Hee Lee, Sung Deok Cha
2003 J jnl
Systematic evaluation of fault trees using real-time model checker UPPAAL.
Reliab. Eng. Syst. Saf.
Sung Deok Cha, Han Seong Son, Junbeom Yoo, Eunkyoung Jee, Poong-Hyun Seong
2002 J jnl
A semantics of sequence diagrams.
Inf. Process. Lett.
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae
2002 J jnl
An empirical evaluation of six methods to detect faults in software.
Softw. Test. Verification Reliab.
Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon
2002 C conf
Construction of global finite state machine for testing task interactions written in message sequence charts.
SEKE
Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha
2002 J jnl
Empirical evaluation of a fuzzy logic-based software quality prediction model.
Fuzzy Sets Syst.
Sun Sup So, Sung Deok Cha, Yong Rae Kwon
2002 A conf
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
TACAS
Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
2001 J jnl
Automated structural analysis of SCR-style software requirements specifications using PVS.
Softw. Test. Verification Reliab.
Taeho Kim, Sung Deok Cha
2001 J jnl
Extending the SCR Method for Real-Time Systems.
Real Time Syst.
Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon
2001 J jnl
Specification and validation of dynamic systems using temporal logic.
IEE Proc. Softw.
Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo-Hwan Bae
2000 J jnl
A Slicing-based Approach to Enhance Petri Net Reachability Analysis.
J. Res. Pract. Inf. Technol.
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. Kim
2000 J jnl
A test sequence selection method for statecharts.
Softw. Test. Verification Reliab.
Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural
1999 C conf
Applying Model Checking to Concurrent Object-Oriented Software.
ISADS
Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim
1999 C conf
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).
ISADS
Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae
1999 B conf
Safety Verification of Ada95 Programs Using Software Fault Trees.
SAFECOMP
Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae
1999 J jnl
Test cases generation from UML state diagrams.
IEE Proc. Softw.
Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha
1998 J jnl
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.
IEEE Trans. Software Eng.
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
1998 — conf
Towards Reusable Colored Petri Nets.
PDSE
Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae
1997 B conf
Behavior verification of hybrid real-time requirements by qualitative formalism.
RTCSA
Jang-Soo Lee, Sung Deok Cha
1997 C conf
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
APSEC
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo
1997 B conf
On the concurrent behaviour of SCR specifications.
COMPSAC
Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon
1997 B conf
Task.o object modeling approach for robot workcell programming.
COMPSAC
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
1996 C conf
Safety Analysis Using Coloured Petri Nets.
APSEC
Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha
1996 — conf
Specification and analysis of real-time systems in Statecharts.
WORDS
Sung Deok Cha, Hyoung Seok Hong
1995 C conf
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection.
APSEC
Sun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon
1995 C conf
Testing of Object-Oriented Programs Based on Finite State Machines.
APSEC
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha