Search the dblp DataBase

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]