×

zbMATH — the first resource for mathematics

Möller, M. Oliver

Compute Distance To:
Author ID: moller.m-oliver Recent zbMATH articles by "Möller, M. Oliver"
Published as: Moeller, M.; Möller, M.; Möller, M. Oliver
Documents Indexed: 9 Publications since 1997

Serials

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 12 times in 12 Documents Cited by Year
Elliptic grid generation techniques in the framework of isogeometric analysis applications. Zbl 07038570
Hinz, J.; Möller, M.; Vuik, C.
4
2018
Predicate abstraction for dense real-time systems. Zbl 1270.68174
Möller, M. Oliver; Rueß, Harald; Sorea, Maria
3
2002
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
Parking can get you there faster: model augmentation to speed up real-time model checking. Zbl 1270.68173
Möller, M. Oliver
1
2002
On \(n\)-fold expansions for ordinary differential operators. Zbl 1012.34079
Faierman, M.; Markus, A.; Matsaev, V.; Möller, M.
1
2002
Heuristics for hierarchical partitioning with application to model checking. Zbl 1002.68509
Möller, M. Oliver; Alur, Rajeev
1
2001
Elliptic grid generation techniques in the framework of isogeometric analysis applications. Zbl 07038570
Hinz, J.; Möller, M.; Vuik, C.
4
2018
Predicate abstraction for dense real-time systems. Zbl 1270.68174
Möller, M. Oliver; Rueß, Harald; Sorea, Maria
3
2002
Formal verification of UML statecharts with real-time extensions. Zbl 1059.68542
David, Alexandre; Möller, M. Oliver; Yi, Wang
2
2002
Parking can get you there faster: model augmentation to speed up real-time model checking. Zbl 1270.68173
Möller, M. Oliver
1
2002
On \(n\)-fold expansions for ordinary differential operators. Zbl 1012.34079
Faierman, M.; Markus, A.; Matsaev, V.; Möller, M.
1
2002
Heuristics for hierarchical partitioning with application to model checking. Zbl 1002.68509
Möller, M. Oliver; Alur, Rajeev
1
2001

Citations by Year