Martin Hilscher

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Topics

Logical Equivalence

Top Venues

Theories of Programming and Formal Methods

Formal Aspects Comput.

University of Potsdam (PHD)

Education History

University of Potsdam

PHD

Publications

Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. 29 (4) (2017)
Martin Hilscher, Maike Schwammberger
An Abstract Model for Proving Safety of Autonomous Urban Traffic. ICTAC (2016)
Sven Linker, Martin Hilscher
Proof Theory of a Multi-Lane Spatial Logic. Log. Methods Comput. Sci. 11 (3) (2015)
Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA (2015)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
Proving Safety of Traffic Manoeuvres on Country Roads. Theories of Programming and Formal Methods (2013)
Sven Linker, Martin Hilscher
Proof Theory of a Multi-Lane Spatial Logic. ICTAC (2013)
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. ICFEM (2011)
Martin Hilscher, Michael Braun, Michael Richter, Andreas Leininger, Michael Gössel
X-tolerant Test Data Compaction with Accelerated Shift Registers. J. Electron. Test. 25 (4-5) (2009)
Max Beuermann, Werner Fischer, Peter Kalbfleisch, Martin Hilscher, Bernd Blöcher
Modular Load Commutated Inverters - A Proven Concept for High Power Applications. IAS (2008)
Martin Hilscher, Michael Braun, Michael Richter, Andreas Leininger, Michael Gössel
Accelerated Shift Registers for X-tolerant Test Data Compaction. ETS (2008)