| 2002 |
|---|
| 7 | EE | Alexandre David,
M. Oliver Möller,
Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions.
FASE 2002: 218-232 |
| 6 | EE | M. Oliver Möller:
Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 5 | EE | M. Oliver Möller,
Harald Rueß,
Maria Sorea:
Predicate Abstraction for Dense Real-Time System.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 2001 |
|---|
| 4 | EE | M. Oliver Möller,
Rajeev Alur:
Heuristics for Hierarchical Partitioning with Application to Model Checking.
CHARME 2001: 71-85 |
| 2000 |
|---|
| 3 | EE | 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.
MOVEP 2000: 99-124 |
| 1998 |
|---|
| 2 | EE | M. Oliver Möller,
Harald Rueß:
Solving Bit-Vector Equations.
FMCAD 1998: 36-48 |
| 1997 |
|---|
| 1 | | David Cyrluk,
M. Oliver Möller,
Harald Rueß:
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.
CAV 1997: 60-71 |
