Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Silver: an Extensible Attribute Grammar System | 92 | 2.76 | 2008 |
| Extending Lustre with Timeout Automata | 0 | 0.34 | 2008 |
| Flexible and extensible notations for modeling languages | 14 | 0.72 | 2007 |
| On the Distribution of Property Violations in Formal Models: An Initial Study | 0 | 0.34 | 2006 |
| Auto-generating Test Sequences Using Model Checkers: A Case Study | 49 | 2.44 | 2003 |