Steffen Knapp

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 4

Top Venues

VEHITS

VNC

SMARTGREENS/VEHITS (Selected Papers)

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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, 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)
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)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE (2008)
Steffen Knapp
Pervasive Layered Verification of a Distributed Real-Time System. ICONS (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)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES (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)
Thomas In der Rieden, Steffen Knapp
An approach to the pervasive formal specification and verification of an automotive system: status report. FMICS (2005)

Steffen Knapp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steffen Knapp