The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002