| |
| 2003 | ||
|---|---|---|
| 3 | EE | Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME 2003: 462-481 |
| 2002 | ||
| 2 | EE | Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454 |
| 2001 | ||
| 1 | EE | 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] |