how i didn’t meet your mother

Publications

Publications

International Journal

  • S. M. Cho, D. W. Im, O. Y. Jang, H. J. Song, B. D. Paulovicks, V. Sheinin and H. Yeo, “OpenCL and Parallel Primitives for digital TV applications,” IBM Journal of Research and Development, 2010. (Accepted)
  • 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

  • Jae-Jin Lee, Seung Mo Cho, et al., “An OpenCL Framework for Heterogeneous Multicores with Local Memory”, PACT 2010.
  • Seung Mo Cho, Dong Woo Im, Hyo Jung Song, “Parallelization and Analysis of Speech recognition on Mobile Multi-core Processor”, CCNC 2009.
  • Seung Mo Cho, “Xen Hypervisor for Cell Broadband Engine”, PADC 2007.
  • Seung Mo Cho, Jaewook Lee and Hyungjun Park, “Co-Validation Environment for Memory Card Compatibility Test: A Case Study”, 15th IEEE International Workshop on Rapid System Prototyping, Jun 28-30, Geneva, Switzerland, 2004.
  • Sun-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

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

Theme: Rubric. Blog at WordPress.com.

Follow

Get every new post delivered to your Inbox.