htw saar – Saarland University of Applied Sciences
Goebenstr. 40
66117 Saarbruecken

Office 4105
+49 (0)681 5867 – 99105
steffen.knapp (at)



Research & Development Projects

  • Summer Term 2020
    • Operating Systems
    • Computer Architectures



  • Daniel Bischoff, Harald Berninger, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Lars Häring, Andreas Czylwik. Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels. VEHITS 2019.
  • Florian Jomrich, Daniel Bischoff, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz. Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data. VEHITS 2019.


  • Florian Jomrich, Florian Fischer, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz. Enhanced Cellular Bandwidth Prediction for Highly Automated Driving. SMARTGREENS/VEHITS (Selected Papers) 2018.
  • Florian Jomrich, Josef Schmid, Steffen Knapp, Alfred Höß, Ralf Steinmetz, Björn W. Schuller. Analysing communication requirements for crowd sourced backend generation of HD Maps used in automated driving. VNC 2018.


  • Steffen Knapp. The correctness of a distributed real-time system. Saarland University, 2008.
  • 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 Aspects Comput. 20(6) 2008.
  • Steffen Knapp. Pervasive Layered Verification of a Distributed Real-Time System. ICONS 2008.
  • Eyad Alkassar, Peter Böhm, Steffen Knapp. Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES 2008.
  • Eyad Alkassar, Peter Böhm, Steffen Knapp. Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE 2008.


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


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


  • 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.