Accelerated Shift Registers for X-tolerant Test Data Compaction. - Martin Hilscher; Michael Braun; Michael Richter 002; Andreas Leininger; Michael Gössel (ETS, 2008)

Modular Load Commutated Inverters - A Proven Concept for High Power Applications. - Max Beuermann; Werner Fischer; Peter Kalbfleisch; Martin Hilscher; Bernd Blöcher (IAS, 2008)

X-tolerant Test Data Compaction with Accelerated Shift Registers. - Martin Hilscher; Michael Braun; Michael Richter 002; Andreas Leininger; Michael Gössel (J. Electron. Test., 2009)

Testdatenkompaktion durch beschleunigte Schieberegister mit vielen X-Werten. - Martin Hilscher (2010)

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. - Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog; Anders P. Ravn (ICFEM, 2011)

Proving Safety of Traffic Manoeuvres on Country Roads. - Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (Theories of Programming and Formal Methods, 2013)

Synthesizing Controllers for Multi-lane Traffic Maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (SETTA, 2015)

Proof Theory of a Multi-Lane Spatial Logic. - Sven Linker; Martin Hilscher (Log. Methods Comput. Sci., 2015)

An Abstract Model for Proving Safety of Autonomous Urban Traffic. - Martin Hilscher; Maike Schwammberger (ICTAC, 2016)

Synthesizing and verifying controllers for multi-lane traffic maneuvers. - Gregor von Bochmann; Martin Hilscher; Sven Linker; Ernst-Rüdiger Olderog (Formal Aspects Comput., 2017)