| 2008 |
|---|
| 3 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES 2008: 57-67 |
| 2 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE 2008: 175-186 |
| 2005 |
|---|
| 1 | 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 |
