- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| b1 |      | |
| j1 | | 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) |
| c6 | | Steffen Knapp: Pervasive Layered Verification of a Distributed Real-Time System. ICONS 2008: 323-328 |
| c5 | | Eyad Alkassar, Peter Böhm, Steffen Knapp: Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES 2008: 57-67 |
| c4 | | Eyad Alkassar, Peter Böhm, Steffen Knapp: Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE 2008: 175-186 |
| 2007 | ||
| c3 | | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007 |
| 2006 | ||
| c2 | | 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 | ||
| c1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page