| Private Homepage | http://cs.uni-muenster.de/sev/staff/mmo/ |
| Research Interests | Program Analysis Software Verification Concurrency Theory |
| Current Publications | • Gutsfeld 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 | markus dot mueller-olm at uni-muenster dot de |
| Phone | +49 251 83-33765 |
| FAX | +49 251 83-32729 |
| Room | 716 |
| Secretary | Sekretariat Claudia Giesbert Frau Claudia Giesbert Telefon +49 251 83-33792 Fax +49 251 83-32729 Zimmer 120.002 |
| Address | Prof. 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 |