- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j3 |      | Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan: Silver: An extensible attribute grammar system. Sci. Comput. Program. 75(1-2): 39-54 (2010) |
| 2008 | ||
| j2 | | 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) |
| j1 | | Jimin Gao, Mike Whalen, Eric Van Wyk: Extending Lustre with Timeout Automata. Electr. Notes Theor. Comput. Sci. 203(4): 111-124 (2008) |
| 2007 | ||
| c4 | | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116 |
| 2006 | ||
| c3 | | 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 | ||
| c2 | | 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 |
| c1 | | 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 |
| 1 | Derek Bodin | |
| 2 | George Devaraj | |
| 3 | Mats Per Erik Heimdahl | |
| 4 | Lijesh Krishnan | |
| 5 | Tim Menzies | |
| 6 | David Owen | |
| 7 | Sanjai Rayadurgam | |
| 8 | Willem Visser | |
| 9 | Mike Whalen | |
| 10 | Eric Van Wyk |
Data released under the ODC-BY 1.0 license — See also our legal information page