Steffen Knapp

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data.
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.
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.
Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

Enhanced Cellular Bandwidth Prediction for Highly Automated Driving.
Proceedings of the Smart Cities, Green Technologies and Intelligent Transport Systems, 2018

2008
The correctness of a distributed real-time system.
PhD thesis, 2008

On the correctness of upper layers of automotive systems.
Formal Aspects Comput., 2008

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
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.
Proceedings of the Distributed Embedded Systems: Design, 2008

Pervasive Layered Verification of a Distributed Real-Time System.
Proceedings of the Third International Conference on Systems, 2008

2007
Formal Device and Programming Model for a Serial Interface.
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.
Proceedings of the Program Analysis and Compilation, 2006

2005
Towards the Formal Verification of Lower System Layers in Automotive Systems.
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.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005


  Loading...