Markus Müller-Olm
Orcid: 0009-0001-2229-9651Affiliations:
- University of Münster, Institute of Computer Science
According to our database1,
Markus Müller-Olm
authored at least 51 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
2021
Proc. ACM Program. Lang., 2021
2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2013
Proceedings of the Semantics, 2013
Proceedings of the Static Analysis - 20th International Symposium, 2013
2011
ACM Trans. Program. Lang. Syst., 2011
Preface to a special section on verification, model checking, and abstract interpretation.
Int. J. Softw. Tools Technol. Transf., 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
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
Proceedings of the Programming Languages and Systems, 2008
2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.
Arch. Formal Proofs, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
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
Lecture Notes in Computer Science 3800, Springer, ISBN: 978-3-540-45385-7, 2006
2005
Proceedings of the Static Analysis, 12th International Symposium, 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
Proceedings of the Logic for Programming, 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
2003
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
2001
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001
Proceedings of the STACS 2001, 2001
Proceedings of the Programming Languages and Systems, 2001
2000
Proceedings of the Programming Languages and Systems, 2000
1999
Proceedings of the Static Analysis, 6th International Symposium, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Proceedings of the Correct System Design, 1999
1998
Proceedings of the MFCS '98 Workshop on Concurrency, 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
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
Proceedings of the Compiler Construction, 5th International Conference, 1994
1992
Proceedings of the Compiler Construction, 1992