Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Markus Müller-Olm" ( http://dblp.L3S.de/Authors/Markus_Müller-Olm )

URL (Homepage):  http://wwwmath1.uni-muenster.de/u/mmo/  Author page on DBLP  Author page in RDF  Community of Markus Müller-Olm in ASPL-2

Publication years (Num. hits)
1992-2002 (18) 2003-2006 (17) 2007-2011 (11)
Publication types (Num. hits)
article(10) book(2) inproceedings(32) proceedings(2)
Venues (Conferences, Journals, ...)
ESOP(5) SAS(4) Software Verification: Infinit...(3) STACS(3) Universität Trier, Mathematik...(3) VMCAI(3) ACM Trans. Program. Lang. Syst...(2) CC(2) CONCUR(2) POPL(2) Archive of Formal Proofs(1) CAV(1) Correct System Design(1) Electr. Notes Theor. Comput. S...(1) FASE(1) FTRTFT(1) More (+10 of total 25)
Authors
Markus Müller-Olm(46) Helmut Seidl(18) Peter Lammich(6) Ahmed Bouajjani(4) Martin Fränzle(4) Bernhard Steffen(3) Parosh Aziz Abdulla(3) Alexander Wenner(2) Andreas Wolf(2) Michael Petter(2) Neil D. Jones(2) Oliver Rüthing(2) Anders P. Ravn(1) Andrea Flexeder(1) Bettina Buth(1) Burghard von Karger(1) More (+10 of total 34)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 22 keywords
Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl Fast interprocedural linear two-variable equalities. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Markus Müller-Olm Preface to a special section on verification, model checking, and abstract interpretation. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Lammich, Markus Müller-Olm, Alexander Wenner Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Neil D. Jones, Markus Müller-Olm (eds.) Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Lammich, Markus Müller-Olm Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Upper Adjoints for Fast Inter-procedural Variable Equalities. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Analysis of modular arithmetic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
1Peter Lammich, Markus Müller-Olm Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2007 DBLP  BibTeX  RDF
1Peter Lammich, Markus Müller-Olm Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm Variations on Constants - Flow Analysis of Sequential and Parallel Programs Search on Bibsonomy 2006   DOI  RDF
1Markus Müller-Olm, Michael Petter, Helmut Seidl Interprocedurally Analyzing Polynomial Identities. Search on Bibsonomy STACS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
1Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl A Generic Framework for Interprocedural Analysis of Numerical Properties. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Oliver Rüthing, Helmut Seidl Checking Herbrand Equalities and Beyond. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl, Bernhard Steffen Interprocedural Herbrand Equalities. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Analysis of Modular Arithmetic. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Computing polynomial program invariants. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm Precise interprocedural dependence analysis of parallel programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Haiseung Yoo MetaGame: An Animation Tool for Model-Checking Games. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, animation, game, error diagnosis, branching time logic
1Markus Müller-Olm, Helmut Seidl A Generic Framework for Interprocedural Analyses of Numerical Properties. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl A Note on Karr's Algorithm. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Precise interprocedural analysis through linear algebra. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition
1Rudolf Berghammer, Markus Müller-Olm Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl Polynomial Constants are Decidable Search on Bibsonomy Universität Trier, Mathematik/Informatik, Forschungsbericht The full citation details ... 2002   RDF
1Markus Müller-Olm Precise Interprocedural Dependence Analysis of Parallel Programs Search on Bibsonomy Universität Trier, Mathematik/Informatik, Forschungsbericht The full citation details ... 2002   RDF
1Helmut Seidl, Varmo Vene, Markus Müller-Olm Interprocedural Invariants Search on Bibsonomy Universität Trier, Mathematik/Informatik, Forschungsbericht The full citation details ... 2002   RDF
1Markus Müller-Olm, Helmut Seidl Polynomial Constants Are Decidable. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm The Complexity of Copy Constant Detection in Parallel Programs. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Helmut Seidl On optimal slicing of parallel programs. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF complexity, parallel programs, slicing, undecidability, interprocedural analysis
1Markus Müller-Olm, Oliver Rüthing On the Complexity of Constant Propagation. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Andreas Wolf On the Translation of Procedures to Finite Machines. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
1Markus Müller-Olm A Modal Fixpoint Logic with Chop. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland On the Evolution of Reactive Components: A Process-Algebraic Approach. Search on Bibsonomy FASE The full citation details ... 1999 DBLP  BibTeX  RDF
1Markus Müller-Olm, Andreas Wolf On Excusable and Inexcusable Failures. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  BibTeX  RDF runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
1Martin Fränzle, Markus Müller-Olm Compilation and Synthesis for Real-Time Embedded Controllers. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm, David A. Schmidt, Bernhard Steffen Model-Checking: A Tutorial Introduction. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm Derivation of Characteristic Formulae. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Markus Müller-Olm Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Search on Bibsonomy 1997   DOI  RDF
1Martin Fränzle, Markus Müller-Olm Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jifeng 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. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm Provably Correct Compiler Development and Implementation. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.