# 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 Dataset Other## Links

#### On csauthors.net:

## Bibliography

2018

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

2012

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

2001

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

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