dblp.uni-trier.dewww.uni-trier.de

Seung Mo Cho

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
7EETadashi Araragi, Seung Mo Cho: Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. MoChArt 2006: 84-94
2005
6EESeung 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
5EESeung 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
2EESeung 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
1EESeung Mo Cho, Hyoung Seok Hong, Sung Deok Cha: Safety Analysis Using Coloured Petri Nets. APSEC 1996: 176-193

Coauthor Index

1Tadashi Araragi [7]
2Doo-Hwan Bae [2] [4] [5]
3Sung Deok Cha [1] [2] [3] [4] [5]
4Hyoung Seok Hong [1] [3]
5H. H. Kim [4]
6Hyung-Ho Kim [5]
7Sang Taek Kim [2]
8Young Gon Kim [2]
9Yong Rae Kwon [3]
10Jae Wook Lee [6]
11Byung Kyu Yoo [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)