| 2004 |
|---|
| 8 | EE | Wilfried Steiner,
John M. Rushby,
Maria Sorea,
Holger Pfeifer:
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.
DSN 2004: 189-198 |
| 7 | EE | Thorsten Liebig,
Holger Pfeifer,
Friedrich W. von Henke:
Reasoning Services for an OWL Authoring Tool: An Experience Report .
Description Logics 2004 |
| 6 | EE | Holger Pfeifer,
Friedrich W. von Henke:
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.
SAFECOMP 2004: 240-253 |
| 2000 |
|---|
| 5 | | Holger Pfeifer:
Formal Verification of the TTP Group Membership Algorithm.
FORTE 2000: 3-18 |
| 1999 |
|---|
| 4 | EE | Holger Pfeifer,
Harald Rueß:
Polytypic Proof Construction.
TPHOLs 1999: 55-72 |
| 1998 |
|---|
| 3 | | Friedrich W. von Henke,
Stephan Pfab,
Holger Pfeifer,
Harald Rueß:
Case Studies in Meta-Level Theorem Proving.
TPHOLs 1998: 461-478 |
| 1997 |
|---|
| 2 | | Axel Dold,
Friedrich W. von Henke,
Holger Pfeifer,
Harald Rueß:
Formal Verification of Transformations for Peephole Optimization.
FME 1997: 459-472 |
| 1996 |
|---|
| 1 | | Friedrich W. von Henke,
Marko Luther,
Holger Pfeifer,
Harald Rueß,
Detlef Schwier,
Martin Strecker,
Matthias Wagner:
The TYPELAB Specification and Verification Environment.
AMAST 1996: 604-607 |
