| 2008 |
|---|
| 4 | EE | Michael Balser,
Simon Bäumler,
Wolfgang Reif,
Gerhard Schellhorn:
Interactive Verification of Concurrent Systems using Symbolic Execution.
LPAR Workshops 2008 |
| 3 | EE | Simon Bäumler,
Florian Nafz,
Michael Balser,
Wolfgang Reif:
Compositional Proofs with Symbolic Execution.
VERIFY 2008 |
| 2006 |
|---|
| 2 | EE | Simon Bäumler,
Michael Balser,
Andriy Dunets,
Wolfgang Reif,
Jonathan Schmitt:
Verification of Medical Guidelines by Model Checking - A Case Study.
SPIN 2006: 219-233 |
| 2004 |
|---|
| 1 | EE | Michael Balser,
Simon Bäumler,
Alexander Knapp,
Wolfgang Reif,
Andreas Thums:
Interactive Verification of UML State Machines.
ICFEM 2004: 434-448 |
