Professur für Praktische Informatik (Prof. Müller-Olm)
Status: Organisation ist aktiv
| Anschrift: | Einsteinstr. 62 48149 Münster Deutschland |
Publikationen
Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian (2021) In: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio (Hrsg.), 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 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2020.50 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Feng Xinyu, Müller-Olm Markus, Yang Zijiang (Hrsg.) (2018) Springer VDI Verlag. doi:10.1007/978-3-319-99933-3 Fachbuch (Herausgegebenes Buch) | Veröffentlicht | |
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
Projekte
Model-Checking von Navigationslogiken (MoNaLog) Laufzeit: 01.06.2020 - 31.05.2023 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2014 - 30.06.2018 | 3. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
Laufzeit: 01.12.2012 - 31.12.2015 | 2. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2012 - 30.09.2015 | 2. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |
Promotionen
| Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovend*in: Kenter, Sebastian | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Promovend*in: Nordhoff, Benedikt | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Seidl, Helmut Zeitraum: 03.10.2011 - 21.01.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Thalamische Neurone in silico Promovend*in: Meuth, Patrick | Betreuer*innen: Budde, Thomas; Burger, Martin; Müller-Olm, Markus Zeitraum: bis 29.06.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster | |
| Locksensitive Analyse paralleler Programme Promovend*in: Lammich, Peter | Betreuer*innen: Müller-Olm, Markus Zeitraum: bis 28.06.2011 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |