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

Jimin Gao

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

2008
6EEEric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan: Silver: an Extensible Attribute Grammar System. Electr. Notes Theor. Comput. Sci. 203(2): 103-116 (2008)
5EEJimin Gao, Mike Whalen, Eric Van Wyk: Extending Lustre with Timeout Automata. Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008)
2007
4EEJimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116
2006
3EEJimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies: On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) 2006: 150-160
2003
2EEMats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao: Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59
1EEDavid Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao: On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW 2003: 75

Coauthor Index

1Derek Bodin [6]
2George Devaraj [2]
3Mats Per Erik Heimdahl [1] [2] [3] [4]
4Lijesh Krishnan [6]
5Tim Menzies [1] [3]
6David Owen [1] [3]
7Sanjai Rayadurgam [2]
8Willem Visser [2]
9Mike Whalen [5]
10Eric Van Wyk [4] [5] [6]

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