Oliver Möller

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
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

2001
UPPAAL - present and future.
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


  Loading...