University of Münster
CRIS@UM
DE | EN

Professorship for practical computer science (Prof. Müller-Olm)

Status: Organisation is active
Address: 
Einsteinstr. 62
48149 Münster
Germany

Publications

Automata and Fixpoints for Asynchronous Hyperproperties
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021)
In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319
Research article (journal) | Peer reviewed | Published
Temporal Logics with Language Parameters
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021)
In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (eds.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 187-199. Springer. doi:10.1007/978-3-030-68195-1\_14
Research article in edited proceedings (conference) | Peer reviewed | Published
Propositional Dynamic Logic for Hyperproperties
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph  (2020)
In: Konnov Igor, Kovács Laura (eds.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2020.50
Research article in edited proceedings (conference) | Peer reviewed | Published
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (eds.) (2018)
Springer VDI Verlag. doi:10.1007/978-3-319-99933-3
Book (edited collection) | Published
A Branching Time Variant of CaRet
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018)
In: Gallardo María-del-Mar, Merino Pedro (eds.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9
Research article in edited proceedings (conference) | Peer reviewed | Published
Show all publications (57)

Projects

Model Checking of Navigation Logics (MoNaLog)
Duration: 01/06/2020 - 31/05/2023 | 1st Funding period
Funded by: DFG - Individual Grants Programme
Type of project: Individual project
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components)
Duration: 01/10/2014 - 30/06/2018 | 3rd Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster
Optimal Interprocedural Analysis of Programs with Thread Creation (2nd funding period) (OpIAT)
Duration: 01/12/2012 - 31/12/2015 | 2nd Funding period
Funded by: DFG - Individual Grants Programme
Type of project: Individual project
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components)
Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components)
Duration: 01/10/2010 - 30/09/2013 | 1st Funding period
Funded by: DFG - Priority Programme
Type of project: Subproject in DFG-joint project hosted outside University of Münster
Show all projects (7)

Promotionen

Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks
Candidate: Kenter, Sebastian | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Remke, Anne
Period of time: 02/04/2012 - 11/07/2022
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior
Candidate: Nordhoff, Benedikt | Supervisors: Müller-Olm, Markus | Reviewers: Müller-Olm, Markus; Seidl, Helmut
Period of time: 03/10/2011 - 21/01/2022
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Thalamic neurons in silico
Candidate: Meuth, Patrick | Supervisors: Budde, Thomas; Burger, Martin; Müller-Olm, Markus
Period of time: until 29/06/2011
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Lock-Sensitive Analysis of Parallel Programs
Candidate: Lammich, Peter | Supervisors: Müller-Olm, Markus
Period of time: until 28/06/2011
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster

Parent organisational units