| An abstract model for proving safety of multi-lane traffic manoeuvres M Hilscher, S Linker, ER Olderog, AP Ravn International Conference on Formal Engineering Methods, 404-419, 2011 | 92 | 2011 |
| Proving safety of traffic manoeuvres on country roads M Hilscher, S Linker, ER Olderog Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013 | 59 | 2013 |
| Proof Theory of a Multi-Lane Spatial Logic S Linker, M Hilscher Logical Methods in Computer Science 11 (3), 2015 | 42 | 2015 |
| An abstract model for proving safety of autonomous urban traffic M Hilscher, M Schwammberger International Colloquium on Theoretical Aspects of Computing, 274-292, 2016 | 31 | 2016 |
| Synthesizing and verifying controllers for multi-lane traffic maneuvers GV Bochmann, M Hilscher, S Linker, ER Olderog Formal Aspects of Computing 29, 583-600, 2017 | 15 | 2017 |
| Theories of Programming and Formal Methods M Hilscher, S Linker, ER Olderog Springer, 2013 | 7 | 2013 |
| Synthesizing controllers for multi-lane traffic maneuvers G Bochmann, M Hilscher, S Linker, ER Olderog International Symposium on Dependable Software Engineering: Theories, Tools …, 2015 | 5 | 2015 |
| Projektgruppe P-UMLaut C Eichner, E Frost, M Hilscher, A Kaiser, R Meyer, M Ross, C Schnars, ... Endbericht, Universität Oldenburg, 2005 | 1 | 2005 |
| Provably Correct Systems B Finkbeiner, ER Olderog, G Bochmann, M Hilscher, S Linker, ... Information and Computation 29 (Part 2), 583-600, 2017 | | 2017 |
| of SFB/TR 14 AVACS G Bochmann, M Hilscher, S Linker, ER Olderog | | 2015 |
| of SFB/TR 14 AVACS S Linker, M Hilscher | | 2014 |
| Proof theory of a multi-lane spatial logic S Linker, M Hilscher Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013 | | 2013 |
| of SFB/TR 14 AVACS M Hilscher, S Linker, ER Olderog, AP Ravn | | 2011 |
| ABuS–Entwicklung eines automatischen Blokus-Spielers K Heidmann, E Best, M Hilscher | | 2009 |
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
