Markus Müller-Olm

According to our database1, Markus Müller-Olm authored at least 48 papers between 1992 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
A Branching Time Variant of CaRet.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

2015
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013
Iterable Forward Reachability Analysis of Monitor-DPNs.
Proceedings of the Semantics, 2013

Contextual Locking for Dynamic Pushdown Networks.
Proceedings of the Static Analysis - 20th International Symposium, 2013

2011
Fast interprocedural linear two-variable equalities.
ACM Trans. Program. Lang. Syst., 2011

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

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.
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.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Upper Adjoints for Fast Inter-procedural Variable Equalities.
Proceedings of the Programming Languages and Systems, 2008

2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.
Archive of Formal Proofs, 2007

Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Interprocedurally Analyzing Polynomial Identities.
Proceedings of the STACS 2006, 2006

06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
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.
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
Lecture Notes in Computer Science 3800, Springer, ISBN: 978-3-540-45385-7, 2006

2005
Checking Herbrand Equalities and Beyond.
Proceedings of the Verification, 2005

A Generic Framework for Interprocedural Analysis of Numerical Properties.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Interprocedural Herbrand Equalities.
Proceedings of the Programming Languages and Systems, 2005

Analysis of Modular Arithmetic.
Proceedings of the Programming Languages and Systems, 2005

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Precise interprocedural dependence analysis of parallel programs.
Theor. Comput. Sci., 2004

Computing polynomial program invariants.
Inf. Process. Lett., 2004

MetaGame: An Animation Tool for Model-Checking Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Precise interprocedural analysis through linear algebra.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Generic Framework for Interprocedural Analyses of Numerical Properties.
Proceedings of the Logic for Programming, 2004

A Note on Karr's Algorithm.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
(Linear) Algebra for Program Analysis Dynamische Programmanalyse.
Softwaretechnik-Trends, 2003

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

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

Polynomial Constants are Decidable
Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

Precise Interprocedural Dependence Analysis of Parallel Programs
Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

Polynomial Constants Are Decidable.
Proceedings of the Static Analysis, 9th International Symposium, 2002

2001
On optimal slicing of parallel programs.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

The Complexity of Copy Constant Detection in Parallel Programs.
Proceedings of the STACS 2001, 2001

On the Complexity of Constant Propagation.
Proceedings of the Programming Languages and Systems, 2001

2000
On the Translation of Procedures to Finite Machines.
Proceedings of the Programming Languages and Systems, 2000

1999
A Modal Fixpoint Logic with Chop.
Proceedings of the STACS 99, 1999

Model-Checking: A Tutorial Introduction.
Proceedings of the Static Analysis, 6th International Symposium, 1999

On Excusable and Inexcusable Failures.
Proceedings of the FM'99 - Formal Methods, 1999

On the Evolution of Reactive Components: A Process-Algebraic Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Compilation and Synthesis for Real-Time Embedded Controllers.
Proceedings of the Correct System Design, 1999

1998
Derivation of Characteristic Formulae.
Electr. Notes Theor. Comput. Sci., 1998

1997
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Lecture Notes in Computer Science 1283, Springer, ISBN: 3-540-63406-1, 1997

1994
Provably Correct Systems.
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.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1992
Provably Correct Compiler Development and Implementation.
Proceedings of the Compiler Construction, 1992


  Loading...