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