The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Markus Müller-Olm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Markus Müller-Olm, Oliver Rüthing
    On the Complexity of Constant Propagation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:190-205 [Conf]
  6. Markus Müller-Olm, Helmut Seidl
    Analysis of Modular Arithmetic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:46-60 [Conf]
  7. Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
    Interprocedural Herbrand Equalities. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:31-45 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Markus Müller-Olm, Helmut Seidl
    A Note on Karr's Algorithm. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:1016-1028 [Conf]
  13. 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]
  14. 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]
  15. Markus Müller-Olm, Helmut Seidl
    Precise interprocedural analysis through linear algebra. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:330-341 [Conf]
  16. 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]
  17. Markus Müller-Olm, Helmut Seidl
    Polynomial Constants Are Decidable. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:4-19 [Conf]
  18. 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]
  19. Markus Müller-Olm
    The Complexity of Copy Constant Detection in Parallel Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 2001, pp:490-501 [Conf]
  20. Markus Müller-Olm
    A Modal Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP]
    STACS, 1999, pp:510-520 [Conf]
  21. Markus Müller-Olm, Michael Petter, Helmut Seidl
    Interprocedurally Analyzing Polynomial Identities. [Citation Graph (0, 0)][DBLP]
    STACS, 2006, pp:50-67 [Conf]
  22. Markus Müller-Olm, Helmut Seidl
    On optimal slicing of parallel programs. [Citation Graph (0, 0)][DBLP]
    STOC, 2001, pp:647-656 [Conf]
  23. 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]
  24. 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]
  25. Markus Müller-Olm
    Derivation of Characteristic Formulae. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]

  30. Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. [Citation Graph (, )][DBLP]


  31. 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. [Citation Graph (, )][DBLP]


  32. 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. [Citation Graph (, )][DBLP]


  33. Upper Adjoints for Fast Inter-procedural Variable Equalities. [Citation Graph (, )][DBLP]


  34. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.015secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002