2008 |
7 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES 2008: 57-67 |
6 | EE | Steffen Knapp:
Pervasive Layered Verification of a Distributed Real-Time System.
ICONS 2008: 323-328 |
5 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE 2008: 175-186 |
4 | EE | Jewgenij Botaschanjan,
Manfred Broy,
Alexander Gruler,
Alexander Harhurin,
Steffen Knapp,
Leonid Kof,
Wolfgang J. Paul,
Maria Spichkova:
On the correctness of upper layers of automotive systems.
Formal Asp. Comput. 20(6): 637-662 (2008) |
2007 |
3 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Steffen Knapp,
Rostislav Rusev,
Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface.
VERIFY 2007 |
2006 |
2 | EE | Steffen Knapp,
Wolfgang J. Paul:
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
Program Analysis and Compilation 2006: 53-81 |
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 |