Safety Analysis Using Coloured Petri Nets. - Seung Mo Cho; Hyoung Seok Hong; Sung Deok Cha (APSEC, 1996)

Applying Model Checking to Concurrent Object-Oriented Software. - Seung Mo Cho; Doo-Hwan Bae; Sung Deok Cha; Young Gon Kim; Byung Kyu Yoo; Sang Taek Kim (ISADS, 1999)

Specification and validation of dynamic systems using temporal logic. - Seung Mo Cho; Hyung Ho Kim; Sung Deok Cha; Doo-Hwan Bae (IEE Proc. Softw., 2001)

Extending the SCR Method for Real-Time Systems. - Hyoung Seok Hong; Seung Mo Cho; Sung Deok Cha; Yong Rae Kwon (Real Time Syst., 2001)

A semantics of sequence diagrams. - Seung Mo Cho; Hyung-Ho Kim; Sung Deok Cha; Doo-Hwan Bae (Inf. Process. Lett., 2002)

Lightweight Specification-based Testing of Memory Cards: A Case Study. - Seung Mo Cho; Jae Wook Lee (MBT, 2004)

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. - Tadashi Araragi; Seung Mo Cho (MoChArt, 2006)

Parallelization and analysis of speech recognition on mobile multi-core processor. - Seung Mo Cho; Dong-Woo Im; Hyo-Jung Song (CCNC, 2009)

An OpenCL framework for heterogeneous multicores with local memory. - Jaejin Lee; Jungwon Kim; Sangmin Seo; Seungkyun Kim; Jung-Ho Park; Honggyu Kim; Thanh Tuan Dao; Yongjin Cho; Sung Jong Seo; Seung Hak Lee; Seung Mo Cho; Hyo Jung Song; et al. (PACT, 2010)

OpenCL and parallel primitives for digital TV applications. - Seung Mo Cho; D. W. Im; O. Y. Jang; Hyo Jung Song; Brent Paulovicks; Vadim Sheinin; Hangu Yeo (IBM J. Res. Dev., 2010)