An approach to the pervasive formal specification and verification of an automotive system: status report. - Thomas In der Rieden; Steffen Knapp (FMICS, 2005)

Towards the Formal Verification of Lower System Layers in Automotive Systems. - Sven Beyer; Peter Böhm; Michael Gerke 002; Mark A. Hillebrand; Thomas In der Rieden; Steffen Knapp; Dirk Leinenbach; Wolfgang J. Paul (ICCD, 2005)

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. - Steffen Knapp; Wolfgang J. Paul (Program Analysis and Compilation, 2006)

Formal Device and Programming Model for a Serial Interface. - Eyad Alkassar; Mark A. Hillebrand; Steffen Knapp; Rostislav Rusev; Sergey Tverdyshev (VERIFY, 2007)

Pervasive Layered Verification of a Distributed Real-Time System. - Steffen Knapp (ICONS, 2008)

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. - Eyad Alkassar; Peter Böhm; Steffen Knapp (DIPES, 2008)

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. - Eyad Alkassar; Peter Böhm; Steffen Knapp (MEMOCODE, 2008)

On the correctness of upper layers of automotive systems. - Jewgenij Botaschanjan; Manfred Broy; Alexander Gruler; Alexander Harhurin; Steffen Knapp; Leonid Kof; Wolfgang J. Paul; Maria Spichkova (Formal Aspects Comput., 2008)

The correctness of a distributed real-time system. - Steffen Knapp (2008)

Enhanced Cellular Bandwidth Prediction for Highly Automated Driving. - Florian Jomrich; Florian Fischer; Steffen Knapp; Tobias Meuser; Björn Richerzhagen; Ralf Steinmetz (SMARTGREENS/VEHITS (Selected Papers), 2018)

Analysing communication requirements for crowd sourced backend generation of HD Maps used in automated driving. - Florian Jomrich; Josef Schmid; Steffen Knapp; Alfred Höß; Ralf Steinmetz; Björn W. Schuller (VNC, 2018)

Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels. - Daniel Bischoff 001; Harald Berninger; Steffen Knapp; Tobias Meuser; Björn Richerzhagen; Lars Häring; Andreas Czylwik (VEHITS, 2019)

Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data. - Florian Jomrich; Daniel Bischoff 001; Steffen Knapp; Tobias Meuser; Björn Richerzhagen; Ralf Steinmetz (VEHITS, 2019)