Professor


  • 614B Science Library, Korea University Anam-dong, Seoungbuk-gu, Seoul 136-701, Korea
  • Office: 82-2-3290-4844
  • Email: scha AT korea dot ac dot kr

 Sungdeok (Steve) Cha

  • Professor, Computer Science and Engineering, Korea University
    (March 2008 ~ )
  • Director, Center for Engineering and Education of Dependable Software (CEEDS)
    (July 2009 ~ 2012)
  • Professor, Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea
    (September 1994 ~ Feburary 2008)
  • Member of Technical Staff, Computer Science Division, The aerospace Corporation, El Segundo, CA, USA
    (May 1991 ~ September 1996)
  • Member of Technical Staff, Ground System Division, Hughes Aircraft Company, Fullerton, CA, USA
    (May 1991 ~ September 1996)
  • Other Position Held

 

Conferences and Program Committees

(Last updated : 2013.02.18)

  • Editorial Board Member, Software Testing, Verification and Reliablility (STVR), 2005 ~ , England
  • General Chair, IEEE Asia-Pacific Software Engineering Conference (APSEC) 2014
  • Technical Program Committee, IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC) 2013, June 19~21, Paderborn, Germany
  • Program Committee, IEEE International Symposium on Reliable Distributed Systems (SRDS) 2012, October 8~11, Irvine, California, USA
  • Program Committee, Workshop on the Structured Object-oriented Formal Language (WSOFL) 2012, November 13, Kyoto, Japan
  • Program Committee, IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC) 2011, March 28~31, California, USA
  • Program Committee Co-chair, IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems (WORNUS) 2011, March 28~31, California, USA
  • Program Co-char, The IEEE Signature Conference on Computer Software and Applications (COMPSAC) 2010, July 19~23, Seoul, Korea
  • Program Committee, IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC) 2010, May 5~6, Carmona, Sevilla, Spain
  • Program Committee, IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems (WORNUS) 2010, May 5~6, Carmona, Sevilla, Spain
  • Program Committee, International Conference on Quality Software (QSIC) 2009, August 24~25, Jeju, Korea
  • Program Committee, IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC) 2009, March 17~20, Tokyo, Japan
  • General Co-chair, International Symposium on Automated Technology for Verification and Analysis (ATVA) 2008, October 20~23, Seoul, Korea
  • Program Committee, International Conference on Formal Engineering Methods (ICFEM) 2008, October 27~31, Kitakyushu-City, Japan

 

Professional Activities

 

Publications ( Journals and Int. Conf. Only)

– Journals

  • Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, K.Y. Koh, Junbeom Yoo, Giyong Park, and Poong-Hyun Seong, “FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram”, Journal of Research and Practice in Information Technology (JPRIT) (accepted) PDF Icon
  • Taeho Kim, HoJung Bang, and Sungdeok Cha, “A systematic representation of path constraints for impl”, Software Testing, Verification and Reliability (accepted, published online on April 17th, 2009) PDF Icon
  • Junsup Lee, Sungdeok Cha, Dongkun Lee, and Hyungkyu Lee, “Classification of Web Roboots: an Empirical Study based on Over One Billion Requests”, Computer and Security, vol. 28, 2009, pp. 795-802 PDF Icon
  • Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha, “Formal Modeling and Verification of Safety-Critical Software”, IEEE Software, vol. 26, no. 3, 2009. pp. 42-49
  • Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, and Doowhan Bae, “A data flow-based structural testing technique for FBD programs”, Information and Software Technology, vol. 51, no. 7, 2009, pp.1131-1139 PDF Icon
  • Junbeom Yoo, Sungdeok Cha, and  Eunkyoung Jee, “Verification of PLC Programs Written in FBD with VIS”, Nuclear Engineering and Technology, vol. 41, no. 2, 2009, pp. 79-90 PDF Icon
  • Jong-In Lee, Ho-Jung Bang, Tai-Hyo Kim and Sungdeok Cha, “Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Exeution Time”, IEICE Transactions on Information and Systems, vol. 92, no. 1, 2009, pp. 24-31 PDF Icon
  • Junbeom Yoo, Taihyo Kim, Sungdeok Cha and Jang-Soo Lee, Han Seong Son, ” A Formal Software Requirements Specification Method for Digital Nuclear Plant Protection Systems”, The Journal of Systems and Software, Vol. 74, Issue 1, 2005, pp. 73-83 PDF Icon
  • Jang-Soo Lee and Sungdeok Cha, “Fault tree construction of hybrid system requirements using qualitative formal method”, Reliability Engineering and System Safety, vol. 87, no. 1, 2005, pp.121-131 PDF Icon
  • Han-Sung Kim and Sungdeok Cha, “Empirical evaluation of SVM-based masquerade detection using UNIX commands”, Computers & Security, vol. 24, no. 2, 2005, pp.160-168 PDF Icon
  • Younju Oh, Junbeom Yoo, Sungdeok Cha and Han Seong Son, “Software safety analysis of function block diagrams using fault trees”, Reliability Engineering and System Safety, vol. 88, no. 3, 2005, pp. 215-228 PDF Icon
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom, Sungdeok Cha and 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”, Reliability Engineering and System Safety, vol. 89, no. 3, 2005, pp. 248-260 PDF Icon
  • Taeho Kim, David Stringer-Calvert and Sungdeok Cha, “Formal verification of functional properities of a SCR-style software requrements specification using PVS”, Reliability Engineering and System Safety, vol. 87, no. 3, 2005, pp.351-363 PDF Icon
  • Jungbeom Yoo, Sungdeok Cha, Chang Hwoi Kim and Duck Youg Song, “Synthesis of FBD-based  PLC design from NuSCR formal specification”, Reliability Engineering and System Safety, vol. 87, no. 2, 2005, pp. 287-294 PDF Icon
  • Jang-Soo Lee, Kee-Choon Kwon and Sungdeok Cha, “Software Safety Analysis of Digital Protection System Requirements using a Qualitative Formal Method”, Nuclear Technology, Americal Nuclear Society, vol. 147, no. 2, 2004, pp 227-239 PDF Icon
  • Han-Sung Kim, Sungdeok Cha, “Efficient Masquerade Detection using SVM Based on Common Command Frequency in Sliding Windows”, IEICE Transactions on Informaiton and Systems, E87-D, no. 11, 2004, pp .2446-2452 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating Reduced Finite State Machines from Concurrent Scenario Using Static Partial Order Method”, Journal of Research and Practice in Information Technology, vol. 36, no. 3, 2004, pp. 89-100 PDF Icon
  • Sanghyun Cho, Sungdeok Cha, “SAD: Web Session Anomaly detection based on parameter estimation”, Computer & Security, vol. 23, no. 4, 2004, pp. 312-319 PDF Icon
  • Taeho Kim, Sungdeok Cha, “Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system”, Reliability Engineering and System Safety, vol. 83, no. 1, 2004, pp. 121-122 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating test sequences from a set of MSCs”, Computer Networks, vol. 42, no. 3, 2003, pp. 405-417 PDF Icon
  • Nam Hee Lee, Sungdeok Cha, “Generating Test Sequences using Symbolic Execution for Event-Driven Real-Time Systems”, Microprocessors and Microsystems, vol. 27, no. 10, 2003, pp. 523-531 PDF Icon
  • Sungdeok Cha, Hanseong Son, Junbeom Yoo and Eunkyoung Jee, and Poong Hyun Seong, “Systematic Evaluation of Fault Tress Using Real-Time Model Checker UPPAAL”, Reliability Engineering and System Safety, vol. 82. no. 1, 2003, pp. 11-20 PDF Icon
  • Junbeom Yoo, Sungdeok Cha, and Han Seong Son, “Automatic Generation of Goal-Tree from Statecharts Requirements Specification”, Transactions of the ANS, 2003, pp 37-38 PDF Icon
  • Sun Sup So, Sungdeok Cha, Timothy J. Shimeall, and Yong Rae Kwon, “An Empirical Evaluation of Six Methods to Detect Faults in Software”, Software Testing, Verification and Reliability, vol. 12, no. 3, 2002, pp.155-171 PDF Icon
  • Seung Mo Cho, Hyung Ho Kim, Sungdeok Cha and Doo Hwan Bae, “A Semantics of Sequence Diagrams”, Information Processing Letter, vol. 84, no. 3, 2002, pp. 125-130 PDF Icon
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Dae Seong Son, and Seong Soo Choi, “Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields”, Transactions of the ANS, 2002, pp. 73-77
  • Sun Sup So, Sungdeok Cha, Yong Rae Kwon, “Empirical Evaluation of a Fuzzy Logic-based Software Quality Prediction Model”, Fuzzy Sets and Systems, vol. 127, no. 2, 2002, pp. 199-208  PDF Icon
  • Seung Mo Cho, Hyoung Seok Hong and Sungdeo Cha, and Doo Hwan Bae, “Specification and validation of dynamic systems using temporal logic”, IEE Proceedings-Software, vol. 148, no. 4, 2001, pp. 135-140 PDF Icon
  • Taeho Kim and Sungdeok Cha, “Automatic Structural Analysis for SCR-Style Requirements Specifications using PVS”, Software Testing, Verification and Reliability, vol. 11, no. 3, 2001, pp. 143-163 PDF Icon
  • Hyoung Seok Hong, Seung Mo Cho, Sungdeok Cha, and Yong Rae Kwon, “Extending the SCR Method for Real Time Systems”, Real-Time Systems, vol. 20, no. 1, 2001, pp. 27-49 PDF Icon
  • Woo Jin Lee, Heung Nam Kim, Sungdeok Cha, Yong Rae Kwon, “A Slicing-based Approach to enhance Petri Net Reachability Analysis”, Journal of Research and Practice in Information Technology, vol. 32, no. 2, 2000, pp.131-143 PDF Icon
  • Hyoung Seok Hong, Young Gon Kim, Sungdeo Cha, Doo Hwan Bae, and Hasan Ural, “A Test Sequence Selection Method for Statecharts”, Software Testing, Verification and Realiability, vol. 10, no. 4, 2000, pp. 203-227 PDF Icon
  • Jang Soo Lee and Sungdeok Cha, ” Qualitative Formal Method for Requirements Specification and Validation of Hybrid Real-Time Systems”, IEE Proceeding-Software, vol. 147, no. 1, 2000, pp. 1-12 PDF Icon
  • Sungdeok Cha, “Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education”, Journal of Research and Practice in information Technology, vol. 32, no. 1, 2000, pp. 39-4 PDF Icon
  • Young Gon Kim, Hyoung Seok Hong, Doo Hwan Bae and Sungdeok Cha, “Test Cases Generation from UML State Diagrams”, IEE Proceeding-Software, vol. 146, no. 4, 1999, pp. 187-192 PDF Icon
  • Woo Jin Lee, Sungdeok Cha, Yong Rae Kwon, “Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering”, IEEE Transactions on Software Engineering, vol. 24, no. 12, 1998, pp. 1115-1130 PDF Icon
  • Nancy Leveson, Stephen Sungdeok Cha, and Timothy J. Shimeall, “Safety Verification of Ada Programs using Software Fault Trees”, IEEE Software, July 1991, pp. 48-59 PDF Icon
  • Nancy Leveson, Stephen Sungdeok Cha, John Knight, and Timothy J. Shimeall, “The Use of Self Checks and Voting in Software Error Detection: An Empirical Study”, IEEE Transactions on Software Engineering, vol 16, no. 4, April 1990, pp. 432-443 PDF Icon

– International Conferences

  • Sungdeok Cha, Junsup Lee, Sangrok Kim and Sanghyun Ho, “ADAM: Web Anomaly Detection Assistant based on Feature Matrix”, The 9th International Conference on Quality Software (QSIC), August 24-25, 2009, Jeju, Korea PDF Icon
  • Junbeom Yoo, Sungdeok Cha and Eunkyung Jee, “A Verification Framwork for FBD Based Software in Nuclear Power Plant”, Proceedings of the 2008 15th Aisa-Pacific Software Engineering Conference (APSEC), December 3-5, 2008, Beijing, China, pp. 385-392 PDF Icon
  • JunSup Lee and Sungdeok Cha, “Page-Based Anomaly Detection in Large Scale Web Clusters Using Adaptive MapReduce (Extended Abstract)”, Proceddings of the 11th international symposium on Recent Advances in Intrusion Detection, LNCS 5230, September 15-17, 2008, Cambridge, MA, USA, pp. 404-405 PDF Icon
  • Ho Jung Bang, Tai Hyo Kim and Sungdeok Cha, “An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation”, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing(ISORC’07), May 7-9, 2007, Santorini, Greece, pp. 365-372 PDF Icon
  • Jeongseok Seo and Sungdeok Cha, “Masquerade Detection based on SVM and Sequence-based User Commands Profile”, Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security (ASIACCS’07), March 20-22, 2007, Singapore, pp. 398-400 PDF Icon
  • Jaemyung Cho, Jumbeom Yoo, and Sungdeok Cha, “NuEditor-A tool Suite for Specification and Verification of NuSCR”, Proc. 2nd ACIS Int’l Conf. Software Eng. Research, Management, and Applications (SERA 04), Los Angeles, USA, May 5-7, 2004, pp. 298-304 PDF Icon
  • Jeongseok Seo, Han-Sung Kim, Sanghyun Cho and Sungdeok Cha, “Web Server Attack Categorization based on Root Causes and Their Locations”, International Conference on Information Technology: Coding and Computing (ITCC’04), Las Vegas, Nevada, April 5-7, 2004, pp. 90-96
  • Seo Ryong Koo, Poong Hyun Seong and Sungdeok Cha, “Software Design Specification and Analysis Technique for the Safety-Critical Software based on Programmable Logic Controller(PLC)”, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE), March 25-26, 2004, Tampa, Florida, USA, pp 283-284 PDF Icon
  • Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo and Sungdeok Cha, “An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems”, Proceeding of the IASTED International Conference Software Engineering, February 17-19, 2004, pp. 607-612 PDF Icon
  • Hyoung Seok Hong, Sungdeok Cha, Insup Lee, Oleg Sokolsky, and Hasan Ural, “Data Flow Testing as Model Checking”, Proceedings of the 25th International Conference on Software Engineering(ICSE’03), May 3-10, Portland, Oregon, USA, 2003, pp. 232-243
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Jumbeom Yoo, and Sungdeok Cha, “Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection of Formal Method”, Proceedings of International Symposium On the Future I&C for NPP (ISOFIC), November 6-8, 2002, Seoul, Korea, pp.159-164 PDF Icon
  • Han Seong Son, Eunkyoung Jee and Sungdeok Cha, “Systematic Evaluation of Fault Tree Using Real-Time  Model Checker UPPAAL”, Proceedings of International Symposium On the Future I&C for NPP (ISOFIC), November 6-8, 2002, Seoul, Korea, pp. 153-158
  • Taeho Kim, David Stringer-Calvert and Sungdeok Cha, “Formal Verification of functional properties on SCR-style SRS using PVS”, Tools and Algorithms for the Construction and Analysis of Systems(TACAS’02), April 8-12, 2002, Grenoble, France, pp.143-163 PDF Icon
  • Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Jumbeom Yoo, Sungdeok Cha, Dae Seong Son and Seong Soo Choi, “Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields”, America Nuclear Society Transactions, vol. 86, no. 1, 2002, Florida, USA, pp. 73-74
  • Seo Ryong Koo, Han Seong Son , Poong Hyun Seong, Junbeom Yoo, Sungdeok Cha, Dae Seong.Son and Seong Soo Choi, “Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method”, International Symposium on Future I&C for NPP(ISOFIC), November 7-8, 2002, Seoul, Korea, pp.159-164 PDF Icon
  • Nam Hee Lee, Tai Hyo Kim and Sung Deok Cha ” Construction of Global Finite State Machine for Testing Task Interactions written i n Message Sequence Charts”, International Conference on Software Engineering and Knowledge Engineering(SEKE’02), July 15-19, 2002, Ischia, Italy, pp.369-376 PDF Icon
  • Hyoung Seok Hong, Insup Lee, Oleg Sokolsky and Sung Deok Cha, “Automatic Test Generation from Statecharts Using Model Checking”, Proceedings of Formal Approaches to Testing of Software(FATES’01), August 21-24, 2001, Aalborg, Denmark, pp.15-30 PDF Icon
  • Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, “A Temporal Logic for Dynamic Systems and its Application to SDL”, International Conference on Software Engineering, Aritificial Intelligence, Networking & Parallel/Distributed Computing(SNPD’01), August 20-22, 2001, Nagoya, Japan  PDF Icon
  • Jang Soo Lee, In Koo Hwang, Ki Young Lee, Jong Kyun Park and Sung Deok Cha, “Software safety analysis of digital protection system requirements using qualitative formal method”, Nuclear power plant instrumentation, control and human-machine interface technologies, November, 13-17, 2000, Washington, U.S.A PDF Icon
  • Joon Sang Lee, Tea Ho Kim, Jang Eui Hong, Sung Deok Cha and Doo Hwan Bae, “Developing Distributed Object Systems by Incorporating Metaobject Protocol(diMOP) with Unified Modeling Language(UML)”, International Symposium on Autonomous Decentralized Systems(ISADS), March 20-23, 1999, Tokyo, Japan, pp. 156-165 PDF Icon
  • Seoung Mo Cho, Doo Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo and Sang Taek Kim, “Applying Model Checking to Concurrent Object-Oriented Software”, International Symposium on Autonomous Decentrailzed Systems(ISADS’99), March 21-23, 1999, Tokyo, Japan, pp.380-383
  • Wei Jin Park, Tae Hyo Kim, Doo Hwan Bae and Sung Deok Cha, “Towards Unified Architecture Description Containing Component’s Behaviors”, Reusable Architectures and Components for Developing Distributed Information Systems(RACDIS), August 2-3, 1999, Orlando, USA, PDF Icon
  • Sang Yoon Min, Yoon Kyu Jang, Sung Deok Cha, Yong Rae Kwon and Doo Hwan Bae, “Safety Verification of Ada95 Programs Using Software Falut Trees”, SAFECOMP’99, September 27-29, 1999, Toulouse, France, pp. 226-238 PDF Icon
  • Tae Ho Kim and SungDeok Cha, “PVS-based Verification of SCR-style Requirement”, User group meeting at the World Congress on Formal Methods, Toulouse, France, September  20-24, 1999 PDF Icon
  • Nam Hee Lee, Jang Eui Hong, Sung Deok Cha and Doo Hwan Bae, “Towards Reusable Colored Petri Nets”, Int’l Symposium on Software Engineering for Parallel and Distributed systems(PDSE’98), April 20-21, 1998, Kyoto, Japan, pp. 223-229 PDF Icon
  • Gyu Tae Kim, Sung Deok Cha and Doo Hwan Bae, “Task. o: Object Model-based Approach for Robot Workcell Applications Programming”, Computer Software and Applications Conference(COMPSAC), August 11-15, 1997, Washington, U.S.A., pp. 109-114 PDF Icon
  • Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon and Chan Hyoung Yoo, “Detecting Common Mode Failures in N-Version Software Using the Weakest Precondition Analysis”, Asia-Pacific Software Engineering Conference(APSEC), December 2-5, 1997, Hong Kong, pp. 272-281 PDF Icon
  • Hyoung Seok Hong, SungDeok Cha and Yong Rae Kwon, “On the Concurrent Behavior of SCR Specifications”, Computer Software and Applications Conference(COMPSAC), August 11-15, 1997, Washington, U.S.A., pp. 258-263 PDF Icon
  • Jang Soo Lee and Sung Deok Cha, “Behavior Verification of Hybrid Real-Time Requirements by Qualitative Formalism”, International Workshop on Real-Time Computing Systems and Applications, October 27-29, 1997, Taipei, Taiwan, pp. 127-134
  • Seung Mo Cho, Hyoung Seok Hong and Sung Deok Cha, “Safety Analysis Using Coloured Petri Nets”, Asia-Pacific Software Engineering Conference(APSEC), December 4-7, 1996, Seoul, Korea, pp.176-193 PDF Icon
  • Sung Deok Cha and Hyoung Seok Hong, ” Specification and Analysis of Real-Time Systems in Statecharts”, Object-oriented Real-time Dependable Systems(WORDS), February 2-3, 1996, Laguna Beach, CA, pp. 13-143 PDF Icon
  • Sung Deok Cha, Gun Han Park and Heung Kyu Lee, “A Solution to the On-Line Image Downgrading Problem”, Annual Computer Secutiry Applications Conference(CSAC), December 13-15, 1995, New Orleans, pp. 108-112 PDF Icon
  • Sunsup So, Yongseop Lim, Sung Deok Cha and Yong Rae Kwon, “An Empirical Study on Software Error Detection: Volting. instrumentation and Fagan Inspection”, Aisa-Pacific Software Engineering Conference(APSEC), December 6-9, 1995, Brisbane, Australia, pp. 343-351 PDF Icon
  • Hyoung Suk Hong, Young Rae Kwon and Sung Deok Cha, “Testing of Object-Oriented Programs Based on Finite State Machines”, Aisa-Pacific Software Engineering Conference(APSEC), December 6-9, 1995, Brisbane, Australia, pp.234-241 PDF Icon
  • Hyoung Suk. Hong, Jeong Hyun. Kim, Sung Deok Cha and Young Rae Kwon, “Static Semantics and Priority Schemes for Statecharts”, Computer Software and Applications Conference(COMPSAC), December 6-9, 1995, Brisbane, Australia, pp. 114-120 PDF Icon