dblp.uni-trier.dewww.uni-trier.de

Markus Müller-Olm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
39EENeil 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
2008
38EEMarkus Müller-Olm, Helmut Seidl: Upper Adjoints for Fast Inter-procedural Variable Equalities. ESOP 2008: 178-192
37EEPeter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220
2007
36EEPeter Lammich, Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302
35EEMarkus 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
33EEMarkus Müller-Olm, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67
32EEParosh 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
31EEParosh 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
30EEAhmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487
29EEMarkus Müller-Olm, Helmut Seidl, Bernhard Steffen: Interprocedural Herbrand Equalities. ESOP 2005: 31-45
28EEMarkus Müller-Olm, Helmut Seidl: Analysis of Modular Arithmetic. ESOP 2005: 46-60
27EEMarkus Müller-Olm, Helmut Seidl: A Generic Framework for Interprocedural Analysis of Numerical Properties. SAS 2005: 235-250
26EEMarkus Müller-Olm, Oliver Rüthing, Helmut Seidl: Checking Herbrand Equalities and Beyond. VMCAI 2005: 79-96
2004
25EEMarkus Müller-Olm, Helmut Seidl: A Note on Karr's Algorithm. ICALP 2004: 1016-1028
24EEMarkus Müller-Olm, Helmut Seidl: A Generic Framework for Interprocedural Analyses of Numerical Properties. LPAR 2004: 432-432
23EEMarkus Müller-Olm, Helmut Seidl: Precise interprocedural analysis through linear algebra. POPL 2004: 330-341
22EEMarkus Müller-Olm, Haiseung Yoo: MetaGame: An Animation Tool for Model-Checking Games. TACAS 2004: 163-167
21EEMarkus Müller-Olm, Helmut Seidl: Computing polynomial program invariants. Inf. Process. Lett. 91(5): 233-244 (2004)
20EEMarkus Müller-Olm: Precise interprocedural dependence analysis of parallel programs. Theor. Comput. Sci. 311(1-3): 325-388 (2004)
2003
19EERudolf Berghammer, Markus Müller-Olm: Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. LOPSTR 2003: 59-74
2002
18EEMarkus 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
14EEMarkus Müller-Olm, Oliver Rüthing: On the Complexity of Constant Propagation. ESOP 2001: 190-205
13EEMarkus Müller-Olm: The Complexity of Copy Constant Detection in Parallel Programs. STACS 2001: 490-501
12EEMarkus Müller-Olm, Helmut Seidl: On optimal slicing of parallel programs. STOC 2001: 647-656
2000
11EEMarkus Müller-Olm, Andreas Wolf: On the Translation of Procedures to Finite Machines. ESOP 2000: 290-304
1999
10EEMartin 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
8EEMarkus Müller-Olm, David A. Schmidt, Bernhard Steffen: Model-Checking: A Tutorial Introduction. SAS 1999: 330-354
7EEMarkus Müller-Olm: A Modal Fixpoint Logic with Chop. STACS 1999: 510-520
6EEMarkus Müller-Olm, Andreas Wolf: On Excusable and Inexcusable Failures. World Congress on Formal Methods 1999: 1107-1127
1998
5EEMarkus 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

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 [39]
12Burghard von Karger [1]
13Yassine Lakhnech [1]
14Peter Lammich [36] [37]
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]
27Andreas Wolf [6] [11]
28Haiseung Yoo [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)