Steffen Knapp

13 papers C 5Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2019 C conf
Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data.
VEHITS
Florian Jomrich, Daniel Bischoff, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz
2019 C conf
Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels.
VEHITS
Daniel Bischoff, Harald Berninger, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Lars Häring, Andreas Czylwik
2018 — conf
Analysing communication requirements for crowd sourced backend generation of HD Maps used in automated driving.
VNC
Florian Jomrich, Josef Schmid, Steffen Knapp, Alfred Höß, Ralf Steinmetz, Björn W. Schuller
2018 — conf
Enhanced Cellular Bandwidth Prediction for Highly Automated Driving.
SMARTGREENS/VEHITS (Selected Papers)
Florian Jomrich, Florian Fischer, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz
2008 C conf
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE
Eyad Alkassar, Peter Böhm, Steffen Knapp
2008 — conf
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES
Eyad Alkassar, Peter Böhm, Steffen Knapp
2008 J jnl
On the correctness of upper layers of automotive systems.
Formal Aspects Comput.
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2008 — conf
Pervasive Layered Verification of a Distributed Real-Time System.
ICONS
Steffen Knapp
2008 — —
The correctness of a distributed real-time system.
Steffen Knapp
2007 — conf
Formal Device and Programming Model for a Serial Interface.
VERIFY
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
2006 — conf
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
Program Analysis and Compilation
Steffen Knapp, Wolfgang J. Paul
2005 C conf
An approach to the pervasive formal specification and verification of an automotive system: status report.
FMICS
Thomas In der Rieden, Steffen Knapp
2005 C conf
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul