Markus Müller-Olm Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lammich, Markus Müller-Olm, Alexander Wenner: Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. CAV 2009: 525-539
2008
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Upper Adjoints for Fast Inter-procedural Variable Equalities. ESOP 2008: 178-192
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220
2007
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lammich, Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Analysis of modular arithmetic. ACM Trans. Program. Lang. Syst. 29(5): (2007)
2006
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl, Bernhard Steffen: Interprocedural Herbrand Equalities. ESOP 2005: 31-45
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Analysis of Modular Arithmetic. ESOP 2005: 46-60
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: A Generic Framework for Interprocedural Analysis of Numerical Properties. SAS 2005: 235-250
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Oliver Rüthing, Helmut Seidl: Checking Herbrand Equalities and Beyond. VMCAI 2005: 79-96
2004
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: A Note on Karr's Algorithm. ICALP 2004: 1016-1028
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: A Generic Framework for Interprocedural Analyses of Numerical Properties. LPAR 2004: 432-432
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Precise interprocedural analysis through linear algebra. POPL 2004: 330-341
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Haiseung Yoo: MetaGame: An Animation Tool for Model-Checking Games. TACAS 2004: 163-167
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Computing polynomial program invariants. Inf. Process. Lett. 91(5): 233-244 (2004)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: Precise interprocedural dependence analysis of parallel programs. Theor. Comput. Sci. 311(1-3): 325-388 (2004)
2003
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Markus Müller-Olm: Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR 2003: 59-74
2002
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Polynomial Constants Are Decidable. SAS 2002: 4-19
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: Precise Interprocedural Dependence Analysis of Parallel Programs Universität Trier, Mathematik/Informatik, Forschungsbericht 02-08: (2002)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: Polynomial Constants are Decidable Universität Trier, Mathematik/Informatik, Forschungsbericht 02-09: (2002)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Seidl, Varmo Vene, Markus Müller-Olm: Interprocedural Invariants Universität Trier, Mathematik/Informatik, Forschungsbericht 02-10: (2002)
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Oliver Rüthing: On the Complexity of Constant Propagation. ESOP 2001: 190-205
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: The Complexity of Copy Constant Detection in Parallel Programs. STACS 2001: 490-501
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Helmut Seidl: On optimal slicing of parallel programs. STOC 2001: 647-656
2000
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Andreas Wolf: On the Translation of Procedures to Finite Machines. ESOP 2000: 290-304
1999
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Fränzle, Markus Müller-Olm: Compilation and Synthesis for Real-Time Embedded Controllers. Correct System Design 1999: 256-287
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Bernhard Steffen, Rance Cleaveland: On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, David A. Schmidt, Bernhard Steffen: Model-Checking: A Tutorial Introduction. SAS 1999: 330-354
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: A Modal Fixpoint Logic with Chop. STACS 1999: 510-520
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm, Andreas Wolf: On Excusable and Inexcusable Failures. World Congress on Formal Methods 1999: 1107-1127
1998
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: Derivation of Characteristic Formulae. Electr. Notes Theor. Comput. Sci. 18: (1998)
1997
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Müller-Olm: Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Springer 1997
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Fränzle, Markus Müller-Olm: Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. CC 1994: 294-308
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJifeng 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBettina 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

Coauthor Index

1Parosh Aziz Abdulla [31] [32] [34]
2Rudolf Berghammer [19]
3Ahmed Bouajjani [30] [31] [32] [34]
4Bettina Buth [1]
5Karl-Heinz Buth [1]
6Rance Cleaveland [9]
7Martin Fränzle [1] [2] [3] [10]
8Michael R. Hansen [2]
9Jifeng He [2]
10C. A. R. Hoare (Tony Hoare) [2]
11Neil D. Jones [40]
12Burghard von Karger [1]
13Yassine Lakhnech [1]
14Peter Lammich [36] [37] [39]
15Hans Langmaack [1]
16Ernst-Rüdiger Olderog [2]
17Michael Petter [33]
18Anders P. Ravn [2]
19Hans Rischel [2]
20Oliver Rüthing [14] [26]
21Michael Schenke [2]
22David A. Schmidt [8]
23Helmut Seidl [12] [15] [16] [18] [21] [23] [24] [25] [26] [27] [28] [29] [33] [35] [38]
24Bernhard Steffen [8] [9] [29]
25Tayssir Touili [30]
26Varmo Vene [15]
27Alexander Wenner [39]
28Andreas Wolf [6] [11]
29Haiseung Yoo [22]

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)