Items where Author is "Hilscher, Martin"

Journal Article

Bochmann, Gregor V. and Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2017) Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects of Computing, 29. 583–600.

Linker, Sven and Hilscher, Martin (2015) Proof Theory of a Multi-Lane Spatial Logic. Logical Methods in Computer Science, 11 (3): 4.

Contribution in Book/Report/Proceedings

Bochmann, Gregor V. and Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2015) Synthesizing Controllers for Multi-lane Traffic Maneuvers. In: Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 71-86. ISBN 9783319259413

Linker, Sven and Hilscher, Martin (2013) Proof Theory of a Multi-Lane Spatial Logic. In: Theoretical Aspects of Computing – ICTAC 2013 : Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Lecture Notes in Computer Science . Springer, Berlin, pp. 231-248. ISBN 9783642397172

Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger (2013) Proving safety of traffic manoeuvres on country roads. In: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science . Springer, Berlin, pp. 196-212. ISBN 9783642396977

Hilscher, Martin and Linker, Sven and Olderog, Ernst-Rüdiger and Ravn, Anders P. (2011) An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. In: Formal Methods and Software Engineering : Proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011. Lecture Notes in Computer Science . Springer, Berlin, pp. 404-419. ISBN 9783642245589