Markus Müller-Olm

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