The following pages link to Markus Müller-Olm (Q396974):
Displayed 33 items.
- Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction (Q396975) (← links)
- Precise interprocedural dependence analysis of parallel programs (Q1884938) (← links)
- Temporal logics with language parameters (Q2232279) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- (Q2762527) (← links)
- (Q2763673) (← links)
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (Q3075482) (← links)
- Precise interprocedural analysis through linear algebra (Q3452271) (← links)
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (Q3522072) (← links)
- Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures (Q3525644) (← links)
- Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (Q3636879) (← links)
- (Q4251067) (← links)
- (Q4411947) (← links)
- (Q4493896) (← links)
- (Q4518887) (← links)
- (Q4828479) (← links)
- (Q4994705) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- On optimal slicing of parallel programs (Q5176023) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308404) (← links)
- Programming Languages and Systems (Q5316582) (← links)
- Programming Languages and Systems (Q5316583) (← links)
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (Q5408535) (← links)
- Interprocedurally Analyzing Polynomial Identities (Q5449786) (← links)
- Upper Adjoints for Fast Inter-procedural Variable Equalities (Q5458395) (← links)
- Automata, Languages and Programming (Q5466534) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711512) (← links)
- Logic Based Program Synthesis and Transformation (Q5713947) (← links)
- Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (Q5743593) (← links)
- A Branching Time Variant of CaRet (Q5883579) (← links)
- Static Analysis (Q5897435) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897502) (← links)
- Temporal logics with language parameters (Q6186316) (← links)