| 2006 |
|---|
| 7 | EE | Tadashi Araragi,
Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.
MoChArt 2006: 84-94 |
| 2005 |
|---|
| 6 | EE | Seung Mo Cho,
Jae Wook Lee:
Lightweight Specification-based Testing of Memory Cards: A Case Study.
Electr. Notes Theor. Comput. Sci. 111: 73-91 (2005) |
| 2002 |
|---|
| 5 | EE | Seung Mo Cho,
Hyung-Ho Kim,
Sung Deok Cha,
Doo-Hwan Bae:
A semantics of sequence diagrams.
Inf. Process. Lett. 84(3): 125-130 (2002) |
| 2001 |
|---|
| 4 | | Seung Mo Cho,
H. H. Kim,
Sung Deok Cha,
Doo-Hwan Bae:
Specification and validation of dynamic systems using temporal logic.
IEE Proceedings - Software 148(4): 135-140 (2001) |
| 3 | | Hyoung Seok Hong,
Seung Mo Cho,
Sung Deok Cha,
Yong Rae Kwon:
Extending the SCR Method for Real-Time Systems.
Real-Time Systems 20(1): 27-49 (2001) |
| 1999 |
|---|
| 2 | EE | Seung Mo Cho,
Doo-Hwan Bae,
Sung Deok Cha,
Young Gon Kim,
Byung Kyu Yoo,
Sang Taek Kim:
Applying Model Checking to Concurrent Object-Oriented Software.
ISADS 1999: 380-383 |
| 1996 |
|---|
| 1 | EE | Seung Mo Cho,
Hyoung Seok Hong,
Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets.
APSEC 1996: 176-193 |
