| 2006 |
|---|
| 3 | 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 |
|---|
| 2 | 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 |
| 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 |
