Oliver Möller

According to our database, Oliver Möller authored at least 6 papers between 1999 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Testing Avionics Software: Is FMI up to the Task?

Jörg Brauer, Oliver Möller, Jan Peleska

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2012

On the Formal Verification of Systems of Synchronous Software Components.

Henning Günther, Stefan Milius, Oliver Möller

Proceedings of the Computer Safety, Reliability, and Security, 2012

A framework for formal verification of systems of synchronous components.

Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2001

UPPAAL - present and future.

Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1999

A Tool for Simulation of Markov Modulated Finite-Source Queueing Systems

János Sztrik, Oliver Möller

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

Stochastic Simulation of Markov Modulated Finite-Source Queues

János Sztrik, Oliver Möller

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999