| 2004 |
|---|
| 8 | EE | 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 | EE | Andreas Thums,
Gerhard Schellhorn,
Frank Ortmeier,
Wolfgang Reif:
Interactive Verification of Statecharts.
SoftSpez Final Report 2004: 355-373 |
| 5 | EE | 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 | EE | Andreas Thums,
Gerhard Schellhorn:
Model Checking FTA.
FME 2003: 739-757 |
| 2002 |
|---|
| 3 | EE | 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 | EE | Wolfgang Reif,
Gerhard Schellhorn,
Andreas Thums:
Flaw Detection in Formal Specifications.
IJCAR 2001: 642-657 |
| 2000 |
|---|
| 1 | EE | Michael Balser,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel,
Andreas Thums:
Formal System Development with KIV.
FASE 2000: 363-366 |
