| 2009 | ||
|---|---|---|
| 5 | Mauro Pezzè, Jochen Wuttke: LuMiNous - model-driven assertion generation for runtime failure detection. ICSE Companion 2009: 411-412 | |
| 4 | Mauro Pezzè, Jochen Wuttke: Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems 2009: 223-240 | |
| 2008 | ||
| 3 | Jochen Wuttke: Runtime failure detection. ICSE Companion 2008: 987-990 | |
| 2007 | ||
| 2 | Jochen Wuttke: An approach to detecting failures automatically. SOQUA 2007: 17-24 | |
| 2006 | ||
| 1 | Alexander Knapp, Jochen Wuttke: Model Checking of UML 2.0 Interactions. MoDELS Workshops 2006: 42-51 | |
| 1 | Alexander Knapp | [1] |
| 2 | Mauro Pezzè | [4] [5] |