| 2008 |
|---|
| 8 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
| 7 | EE | Dirk Leinenbach,
Elena Petrova:
Pervasive Compiler Verification - From Verified Programs to Verified Systems.
Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008) |
| 2006 |
|---|
| 6 | EE | Sven Beyer,
Christian Jacobi,
Daniel Kröning,
Dirk Leinenbach,
Wolfgang J. Paul:
Putting it all together - Formal verification of the VAMP.
STTT 8(4-5): 411-430 (2006) |
| 2005 |
|---|
| 5 | EE | Thomas In der Rieden,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Pervasive Verification of Automotive Systems.
CHARME 2005: 3-4 |
| 4 | EE | Sven Beyer,
Peter Böhm,
Michael Gerke,
Mark A. Hillebrand,
Thomas In der Rieden,
Steffen Knapp,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD 2005: 317-326 |
| 3 | EE | Dirk Leinenbach,
Wolfgang J. Paul,
Elena Petrova:
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
SEFM 2005: 2-12 |
| 2 | EE | Mauro Gargano,
Mark A. Hillebrand,
Dirk Leinenbach,
Wolfgang J. Paul:
On the Correctness of Operating System Kernels.
TPHOLs 2005: 1-16 |
| 2003 |
|---|
| 1 | EE | Sven Beyer,
Christian Jacobi,
Daniel Kroening,
Dirk Leinenbach,
Wolfgang J. Paul:
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
CHARME 2003: 51-65 |
