Search the dblp DataBase
Markus Müller-Olm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Martin Fränzle, Markus Müller-Olm
Compilation and Synthesis for Real-Time Embedded Controllers. [Citation Graph (0, 0)][DBLP]
Correct System Design, 1999, pp:256-287 [Conf] - Martin Fränzle, Markus Müller-Olm
Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. [Citation Graph (0, 0)][DBLP]
CC, 1994, pp:294-308 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
CC, 1992, pp:141-155 [Conf] - Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. [Citation Graph (0, 0)][DBLP]
CONCUR, 2005, pp:473-487 [Conf] - Markus Müller-Olm, Oliver Rüthing
On the Complexity of Constant Propagation. [Citation Graph (0, 0)][DBLP]
ESOP, 2001, pp:190-205 [Conf] - Markus Müller-Olm, Helmut Seidl
Analysis of Modular Arithmetic. [Citation Graph (0, 0)][DBLP]
ESOP, 2005, pp:46-60 [Conf] - Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
Interprocedural Herbrand Equalities. [Citation Graph (0, 0)][DBLP]
ESOP, 2005, pp:31-45 [Conf] - Markus Müller-Olm, Andreas Wolf
On the Translation of Procedures to Finite Machines. [Citation Graph (0, 0)][DBLP]
ESOP, 2000, pp:290-304 [Conf] - Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
On the Evolution of Reactive Components: A Process-Algebraic Approach. [Citation Graph (0, 0)][DBLP]
FASE, 1999, pp:161-175 [Conf] - Markus Müller-Olm, Andreas Wolf
On Excusable and Inexcusable Failures. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:1107-1127 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1994, pp:288-335 [Conf] - Markus Müller-Olm, Helmut Seidl
A Note on Karr's Algorithm. [Citation Graph (0, 0)][DBLP]
ICALP, 2004, pp:1016-1028 [Conf] - Rudolf Berghammer, Markus Müller-Olm
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. [Citation Graph (0, 0)][DBLP]
LOPSTR, 2003, pp:59-74 [Conf] - Markus Müller-Olm, Helmut Seidl
A Generic Framework for Interprocedural Analyses of Numerical Properties. [Citation Graph (0, 0)][DBLP]
LPAR, 2004, pp:432-432 [Conf] - Markus Müller-Olm, Helmut Seidl
Precise interprocedural analysis through linear algebra. [Citation Graph (0, 0)][DBLP]
POPL, 2004, pp:330-341 [Conf] - Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
Model-Checking: A Tutorial Introduction. [Citation Graph (0, 0)][DBLP]
SAS, 1999, pp:330-354 [Conf] - Markus Müller-Olm, Helmut Seidl
Polynomial Constants Are Decidable. [Citation Graph (0, 0)][DBLP]
SAS, 2002, pp:4-19 [Conf] - Markus Müller-Olm, Helmut Seidl
A Generic Framework for Interprocedural Analysis of Numerical Properties. [Citation Graph (0, 0)][DBLP]
SAS, 2005, pp:235-250 [Conf] - Markus Müller-Olm
The Complexity of Copy Constant Detection in Parallel Programs. [Citation Graph (0, 0)][DBLP]
STACS, 2001, pp:490-501 [Conf] - Markus Müller-Olm
A Modal Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP]
STACS, 1999, pp:510-520 [Conf] - Markus Müller-Olm, Michael Petter, Helmut Seidl
Interprocedurally Analyzing Polynomial Identities. [Citation Graph (0, 0)][DBLP]
STACS, 2006, pp:50-67 [Conf] - Markus Müller-Olm, Helmut Seidl
On optimal slicing of parallel programs. [Citation Graph (0, 0)][DBLP]
STOC, 2001, pp:647-656 [Conf] - Markus Müller-Olm, Haiseung Yoo
MetaGame: An Animation Tool for Model-Checking Games. [Citation Graph (0, 0)][DBLP]
TACAS, 2004, pp:163-167 [Conf] - Markus Müller-Olm, Oliver Rüthing, Helmut Seidl
Checking Herbrand Equalities and Beyond. [Citation Graph (0, 0)][DBLP]
VMCAI, 2005, pp:79-96 [Conf] - Markus Müller-Olm
Derivation of Characteristic Formulae. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal] - Markus Müller-Olm, Helmut Seidl
Computing polynomial program invariants. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2004, v:91, n:5, pp:233-244 [Journal] - Markus Müller-Olm
Precise interprocedural dependence analysis of parallel programs. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2004, v:311, n:1-3, pp:325-388 [Journal] - Peter Lammich, Markus Müller-Olm
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. [Citation Graph (0, 0)][DBLP]
CONCUR, 2007, pp:287-302 [Conf] - Markus Müller-Olm, Helmut Seidl
Analysis of modular arithmetic. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. [Citation Graph (, )][DBLP]
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. [Citation Graph (, )][DBLP]
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. [Citation Graph (, )][DBLP]
Upper Adjoints for Fast Inter-procedural Variable Equalities. [Citation Graph (, )][DBLP]
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.008secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002