 | 2009 |
|---|
| 40 |       | Neil D. Jones,
Markus Müller-Olm:
Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Springer 2009 |
| 39 | | Peter Lammich,
Markus Müller-Olm,
Alexander Wenner:
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.
CAV 2009: 525-539 |
| 2008 |
|---|
| 38 | | Markus Müller-Olm,
Helmut Seidl:
Upper Adjoints for Fast Inter-procedural Variable Equalities.
ESOP 2008: 178-192 |
| 37 | | Peter Lammich,
Markus Müller-Olm:
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.
SAS 2008: 205-220 |
| 2007 |
|---|
| 36 | | Peter Lammich,
Markus Müller-Olm:
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.
CONCUR 2007: 287-302 |
| 35 | | Markus Müller-Olm,
Helmut Seidl:
Analysis of modular arithmetic.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
| 2006 |
|---|
| 34 |  | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Markus Müller-Olm:
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 33 | | Markus Müller-Olm,
Michael Petter,
Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities.
STACS 2006: 50-67 |
| 32 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Markus Müller-Olm:
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 31 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Markus Müller-Olm:
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 2005 |
|---|
| 30 | | Ahmed Bouajjani,
Markus Müller-Olm,
Tayssir Touili:
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.
CONCUR 2005: 473-487 |
| 29 | | Markus Müller-Olm,
Helmut Seidl,
Bernhard Steffen:
Interprocedural Herbrand Equalities.
ESOP 2005: 31-45 |
| 28 | | Markus Müller-Olm,
Helmut Seidl:
Analysis of Modular Arithmetic.
ESOP 2005: 46-60 |
| 27 | | Markus Müller-Olm,
Helmut Seidl:
A Generic Framework for Interprocedural Analysis of Numerical Properties.
SAS 2005: 235-250 |
| 26 | | Markus Müller-Olm,
Oliver Rüthing,
Helmut Seidl:
Checking Herbrand Equalities and Beyond.
VMCAI 2005: 79-96 |
| 2004 |
|---|
| 25 | | Markus Müller-Olm,
Helmut Seidl:
A Note on Karr's Algorithm.
ICALP 2004: 1016-1028 |
| 24 | | Markus Müller-Olm,
Helmut Seidl:
A Generic Framework for Interprocedural Analyses of Numerical Properties.
LPAR 2004: 432-432 |
| 23 | | Markus Müller-Olm,
Helmut Seidl:
Precise interprocedural analysis through linear algebra.
POPL 2004: 330-341 |
| 22 | | Markus Müller-Olm,
Haiseung Yoo:
MetaGame: An Animation Tool for Model-Checking Games.
TACAS 2004: 163-167 |
| 21 | | Markus Müller-Olm,
Helmut Seidl:
Computing polynomial program invariants.
Inf. Process. Lett. 91(5): 233-244 (2004) |
| 20 | | Markus Müller-Olm:
Precise interprocedural dependence analysis of parallel programs.
Theor. Comput. Sci. 311(1-3): 325-388 (2004) |
| 2003 |
|---|
| 19 | | Rudolf Berghammer,
Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.
LOPSTR 2003: 59-74 |
| 2002 |
|---|
| 18 | | Markus Müller-Olm,
Helmut Seidl:
Polynomial Constants Are Decidable.
SAS 2002: 4-19 |
| 17 | | Markus Müller-Olm:
Precise Interprocedural Dependence Analysis of Parallel Programs
Universität Trier, Mathematik/Informatik, Forschungsbericht 02-08: (2002) |
| 16 | | Markus Müller-Olm,
Helmut Seidl:
Polynomial Constants are Decidable
Universität Trier, Mathematik/Informatik, Forschungsbericht 02-09: (2002) |
| 15 | | Helmut Seidl,
Varmo Vene,
Markus Müller-Olm:
Interprocedural Invariants
Universität Trier, Mathematik/Informatik, Forschungsbericht 02-10: (2002) |
| 2001 |
|---|
| 14 | | Markus Müller-Olm,
Oliver Rüthing:
On the Complexity of Constant Propagation.
ESOP 2001: 190-205 |
| 13 | | Markus Müller-Olm:
The Complexity of Copy Constant Detection in Parallel Programs.
STACS 2001: 490-501 |
| 12 | | Markus Müller-Olm,
Helmut Seidl:
On optimal slicing of parallel programs.
STOC 2001: 647-656 |
| 2000 |
|---|
| 11 | | Markus Müller-Olm,
Andreas Wolf:
On the Translation of Procedures to Finite Machines.
ESOP 2000: 290-304 |
| 1999 |
|---|
| 10 | | Martin Fränzle,
Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers.
Correct System Design 1999: 256-287 |
| 9 | | Markus Müller-Olm,
Bernhard Steffen,
Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach.
FASE 1999: 161-175 |
| 8 | | Markus Müller-Olm,
David A. Schmidt,
Bernhard Steffen:
Model-Checking: A Tutorial Introduction.
SAS 1999: 330-354 |
| 7 | | Markus Müller-Olm:
A Modal Fixpoint Logic with Chop.
STACS 1999: 510-520 |
| 6 | | Markus Müller-Olm,
Andreas Wolf:
On Excusable and Inexcusable Failures.
World Congress on Formal Methods 1999: 1107-1127 |
| 1998 |
|---|
| 5 | | Markus Müller-Olm:
Derivation of Characteristic Formulae.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1997 |
|---|
| 4 | | Markus Müller-Olm:
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Springer 1997 |
| 1994 |
|---|
| 3 | | Martin Fränzle,
Markus Müller-Olm:
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.
CC 1994: 294-308 |
| 2 | | Jifeng He,
C. A. R. Hoare,
Martin Fränzle,
Markus Müller-Olm,
Ernst-Rüdiger Olderog,
Michael Schenke,
Michael R. Hansen,
Anders P. Ravn,
Hans Rischel:
Provably Correct Systems.
FTRTFT 1994: 288-335 |
| 1992 |
|---|
| 1 | | Bettina Buth,
Karl-Heinz Buth,
Martin Fränzle,
Burghard von Karger,
Yassine Lakhnech,
Hans Langmaack,
Markus Müller-Olm:
Provably Correct Compiler Development and Implementation.
CC 1992: 141-155 |
