Termin der Sprechstunde: Siehe WWW-Homepage
| 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 |
| Current Projects | • Model 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 | 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 |