SCEAS

The SCEAS System

Title:
Author:

Seung Mo Cho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha
Safety Analysis Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
APSEC, 1996, pp:176-193 [Conf]
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. [Citation Graph (0, 0)][DBLP]
ISADS, 1999, pp:380-383 [Conf]
Seung Mo Cho, Jae Wook Lee
Lightweight Specification-based Testing of Memory Cards: A Case Study. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:73-91 [Journal]
Seung Mo Cho, H. H. Kim, Sung Deok Cha, Doo-Hwan Bae
Specification and validation of dynamic systems using temporal logic. [Citation Graph (0, 0)][DBLP]
IEE Proceedings - Software, 2001, v:148, n:4, pp:135-140 [Journal]
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae
A semantics of sequence diagrams. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2002, v:84, n:3, pp:125-130 [Journal]
Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon
Extending the SCR Method for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
Real-Time Systems, 2001, v:20, n:1, pp:27-49 [Journal]
Tadashi Araragi, Seung Mo Cho
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
MoChArt, 2006, pp:84-94 [Conf]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP