Markus Müller-Olm

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 12

Top Topics

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Deciding Asynchronous Hyperproperties for Recursive Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. VMCAI (2) (2024)
Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld
A Navigation Logic for Recursive Programs with Dynamic Thread Creation. CoRR (2023)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal logics with language parameters. Inf. Comput. 295 (Part B) (2023)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Deciding Asynchronous Hyperproperties for Recursive Programs. CoRR (2022)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. LATA (2021)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Automata and fixpoints for asynchronous hyperproperties. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Automata and Fixpoints for Asynchronous Hyperproperties. CoRR (2020)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Propositional Dynamic Logic for Hyperproperties. CONCUR (2020)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Temporal Logics with Language Parameters. CoRR (2019)
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Propositional Dynamic Logic for Hyperproperties. CoRR (2019)
Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff
A Branching Time Variant of CaRet. SPIN (2018)
Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. LOPSTR (2015)
Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich
Iterable Forward Reachability Analysis of Monitor-DPNs. Festschrift for Dave Schmidt (2013)
Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
Contextual Locking for Dynamic Pushdown Networks. SAS (2013)
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL (2011)
Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. VMCAI (2011)
Neil D. Jones, Markus Müller-Olm
Preface to a special section on verification, model checking, and abstract interpretation. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33 (6) (2011)
Peter Lammich, Markus Müller-Olm, Alexander Wenner
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. CAV (2009)
Markus Müller-Olm, Helmut Seidl
Upper Adjoints for Fast Inter-procedural Variable Equalities. ESOP (2008)
Peter Lammich, Markus Müller-Olm
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS (2008)
Peter Lammich, Markus Müller-Olm
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR (2007)
Peter Lammich, Markus Müller-Olm
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors. Arch. Formal Proofs 2007 (2007)
Markus Müller-Olm, Helmut Seidl
Analysis of modular arithmetic. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Markus Müller-Olm, Michael Petter, Helmut Seidl
Interprocedurally Analyzing Polynomial Identities. STACS (2006)
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Markus Müller-Olm, Helmut Seidl
Analysis of Modular Arithmetic. ESOP (2005)
Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR (2005)
Markus Müller-Olm, Oliver Rüthing, Helmut Seidl
Checking Herbrand Equalities and Beyond. VMCAI (2005)
Markus Müller-Olm, Helmut Seidl
A Generic Framework for Interprocedural Analysis of Numerical Properties. SAS (2005)
Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
Interprocedural Herbrand Equalities. ESOP (2005)
Markus Müller-Olm, Helmut Seidl
Precise interprocedural analysis through linear algebra. POPL (2004)
Markus Müller-Olm, Haiseung Yoo
MetaGame: An Animation Tool for Model-Checking Games. TACAS (2004)
Markus Müller-Olm, Helmut Seidl
A Generic Framework for Interprocedural Analyses of Numerical Properties. LPAR (2004)
Markus Müller-Olm, Helmut Seidl
A Note on Karr's Algorithm. ICALP (2004)
Markus Müller-Olm, Helmut Seidl
Computing polynomial program invariants. Inf. Process. Lett. 91 (5) (2004)
Markus Müller-Olm
Precise interprocedural dependence analysis of parallel programs. Theor. Comput. Sci. 311 (1-3) (2004)
Rudolf Berghammer, Markus Müller-Olm
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR (2003)
Markus Müller-Olm, Helmut Seidl
(Linear) Algebra for Program Analysis Dynamische Programmanalyse. Softwaretechnik-Trends 23 (2) (2003)
Markus Müller-Olm, Helmut Seidl
Polynomial Constants are Decidable Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)
Markus Müller-Olm, Helmut Seidl
Polynomial Constants Are Decidable. SAS (2002)
Helmut Seidl, Varmo Vene, Markus Müller-Olm
Interprocedural Invariants Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)
Markus Müller-Olm
Precise Interprocedural Dependence Analysis of Parallel Programs Universität Trier, Mathematik/Informatik, Forschungsbericht (2002)
Markus Müller-Olm
The Complexity of Copy Constant Detection in Parallel Programs. STACS (2001)
Markus Müller-Olm, Helmut Seidl
On optimal slicing of parallel programs. STOC (2001)
Markus Müller-Olm, Oliver Rüthing
On the Complexity of Constant Propagation. ESOP (2001)
Markus Müller-Olm, Andreas Wolf
On the Translation of Procedures to Finite Machines. ESOP (2000)
Markus Müller-Olm
A Modal Fixpoint Logic with Chop. STACS (1999)
Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
Model-Checking: A Tutorial Introduction. SAS (1999)
Martin Fränzle, Markus Müller-Olm
Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design (1999)
Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE (1999)
Markus Müller-Olm, Andreas Wolf
On Excusable and Inexcusable Failures. World Congress on Formal Methods (1999)
Markus Müller-Olm
Derivation of Characteristic Formulae. Electron. Notes Theor. Comput. Sci. 18 (1998)
Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Provably Correct Systems. FTRTFT (1994)
Martin Fränzle, Markus Müller-Olm
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. CC (1994)
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
Provably Correct Compiler Development and Implementation. CC (1992)