Items where Author is "Olderog, Ernst-Rüdiger"

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.

Faber, Johannes and Linker, Sven and Quesel, Jan-David and Olderog, Ernst-Rüdiger (2011) Syspect : Modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5 (1-2). pp. 117-137. ISSN 1673-7288

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

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

Thesis

Linker, Sven and Olderog, Ernst-Rüdiger (2015) Proofs for Traffic Safety : Combining Diagrams and Logic. PhD thesis, Carl von Ossietzky University of Oldenburg.