The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jimin Gao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
    On the Distribution of Property Violations in Formal Models: An Initial Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:150-160 [Conf]
  2. Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
    Auto-generating Test Sequences Using Model Checkers: A Case Study. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:42-59 [Conf]
  3. David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
    On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:75- [Conf]
  4. Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
    Flexible and Extensible Notations for Modeling Languages. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:102-116 [Conf]

  5. Extending Lustre with Timeout Automata. [Citation Graph (, )][DBLP]


  6. Silver: an Extensible Attribute Grammar System. [Citation Graph (, )][DBLP]


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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002