The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sung Deok Cha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]

  37. A Verification Framework for FBD Based Software in Nuclear Power Plants. [Citation Graph (, )][DBLP]


  38. Testing of Timer Function Blocks in FBD. [Citation Graph (, )][DBLP]


  39. An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation. [Citation Graph (, )][DBLP]


  40. ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. [Citation Graph (, )][DBLP]


  41. Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract). [Citation Graph (, )][DBLP]


  42. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002