The SCEAS System
Navigation Menu

Search the dblp DataBase


M. Oliver Möller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Cyrluk, M. Oliver Möller, Harald Rueß
    An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:60-71 [Conf]
  2. M. Oliver Möller, Rajeev Alur
    Heuristics for Hierarchical Partitioning with Application to Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:71-85 [Conf]
  3. Alexandre David, M. Oliver Möller, Wang Yi
    Formal Verification of UML Statecharts with Real-Time Extensions. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:218-232 [Conf]
  4. M. Oliver Möller, Harald Rueß
    Solving Bit-Vector Equations. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:36-48 [Conf]
  5. Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
    UPPAAL - Now, Next, and Future. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:99-124 [Conf]
  6. M. Oliver Möller
    Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  7. M. Oliver Möller, Harald Rueß, Maria Sorea
    Predicate Abstraction for Dense Real-Time System. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]

Search in 0.022secs, Finished in 0.023secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002