Person: Markus Müller-Olm

DBLP: M=uuml=ller-Olm:Markus

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2013

2011

2011

2009

2008

2008

2005

2005

2005

2004

2004

2004

2003

2002

2001

2001

2000

1999

1999

1999

1994

1992

Wrote 23 papers:

SAS-2013-LammichMSW #automaton #network

Contextual Locking for Dynamic Pushdown Networks (PL, MMO, HS, AW), pp. 477–498.

POPL-2011-SchwarzSVLM #protocol #source code #static analysis

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.

VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #reachability #source code

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.

CAV-2009-LammichMW #automaton #constraints #network #set

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (PL, MMO, AW), pp. 525–539.

ESOP-2008-Muller-OlmS #interprocedural #performance

Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.

SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.

ESOP-2005-Muller-OlmS #analysis #composition

Analysis of Modular Arithmetic (MMO, HS), pp. 46–60.

ESOP-2005-Muller-OlmSS #interprocedural

Interprocedural Herbrand Equalities (MMO, HS, BS), pp. 31–45.

SAS-2005-Muller-OlmS #analysis #framework #interprocedural

A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.

VMCAI-2005-Muller-OlmRS

Checking Herbrand Equalities and Beyond (MMO, OR, HS), pp. 79–96.

ICALP-2004-Muller-OlmS #algorithm

A Note on Karr’s Algorithm (MMO, HS), pp. 1016–1028.

POPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear #precise

Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.

TACAS-2004-Muller-OlmY #animation #game studies #model checking #named

MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.

LOPSTR-2003-BerghammerM #algorithm #approximate #development #using #verification

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (RB, MMO), pp. 59–74.

SAS-2002-Muller-OlmS #decidability #polynomial

Polynomial Constants Are Decidable (MMO, HS), pp. 4–19.

ESOP-2001-Muller-OlmR #complexity #constant #on the

On the Complexity of Constant Propagation (MMO, OR), pp. 190–205.

STOC-2001-Muller-OlmS #on the #parallel #slicing #source code

On optimal slicing of parallel programs (MMO, HS), pp. 647–656.

ESOP-2000-Muller-OlmW #finite #on the

On the Translation of Procedures to Finite Machines (MMO, AW), pp. 290–304.

FASE-1999-Muller-OlmSC #algebra #approach #component #evolution #on the

On the Evolution of Reactive Components: A Process-Algebraic Approach (MMO, BS, RC), pp. 161–175.

FM-v2-1999-Muller-OlmW #on the

On Excusable and Inexcusable Failures (MMO, AW), pp. 1107–1127.

SAS-1999-Muller-OlmSS #model checking #named #tutorial

Model-Checking: A Tutorial Introduction (MMO, DAS, BS), pp. 330–354.

CC-1994-FranzleM #code generation #programming language #realtime #towards

Towards Provably Correct Code Generation for a Hard Real-Time Programming Language (MF, MMO), pp. 294–308.

CC-1992-ButhBFKLLM #compilation #development #implementation

Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.