Person:

Zeige:

Publikationen

Automata and Fixpoints for Asynchronous Hyperproperties Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: Proc. ACM Program. Lang. (POPL), 5(POPL) Art der Publikation: Forschungsartikel (Zeitschrift)
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 (Hrsg.), Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Propositional Dynamic Logic for Hyperproperties Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph (2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China Feng Xinyu, Müller-Olm Markus, Yang Zijiang (Hrsg.) (2018) . Art der Publikation: Fachbuch (Herausgegebenes Buch)
A Branching Time Variant of CaRet 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.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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 (Hrsg.), Logic-Based Program Synthesis and Transformation.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Müller-Olm Markus, Seidl Helmut (Hrsg.) (2014) . Art der Publikation: Fachbuch (Herausgegebenes Buch)
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 (Hrsg.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. Manhattan, Kansas, USA: . Art der Publikation: Forschungsartikel (Buchbeitrag)
Contextual Locking for Dynamic Pushdown Networks Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2013) In: Francesco Logozzo, Manuel Fahndrich (Hrsg.), 20th Static Analysis Symposium.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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) Art der Publikation: Forschungsartikel (Zeitschrift)