| 2006 |
|---|
| 8 | EE | Martijn Hendriks,
Marcel Verhoef:
Timed automata based analysis of embedded system architectures.
IPDPS 2006 |
| 7 | EE | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen,
John Håkansson,
Paul Pettersson,
Wang Yi,
Martijn Hendriks:
UPPAAL 4.0.
QEST 2006: 125-126 |
| 6 | EE | Martijn Hendriks,
Barend van den Nieuwelaar,
Frits W. Vaandrager:
Model checker aided design of a controller for a wafer scanner.
STTT 8(6): 633-647 (2006) |
| 2005 |
|---|
| 5 | EE | Martijn Hendriks:
Model Checking the Time to Reach Agreement.
FORMATS 2005: 98-111 |
| 4 | EE | Gerd Behrmann,
Ed Brinksma,
Martijn Hendriks,
Angelika Mader:
Production Scheduling by Reachability Analysis - A Case Study.
IPDPS 2005 |
| 2004 |
|---|
| 3 | | Martijn Hendriks,
Barend van den Nieuwelaar,
Frits W. Vaandrager:
Model Checker Aided Design of a Controller for a Wafer Scanner.
ISoLA (Preliminary proceedings) 2004: 201-208 |
| 2003 |
|---|
| 2 | EE | Martijn Hendriks,
Gerd Behrmann,
Kim Guldstrand Larsen,
Peter Niebert,
Frits W. Vaandrager:
Adding Symmetry Reduction to Uppaal.
FORMATS 2003: 46-59 |
| 2002 |
|---|
| 1 | EE | Martijn Hendriks,
Kim Guldstrand Larsen:
Exact Acceleration of Real-Time Model Checking.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
