Markus Müller-Olm

Precise interprocedural analysis through linear algebra

Markus Müller-Olm, Helmut Seidl · 2004 · 180 citations

Computing, Computer Science, Algorithms +14

Model-Checking: A Tutorial Introduction

Markus Müller-Olm, David A. Schmidt, Bernhard Steffen · 1999 · 139 citations

Computing, Computer Engineering, Computer Science +12

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili · Lecture notes in computer science · 2005 · 115 citations

Computing, Computer Science, Computer Systems +17

Computing polynomial program invariants

Markus Müller-Olm, Helmut Seidl · Information Processing Letters · 2004 · 112 citations

Computing, Computer Engineering, Computer Science +10

Analysis of modular arithmetic

Markus Müller-Olm, Helmut Seidl · ACM Transactions on Programming Languages and Systems · 2007 · 72 citations · Full text

Computing, Computer Science, Algorithms +10