Steffen Knapp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2019
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | VEHITS | Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels. | Daniel Bischoff, Harald Berninger, Steffen Knapp, Tobias Meuser, Bjrn Richerzhagen, Lars Hring, Andreas Czylwik |
| 2019 | VEHITS | Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data. | Florian Jomrich, Daniel Bischoff, Steffen Knapp, Tobias Meuser, Bjrn Richerzhagen, Ralf Steinmetz |
| 2008 | MEMOCODE | Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. | Eyad Alkassar, Peter Bhm, Steffen Knapp |
| 2007 | CADE | Formal Device and Programming Model for a Serial Interface. | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |
| 2005 | FMICS | An approach to the pervasive formal specification and verification of an automotive system: status report. | Thomas In der Rieden, Steffen Knapp |
| 2005 | ICCD | Towards the Formal Verification of Lower System Layers in Automotive Systems. | Sven Beyer, Peter Bhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |