Markus Müller-Olm

Available identifiers

zbMath Open muller-olm.markusMaRDI QIDQ396974

List of research outcomes

Publication	Date of Publication	Type
Temporal logics with language parameters	2024-02-02	Paper
A Branching Time Variant of CaRet	2023-03-21	Paper
Propositional Dynamic Logic for Hyperproperties	2022-07-18	Paper
Temporal logics with language parameters	2021-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994705	2021-06-21	Paper
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis	2016-02-05	Paper
Precise interprocedural analysis through linear algebra	2015-11-11	Paper
On optimal slicing of parallel programs	2015-02-27	Paper
Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction	2014-08-14	Paper
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol	2014-04-10	Paper
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation	2011-02-15	Paper
Computing polynomial program invariants	2009-07-21	Paper
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints	2009-06-30	Paper
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures	2008-09-18	Paper
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors	2008-08-28	Paper
Upper Adjoints for Fast Inter-procedural Variable Equalities	2008-04-11	Paper
Interprocedurally Analyzing Polynomial Identities	2008-03-19	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Static Analysis	2006-10-31	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Programming Languages and Systems	2005-09-13	Paper
Programming Languages and Systems	2005-09-13	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4828479	2004-11-19	Paper
Precise interprocedural dependence analysis of parallel programs	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411947	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2763673	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2762527	2002-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4493896	2001-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4518887	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4251067	1999-11-15	Paper

Research outcomes over time

This page was built for person: Markus Müller-Olm