Steffen Knapp

According to our database, Steffen Knapp authored at least 13 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data.

Florian Jomrich, Daniel Bischoff, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels.

Daniel Bischoff, Harald Berninger, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Lars Häring, Andreas Czylwik

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

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

Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

Enhanced Cellular Bandwidth Prediction for Highly Automated Driving.

Florian Jomrich, Florian Fischer, Steffen Knapp, Tobias Meuser, Björn Richerzhagen, Ralf Steinmetz

Proceedings of the Smart Cities, Green Technologies and Intelligent Transport Systems, 2018

2008

The correctness of a distributed real-time system.

Steffen Knapp

PhD thesis, 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

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.

Eyad Alkassar, Peter Böhm, Steffen Knapp

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.

Eyad Alkassar, Peter Böhm, Steffen Knapp

Proceedings of the Distributed Embedded Systems: Design, 2008

Pervasive Layered Verification of a Distributed Real-Time System.

Steffen Knapp

Proceedings of the Third International Conference on Systems, 2008

2007

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.

Steffen Knapp, Wolfgang J. Paul

Proceedings of the Program Analysis and Compilation, 2006

2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

An approach to the pervasive formal specification and verification of an automotive system: status report.

Thomas In der Rieden, Steffen Knapp

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005