Martin Hilscher

According to our database, Martin Hilscher authored at least 10 papers between 2008 and 2017.

Collaborative distances:

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

2017

Synthesizing and verifying controllers for multi-lane traffic maneuvers.

Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog

Formal Aspects Comput., 2017

2016

An Abstract Model for Proving Safety of Autonomous Urban Traffic.

Martin Hilscher, Maike Schwammberger

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Proof Theory of a Multi-Lane Spatial Logic.

Sven Linker, Martin Hilscher

Log. Methods Comput. Sci., 2015

Synthesizing Controllers for Multi-lane Traffic Maneuvers.

Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013

Proving Safety of Traffic Manoeuvres on Country Roads.

Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog

Proceedings of the Theories of Programming and Formal Methods, 2013

2011

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres.

Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Testdatenkompaktion durch beschleunigte Schieberegister mit vielen X-Werten.

Martin Hilscher

PhD thesis, 2010

2009

X-tolerant Test Data Compaction with Accelerated Shift Registers.

Martin Hilscher, Michael Braun, Michael Richter, Andreas Leininger, Michael Gössel

J. Electron. Test., 2009

2008

Modular Load Commutated Inverters - A Proven Concept for High Power Applications.

Max Beuermann, Werner Fischer, Peter Kalbfleisch, Martin Hilscher, Bernd Blöcher

Proceedings of the Industry Applications Society Annual Meeting, 2008

Accelerated Shift Registers for X-tolerant Test Data Compaction.

Martin Hilscher, Michael Braun, Michael Richter, Andreas Leininger, Michael Gössel

Proceedings of the 13th European Test Symposium, 2008