Markus Müller-Olm

According to our database, Markus Müller-Olm authored at least 51 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2024

Deciding Asynchronous Hyperproperties for Recursive Programs.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., January, 2024

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2021

Automata and fixpoints for asynchronous hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proc. ACM Program. Lang., 2021

Temporal Logics with Language Parameters.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz

Proceedings of the Language and Automata Theory and Applications, 2021

2020

Propositional Dynamic Logic for Hyperproperties.

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018

A Branching Time Variant of CaRet.

Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2015

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013

Iterable Forward Reachability Analysis of Monitor-DPNs.

Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich

Proceedings of the Semantics, 2013

Contextual Locking for Dynamic Pushdown Networks.

Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner

Proceedings of the Static Analysis - 20th International Symposium, 2013

2011

Fast interprocedural linear two-variable equalities.

Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl

ACM Trans. Program. Lang. Syst., 2011

Preface to a special section on verification, model checking, and abstract interpretation.

Neil D. Jones, Markus Müller-Olm

Int. J. Softw. Tools Technol. Transf., 2011

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.

Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2009

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.

Peter Lammich, Markus Müller-Olm, Alexander Wenner

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.

Peter Lammich, Markus Müller-Olm

Proceedings of the Static Analysis, 15th International Symposium, 2008

Upper Adjoints for Fast Inter-procedural Variable Equalities.

Markus Müller-Olm, Helmut Seidl

Proceedings of the Programming Languages and Systems, 2008

2007

Analysis of modular arithmetic.

Markus Müller-Olm, Helmut Seidl

ACM Trans. Program. Lang. Syst., 2007

Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.

Peter Lammich, Markus Müller-Olm

Arch. Formal Proofs, 2007

Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.

Peter Lammich, Markus Müller-Olm

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Interprocedurally Analyzing Polynomial Identities.

Markus Müller-Olm, Michael Petter, Helmut Seidl

Proceedings of the STACS 2006, 2006

06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Variations on Constants - Flow Analysis of Sequential and Parallel Programs

Markus Müller-Olm

Lecture Notes in Computer Science 3800, Springer, ISBN: 978-3-540-45385-7, 2006

2005

Checking Herbrand Equalities and Beyond.

Markus Müller-Olm, Oliver Rüthing, Helmut Seidl

Proceedings of the Verification, 2005

A Generic Framework for Interprocedural Analysis of Numerical Properties.

Markus Müller-Olm, Helmut Seidl

Proceedings of the Static Analysis, 12th International Symposium, 2005

Interprocedural Herbrand Equalities.

Markus Müller-Olm, Helmut Seidl, Bernhard Steffen

Proceedings of the Programming Languages and Systems, 2005

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Computing polynomial program invariants.

Markus Müller-Olm, Helmut Seidl

Inf. Process. Lett., 2004

MetaGame: An Animation Tool for Model-Checking Games.

Markus Müller-Olm, Haiseung Yoo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Precise interprocedural analysis through linear algebra.

Markus Müller-Olm, Helmut Seidl

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Generic Framework for Interprocedural Analyses of Numerical Properties.

Markus Müller-Olm, Helmut Seidl

Proceedings of the Logic for Programming, 2004

A Note on Karr's Algorithm.

Markus Müller-Olm, Helmut Seidl

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

(Linear) Algebra for Program Analysis Dynamische Programmanalyse.

Markus Müller-Olm, Helmut Seidl

Softwaretechnik-Trends, 2003

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.

Rudolf Berghammer, Markus Müller-Olm

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Interprocedural Invariants

Helmut Seidl, Varmo Vene, Markus Müller-Olm

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

Polynomial Constants are Decidable

Markus Müller-Olm, Helmut Seidl

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

Precise Interprocedural Dependence Analysis of Parallel Programs

Markus Müller-Olm

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

2001

On optimal slicing of parallel programs.

Markus Müller-Olm, Helmut Seidl

Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

The Complexity of Copy Constant Detection in Parallel Programs.

Markus Müller-Olm

Proceedings of the STACS 2001, 2001

On the Complexity of Constant Propagation.

Markus Müller-Olm, Oliver Rüthing

Proceedings of the Programming Languages and Systems, 2001

2000

On the Translation of Procedures to Finite Machines.

Markus Müller-Olm, Andreas Wolf

Proceedings of the Programming Languages and Systems, 2000

1999

A Modal Fixpoint Logic with Chop.

Markus Müller-Olm

Proceedings of the STACS 99, 1999

Model-Checking: A Tutorial Introduction.

Markus Müller-Olm, David A. Schmidt, Bernhard Steffen

Proceedings of the Static Analysis, 6th International Symposium, 1999

On Excusable and Inexcusable Failures.

Markus Müller-Olm, Andreas Wolf

Proceedings of the FM'99 - Formal Methods, 1999

On the Evolution of Reactive Components: A Process-Algebraic Approach.

Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland

Proceedings of the Fundamental Approaches to Software Engineering, 1999

Compilation and Synthesis for Real-Time Embedded Controllers.

Martin Fränzle, Markus Müller-Olm

Proceedings of the Correct System Design, 1999

1998

Derivation of Characteristic Formulae.

Markus Müller-Olm

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olm

Lecture Notes in Computer Science 1283, Springer, ISBN: 3-540-63406-1, 1997

1994

Provably Correct Systems.

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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.

Martin Fränzle, Markus Müller-Olm

Proceedings of the Compiler Construction, 5th International Conference, 1994

1992

Provably Correct Compiler Development and Implementation.

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm

Proceedings of the Compiler Construction, 1992