 | 2009 |
| 9 |  | Vincent Schulte-Coerne,
Andreas Thums,
Jochen Quante:
Challenges in Reengineering Automotive Software.
CSMR 2009: 315-316 |
| 2004 |
| 8 |  | Michael Balser,
Simon Bäumler,
Alexander Knapp,
Wolfgang Reif,
Andreas Thums:
Interactive Verification of UML State Machines.
ICFEM 2004: 434-448 |
| 7 |  | Wolfgang Reif,
Frank Ortmeier,
Andreas Thums,
Gerhard Schellhorn:
Integrated formal methods for safety analysis of train systems.
IFIP Congress Topical Sessions 2004: 637-642 |
| 6 |  | Andreas Thums,
Gerhard Schellhorn,
Frank Ortmeier,
Wolfgang Reif:
Interactive Verification of Statecharts.
SoftSpez Final Report 2004: 355-373 |
| 5 |  | Frank Ortmeier,
Andreas Thums,
Gerhard Schellhorn,
Wolfgang Reif:
Combining Formal Methods and Safety Analysis - The ForMoSA Approach.
SoftSpez Final Report 2004: 474-493 |
| 2003 |
| 4 |  | Andreas Thums,
Gerhard Schellhorn:
Model Checking FTA.
FME 2003: 739-757 |
| 2002 |
| 3 |  | Frank Ortmeier,
Gerhard Schellhorn,
Andreas Thums,
Wolfgang Reif,
Bernhard Hering,
Helmut Trappschuh:
Safety Analysis of the Height Control System for the Elbtunnel.
SAFECOMP 2002: 296-308 |
| 2001 |
| 2 |  | Wolfgang Reif,
Gerhard Schellhorn,
Andreas Thums:
Flaw Detection in Formal Specifications.
IJCAR 2001: 642-657 |
| 2000 |
| 1 |  | Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel,
Andreas Thums:
Formal System Development with KIV.
FASE 2000: 363-366 |