Dipl.-Inform. Martin Hilscher

Contact

  • E-Mail:

Dipl.-Inform. Martin Hilscher

Curriculum Vitae

since 5/2010Research Assistant in the Correct System Design Group
3/2008 - 3/2010Research Assistant in the Parallel Systems Group

 

 

Publications

  • G. v. Bochmann, M. Hilscher, S. Linker, and E. -R. Olderog, "Synthesizing and Verifying Controllers for Multi-lane Traffic Maneuvers" Formal Aspects of Computing, vol. 29, iss. 4.
    doi: 10.1007/s00165-017-0424-4
  • [inproceedings] bibtex
    M. Hilscher and M. Schwammberger, "An Abstract Model for Proving Safety of Autonomous Urban Traffic" in Proc. Theoretical Aspects of Computing (ICTAC), 2016.
    doi: 10.1007/978-3-319-46750-4_16
  • S. Linker and M. Hilscher, "Proof Theory of a Multi-Lane Spatial Logic" Logical Methods in Computer Science, vol. 11, iss. 3.
  • [inproceedings] bibtex
    G. v. Bochmann, M. Hilscher, S. Linker, and E. Olderog, "Synthesizing Controllers for Multi-Lane Traffic Maneuvers" in Proc. International Symposium on Dependable Software Engineering (SETTA), 2015.
  • [inproceedings] bibtex
    S. Linker and M. Hilscher, "Proof theory of a multi-lane spatial logic" in Proc. Theoretical Aspects of Computing--ICTAC 2013, 2013.
  • [inproceedings] bibtex
    M. Hilscher, S. Linker, and E. -R. Olderog, "Proving Safety of Traffic Manoeuvres on Country Roads" in Proc. Theories of Programming and Formal Methods, 2013.
  • [inproceedings] bibtex | Go to document
    M. Hilscher, S. Linker, E. -R. Olderog, and A. P. Ravn, "An Abstract Model for Proving Safety of Multi-Lane Traffic Manoeuvres" in Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), 2011.
(Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page