| 2024 | VMCAI | A Navigation Logic for Recursive Programs with Dynamic Thread Creation. | Roman Lakenbrink, Markus Mller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld |
| 2021 | LATA | Temporal Logics with Language Parameters. | Jens Oliver Gutsfeld, Markus Mller-Olm, Christian Dielitz |
| 2020 | CONCUR | Propositional Dynamic Logic for Hyperproperties. | Jens Oliver Gutsfeld, Markus Mller-Olm, Christoph Ohrem |
| 2015 | LOPSTR | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. | Heiko Mantel, Markus Mller-Olm, Matthias Perner, Alexander Wenner |
| 2013 | SAS | Contextual Locking for Dynamic Pushdown Networks. | Peter Lammich, Markus Mller-Olm, Helmut Seidl, Alexander Wenner |
| 2011 | POPL | Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Mller-Olm |
| 2011 | VMCAI | Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. | Thomas Martin Gawlitza, Peter Lammich, Markus Mller-Olm, Helmut Seidl, Alexander Wenner |
| 2009 | CAV | Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. | Peter Lammich, Markus Mller-Olm, Alexander Wenner |
| 2008 | ESOP | Upper Adjoints for Fast Inter-procedural Variable Equalities. | Markus Mller-Olm, Helmut Seidl |
| 2008 | SAS | Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. | Peter Lammich, Markus Mller-Olm |
| 2007 | CONCUR | Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. | Peter Lammich, Markus Mller-Olm |
| 2006 | STACS | Interprocedurally Analyzing Polynomial Identities. | Markus Mller-Olm, Michael Petter, Helmut Seidl |
| 2005 | CONCUR | Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. | Ahmed Bouajjani, Markus Mller-Olm, Tayssir Touili |
| 2005 | ESOP | Analysis of Modular Arithmetic. | Markus Mller-Olm, Helmut Seidl |
| 2005 | ESOP | Interprocedural Herbrand Equalities. | Markus Mller-Olm, Helmut Seidl, Bernhard Steffen |
| 2005 | SAS | A Generic Framework for Interprocedural Analysis of Numerical Properties. | Markus Mller-Olm, Helmut Seidl |
| 2005 | VMCAI | Checking Herbrand Equalities and Beyond. | Markus Mller-Olm, Oliver Rthing, Helmut Seidl |
| 2004 | ICALP | A Note on Karr's Algorithm. | Markus Mller-Olm, Helmut Seidl |
| 2004 | LPAR | A Generic Framework for Interprocedural Analyses of Numerical Properties. | Markus Mller-Olm, Helmut Seidl |
| 2004 | POPL | Precise interprocedural analysis through linear algebra. | Markus Mller-Olm, Helmut Seidl |
| 2004 | TACAS | MetaGame: An Animation Tool for Model-Checking Games. | Markus Mller-Olm, Haiseung Yoo |
| 2003 | LOPSTR | Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. | Rudolf Berghammer, Markus Mller-Olm |
| 2002 | SAS | Polynomial Constants Are Decidable. | Markus Mller-Olm, Helmut Seidl |
| 2001 | ESOP | On the Complexity of Constant Propagation. | Markus Mller-Olm, Oliver Rthing |
| 2001 | STOC | On optimal slicing of parallel programs. | Markus Mller-Olm, Helmut Seidl |
| 2001 | STACS | The Complexity of Copy Constant Detection in Parallel Programs. | Markus Mller-Olm |
| 2000 | ESOP | On the Translation of Procedures to Finite Machines. | Markus Mller-Olm, Andreas Wolf |
| 1999 | FASE | On the Evolution of Reactive Components: A Process-Algebraic Approach. | Markus Mller-Olm, Bernhard Steffen, Rance Cleaveland |
| 1999 | FM | On Excusable and Inexcusable Failures. | Markus Mller-Olm, Andreas Wolf |
| 1999 | STACS | A Modal Fixpoint Logic with Chop. | Markus Mller-Olm |
| 1999 | SAS | Model-Checking: A Tutorial Introduction. | Markus Mller-Olm, David A. Schmidt, Bernhard Steffen |
| 1994 | CC | Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. | Martin Frnzle, Markus Mller-Olm |
| 1992 | CC | Provably Correct Compiler Development and Implementation. | Bettina Buth, Karl-Heinz Buth, Martin Frnzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Mller-Olm |