| 2003 | ||
|---|---|---|
| 3 | Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME 2003: 462-481 | |
| 2002 | ||
| 2 | Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454 | |
| 2001 | ||
| 1 | Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models. UML 2001: 317-328 | |
| 1 | Henning Dierks | [2] |
| 2 | Jochen Klose | [1] |