Travelled to:1 × France
1 × Israel
Collaborated with:A.David W.Yi D.Cyrluk H.Rueß
Talks about:statechart (1) procedur (1) vector (1) theori (1) formal (1) extens (1) effici (1) verif (1) decis (1) time (1)
Person: M. Oliver Möller
DBLP: M=ouml=ller:M=_Oliver
Contributed to:
2002
1997Wrote 2 papers:
- FASE-2002-DavidMY #realtime #uml #verification
- Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
- CAV-1997-CyrlukMR #formal method #performance
- An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors (DC, MOM, HR), pp. 60–71.