Person:

Zeige:

Publications

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Type of Publication: Research article (journal)
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.. Type of Publication: Research article in edited proceedings (conference)
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.. Type of Publication: Research article in edited proceedings (conference)
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China Feng Xinyu, Müller-Olm Markus, Yang Zijiang (eds.) (2018) . Type of Publication: Book (edited collection)
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.. Type of Publication: Research article in edited proceedings (conference)
Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015) In: Falaschi Moreno (eds.), Logic-Based Program Synthesis and Transformation.. Type of Publication: Research article in edited proceedings (conference)
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Müller-Olm Markus, Seidl Helmut (eds.) (2014) . Type of Publication: Book (edited collection)
Iterable Forward Reachability Analysis of Monitor-DPNs Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter (2013) In: Banerjee A, Danvy O, Doh K, Hatcliff J (eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. Manhattan, Kansas, USA: . Type of Publication: Research article (book contribution)
Contextual Locking for Dynamic Pushdown Networks Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2013) In: Francesco Logozzo, Manuel Fahndrich (eds.), 20th Static Analysis Symposium.. Type of Publication: Research article in edited proceedings (conference)
Fast interprocedural linear two variable equalities Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut (2011) In: ACM Transactions on Programming Languages and Systems, 33(6) Type of Publication: Research article (journal)