Publications

International Journal

• Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, ``A Semantics of Sequence Diagrams'', Information Processing Letters, Vol. 84, No. 3, pp. 125-130, Sept., 2002.
• Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, ``Specification and Validation of Dynamic Systems using Temporal Logic '', IEE Proceedings - Software, Vol. 148, No 4, Aug. 2001.
• Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, and Yong Rae Kwon, ``Extending the SCR Method for Real-Time Systems,'' Real-Time Systems, Vol. 20, Issue, 1, pp. 27-49, Jan. 2001.

International Conference

• Chanik Park, Seungmo Cho, Jaewook Lee and Hyungjun Park, ``Co-Validation Environment for Memory Card Compatibility Test: A Case Study'', (slides), 15th IEEE International Workshop on Rapid System Prototyping, Jun 28-30, Geneva, Switzerland, 2004.
• Seun Ah Lee, Seung Mo Cho, Sung Kwan Heo, ``SAAT: Reverse Engineering for Performance Analysis'', Second International Workshop on Dynamic Analysis, Edinburgh, Scotland, 25 May 2004.
• Seung Mo Cho, Jae Wook Lee, ``Lightweight Specification-based Testing of Memory Cards: A Case Study'', Model-Based Testing 2004, ETAPS 2004.
• Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, ``A Temporal Logic for Dynamic Systems and its Application to SDL,'' 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), 2001.
• Seung Mo Cho, Doo Hwan Bae, Sung Deok Cha, Young Gon Kim, B.K. Yoo, S.T. Kim, ``Applying Model Checking to Concurrent Object-Oriented Software,'' Proceeding of The Fourth International Synposium on Autonomous Decentralized system (ISADS) 1999.
• Seung Mo Cho, Hyoung Seok Hong, and Sung Deok Cha, ``Safety Analysis Using Coloured Petri Nets,'' APSEC 1996, Seoul.

Domestic Journal

• Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, ``A Temporal Logic for Specification and Analysis of Dynamic Systems (Korean)'', Journal of KISS: Software and Applications, VOL. 29, NO. 07, pp. 450 ~ 464, Aug. 2002.
• Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha and Doo Hwan Bae, ``Monitoring and Checking Concurrent Java Programs with HDTL (Korean)'', Journal of KISS: Software and Applications, VOL. 29, NO. 05, pp. 345 ~ 354, Jun. 2002.
• Seung-Mo Cho, et. al, ``Model Checking of Concurrent Object-Oriented Systems (Korean),'' Journal of KISS: Software and Applications, Vol. 27, No. 1, Jan. 2000.
• Seung Mo Cho, Sung Deok Cha, ``Implementing SCR specification with LUSTRE (Korean),'' Journal of KISS: Software and Applications, Vol. 26, No. 2, Feb. 1999.

Domestic Conference

• Tae Ho Kim, Seung Mo Cho, Sung Deok Cha, Yong-Rae Kwon, Dong-Dal Kwak, Chan-Seok Yang, and Ki-Byung Jang, ``Modeling a Traffic Control System using Formal Specification (Korean),'' 26th KISS Spring Conference , Apr. 1998.
• Tae Ho Kim, Hyoung Seok Hong, Seung Mo Cho, Wang Sung Chun, and Sung Deok Cha, ``Verification of Requirement Specification for Safety Critical System (Korean),'' 23th KISS Spring Conference , Apr. 1996.
• Seung Mo Cho, Hyoung Hong, and Sung Deok Cha, ``Safety Analysis Using Colored Petri Nets (Korean),'' 22th KISS Spring Conference, Oct. 1995.

Research Interest

• Formal method for embedded reactive systems
• Specification-based testing of concurrent systems
• Specification and verfication of dynamic systems