Mathematik und Informatik

Prof. Dr. Markus Müller-Olm, Institut für Informatik

Termin der Sprechstunde: Siehe WWW-Homepage
Private Homepage
Research InterestsProgram Analysis
Software Verification
Concurrency Theory
Current PublicationsGutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph Automata and Fixpoints for Asynchronous Hyperproperties. Proc. ACM Program. Lang. (POPL) Vol. 5 (POPL), 2021, pp 1-29 online
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian Temporal Logics with Language Parameters. Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, ProceedingsLecture Notes in Computer Science, 2021, pp 187-199 online
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph Propositional Dynamic Logic for Hyperproperties. 31st International Conference on Concurrency TheoryLIPIcs, 2020 online
• Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China. Lecture Notes in Computer Science, 2018 online
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt A Branching Time Variant of CaRet. Model Checking Software - 25th International Symposium, SPIN 2018Lecture Notes in Computer Science, 2018, pp 153-170 online
Current ProjectsModel Checking of Navigation Logics Software is a crucial component of systems whose failure can cause severe consequences like massive financial damages or even threats to life or limb. Software dependability is therefore a core problem of computer science. Fully automatic verification methods, in particular so called model checking, decide algorithmically whether a program abstraction satisfies a formal specification given by a formula of temporal logic. The purpose of this project is the development and analysis of novel temporal logics which allow, in addition to the consideration of temporal, merely sequential succession of actions, for the consideration of characteristic aspects of the system behavior's description when formulating properties. In this context, the focus is on the navigation over complex control structures, in particular those that describe recursion and multithreading. online
E-Mailmarkus dot mueller-olm at uni-muenster dot de
Phone+49 251 83-33765
FAX+49 251 83-32729
Secretary   Sekretariat Claudia Giesbert
Frau Claudia Giesbert
Telefon +49 251 83-33792
Fax +49 251 83-32729
Zimmer 120.002
AddressProf. Dr. Markus Müller-Olm
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Diese Seite editieren