| 2007 |
|---|
| 36 | EE | Jeongseok Seo,
Sung Deok Cha:
Masquerade detection based on SVM and sequence-based user commands profile.
ASIACCS 2007: 398-400 |
| 35 | EE | Hojung Bang,
Tai Hyo Kim,
Sung Deok Cha:
An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.
ISORC 2007: 365-372 |
| 2006 |
|---|
| 34 | EE | 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 |
| 33 | EE | Tai Hyo Kim,
Sung Deok Cha:
Timed High-Level Message Sequence Charts for Real-Time System Design.
SAM 2006: 82-98 |
| 2005 |
|---|
| 32 | EE | Eunkyoung Jee,
Junbeom Yoo,
Sung Deok Cha:
Control and Data Flow Testing on Function Block Diagrams.
SAFECOMP 2005: 67-80 |
| 31 | EE | Han-Sung Kim,
Sung Deok Cha:
Empirical evaluation of SVM-based masquerade detection using UNIX commands.
Computers & Security 24(2): 160-168 (2005) |
| 30 | EE | 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 |
|---|
| 29 | EE | 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 |
| 28 | | 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 |
| 27 | EE | 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 |
| 26 | EE | Jaemyung Cho,
Junbeom Yoo,
Sung Deok Cha:
NuEditor - A Tool Suite for Specification and Verification of NuSCR.
SERA 2004: 19-28 |
| 25 | EE | Sanghyun Cho,
Sung Deok Cha:
SAD: web session anomaly detection based on parameter estimation.
Computers & Security 23(4): 312-319 (2004) |
| 24 | | 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 |
|---|
| 23 | EE | Hyoung Seok Hong,
Sung Deok Cha,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
Data Flow Testing as Model Checking.
ICSE 2003: 232-243 |
| 22 | EE | Nam Hee Lee,
Sung Deok Cha:
Generating test sequences from a set of MSCs.
Computer Networks 42(3): 405-417 (2003) |
| 21 | EE | 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 |
|---|
| 20 | EE | 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 |
| 19 | EE | 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 |
| 18 | EE | 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) |
| 17 | EE | 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) |
| 16 | | 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 |
|---|
| 15 | | 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) |
| 14 | | 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) |
| 13 | | 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 |
|---|
| 12 | | 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) |
| 11 | | 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 |
|---|
| 10 | EE | 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 |
| 9 | EE | 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 |
|---|
| 8 | EE | 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 | EE | 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 | EE | Gyu-Tae Kim,
Sung Deok Cha,
Doo-Hwan Bae:
Task.o object modeling approach for robot workcell programming.
COMPSAC 1997: 109-114 |
| 5 | EE | Hyoung Seok Hong,
Sung Deok Cha,
Yong Rae Kwon:
On the concurrent behaviour of SCR specifications.
COMPSAC 1997: 258-263 |
| 4 | EE | Jang-Soo Lee,
Sung Deok Cha:
Behavior verification of hybrid real-time requirements by qualitative formalism.
RTCSA 1997: 127-134 |
| 1996 |
|---|
| 3 | EE | Seung Mo Cho,
Hyoung Seok Hong,
Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets.
APSEC 1996: 176-193 |
| 1995 |
|---|
| 2 | EE | Hyoung Seok Hong,
Yong Rae Kwon,
Sung Deok Cha:
Testing of Object-Oriented Programs Based on Finite State Machines.
APSEC 1995: 234- |
| 1 | EE | 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- |
