# Oliver Möller

According to our database

Collaborative distances:

^{1}, Oliver Möller authored at least 6 papers between 1999 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Testing Avionics Software: Is FMI up to the Task?

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.

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

A framework for formal verification of systems of synchronous components.

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

1999

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

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

Stochastic Simulation of Markov Modulated Finite-Source Queues

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

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

Proceedings of the MMB '99, 1999