Oliver Möller

Publication Activity (10 Years)

Years Active: 1999-2018
Publications (10 Years): 1

Top Topics

Set Of Test Cases

Quality Assurance

Test Case Generation

Hardware Design

Top Venues

Publications

Jörg Brauer, Oliver Möller, Jan Peleska
Testing Avionics Software: Is FMI up to the Task? ISoLA (3) (2018)
Henning Günther, Stefan Milius, Oliver Möller
On the Formal Verification of Systems of Synchronous Software Components. SAFECOMP (2012)
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
A framework for formal verification of systems of synchronous components. MBEES (2012)
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
UPPAAL - present and future. CDC (2001)
János Sztrik, Oliver Möller
A Tool for Simulation of Markov Modulated Finite-Source Queueing Systems Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
János Sztrik, Oliver Möller
A Tool for Simulation of Markov Modulated Finite-Source Queueing Systems. MMB (Kurzvorträge) (1999)
János Sztrik, Oliver Möller
Stochastic Simulation of Markov Modulated Finite-Source Queues Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)