Organisation:

Zeige:

Publikationen

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 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
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, 187-199. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China Feng Xinyu, Müller-Olm Markus, Yang Zijiang (Hrsg.) (2018) . Fachbuch (Herausgegebenes Buch) \| Veröffentlicht
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, 153-170. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Software Security for Mobile Devices Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra (2015) In: 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA. Abstract in Online-Sammlung (Konferenz) \| Peer reviewed \| Veröffentlicht
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Müller-Olm Markus, Seidl Helmut (Hrsg.) (2014) . Fachbuch (Herausgegebenes Buch) \| Veröffentlicht
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, 384-403. Manhattan, Kansas, USA: . Forschungsartikel (Buchbeitrag) \| Peer reviewed \| Veröffentlicht
Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Sonstige wissenschaftliche Veröffentlichung \| Veröffentlicht