| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Marco Bakera, Sven Jörges, Tiziana Margaria: Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181 |
| 2008 | ||
| 2 | EE | Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33 |
| 2007 | ||
| 1 | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97 | |
| 1 | Stefan Edelkamp | [2] |
| 2 | Sven Jörges | [3] |
| 3 | Peter Kissmann | [2] |
| 4 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] [3] |
| 5 | Clemens D. Renner | [1] [2] |
| 6 | Bernhard Steffen | [1] |