Search the dblp DataBase
M. Oliver Möller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - M. Oliver Möller, Harald Rueß
Solving Bit-Vector Equations. [Citation Graph (0, 0)][DBLP]
FMCAD, 1998, pp:36-48 [Conf] - 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] - 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] - 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.001secs, Finished in 0.002secs
| 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