Mathematik und Informatik

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

Termin der Sprechstunde: Siehe WWW-Homepage
Private Homepagehttp://cs.uni-muenster.de/sev/staff/mmo/
Research InterestsConcurrency Theory
Program Analysis
Software Verification
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
E-Mailmarkus dot mueller-olm at uni-muenster dot de
Phone+49 251 83-33765
FAX+49 251 83-32729
Room716
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
Deutschland
Diese Seite editieren