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.022secs, Finished in 0.023secs