Martin Hilscher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2016
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICTAC | An Abstract Model for Proving Safety of Autonomous Urban Traffic. | Martin Hilscher, Maike Schwammberger |
| 2015 | SETTA | Synthesizing Controllers for Multi-lane Traffic Maneuvers. | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog |
| 2013 | ICTAC | Proof Theory of a Multi-Lane Spatial Logic. | Sven Linker, Martin Hilscher |
| 2011 | ICFEM | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. | Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn |
| 2008 | ETS | Accelerated Shift Registers for X-tolerant Test Data Compaction. | Martin Hilscher, Michael Braun, Michael Richter, Andreas Leininger, Michael Gssel |