| 2004 | ||
|---|---|---|
| 5 | EE | Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner: Coverage Metrics for Continuous Function Charts. ISSRE 2004: 257-268 |
| 2001 | ||
| 4 | Oliver Mäckel, Martin Rothfelder: Challenges and Solutions for Fault Tree Analysis Arising from Automatic Fault Tree Generation: Some Milestones on the Way. ISAS-SCI (1) 2001: 583-588 | |
| 1998 | ||
| 3 | Peter Liggesmeyer, Martin Rothfelder: Improving System Reliability with Automatic Fault Tree Generation. FTCS 1998: 90-99 | |
| 2 | EE | Peter Liggesmeyer, Martin Rothfelder: Towards Automated Proof of Fail-Safe Behaviour. SAFECOMP 1998: 169-184 |
| 1 | EE | Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann: Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. Informatik Spektrum 21(5): 249-258 (1998) |
| 1 | Thomas Ackermann | [1] |
| 2 | Vadim Alyokhin | [5] |
| 3 | Benedikte Elbel | [5] |
| 4 | Peter Liggesmeyer | [1] [2] [3] |
| 5 | Oliver Mäckel | [4] |
| 6 | Alexander Pretschner | [5] |
| 7 | Michael Rettelbach | [1] |