| Refinement-Based Verification of the FreeRTOS Scheduler in VCC. | 1 | 0.38 | 2015 |
| Translation validation for stateflow to C | 4 | 0.40 | 2014 |
| CoGenTe: a tool for code generator testing | 1 | 0.36 | 2010 |
| Supervisory control for real-time systems based on conflict-tolerant controllers | 1 | 0.38 | 2009 |
| Behaviour Directed Testing of Auto-code Generators | 4 | 0.46 | 2008 |
| Conflict-Tolerant Real-Time Features | 2 | 0.43 | 2008 |
| Testing Model-Processing Tools for Embedded Systems | 8 | 0.50 | 2007 |
| Performance analysis of FlexRay-based ECU networks | 38 | 2.92 | 2007 |
| How to Test Program Generators? A Case Study using flex | 2 | 0.40 | 2007 |
| Composing Context Sensitive Analysis | 0 | 0.34 | 2006 |
| Duality of Fix-Points for Distributive Lattices | 0 | 0.34 | 2006 |
| Multi-agent Reactive Systems | 0 | 0.34 | 2003 |
| Flow analysis: games and nets | 3 | 0.39 | 2002 |
