 | 2008 |
|---|
| 6 |       | Eric Van Wyk,
Derek Bodin,
Jimin Gao,
Lijesh Krishnan:
Silver: an Extensible Attribute Grammar System.
Electr. Notes Theor. Comput. Sci. 203(2): 103-116 (2008) |
| 5 | | Jimin Gao,
Mike Whalen,
Eric Van Wyk:
Extending Lustre with Timeout Automata.
Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008) |
| 2007 |
|---|
| 4 | | Jimin Gao,
Mats Per Erik Heimdahl,
Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages.
FASE 2007: 102-116 |
| 2006 |
|---|
| 3 | | Jimin 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 |
|---|
| 2 | | Mats 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 |
| 1 | | 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.
SEW 2003: 75 |
