image by Bernhard Kils, CC BY-SA 3.0

 ROCKS Meeting 2017

 ROCKS Meeting 2017

ROCKS: Rigorous dependability analysis using model checking techniques for stochastic systems

The 2017 meeting of the ROCKS community took place in September 2017 at the University of Münster.

Group Photo


Monday, September 25
10:15 – 10:30 Welcome & Organisation
Arnd Hartmanns (UT/FMT)
Session 1
10:30 – 11:00 Ensuring the Reliability of Your Model Checker: Interval Iteration for MDP
Joachim Klein (TUD)
11:00 – 11:30 Discrete-Event Simulation of Hybrid Systems with Nonlinear Continuous Variables
Carina Pilch (WWU)
11:30 – 12:00 Evaluation of Advanced Data Centre Power Management Strategies
Björn Postema (UT/DACS)
12:00 – 12:30 One Step Closer to the Automation of Importance Splitting for Rare Event Simulation
Carlos E. Budde (UT/FMT)
12:30 – 14:00 Lunch
Session 2
14:00 – 14:30 Synthesis of Optimal Resilient Control Strategies
Clemens Dubslaff (TUD)
14:30 – 15:00 Convex Optimization for the Efficient Verification of Parametric MDP in a Robotics Setting
Nils Jansen (RUN)
15:00 – 15:30 Perturbation of CTMC Trapping Probabilities with Application to Model Repair
Alexander Gouberman (UdBw)
15:30 – 16:00 Tea break
Session 3
16:00 – 16:30 Bisimulation and Multi-Objective Model Checking for Interval Markov Decision Processes
E. Moritz Hahn (UdS)
16:30 – 17:00 Probabilistic Programs
Christoph Matheja (RWTH)
17:00 – 17:30 Proving Almost-Sure Termination with Non-Ranking Super Martingales
Benjamin Kaminski (RWTH)
19:00 Dinner
at A2 am See: reception followed by à-la-carte dinner
Tuesday, September 26
Session 4
09:00 – 09:30 Composition of Stochastic Transition Systems
Daniel Gburek (TUD)
09:30 – 10:00 Model-Based Testing of Probabilistic Systems
Marcus Gerhold (UT/FMT)
10:00 – 11:00 Tea break
Session 5
11:00 – 11:30 The Probabilistic Model Checker Storm
Christian Dehnert (RWTH)
11:30 – 12:00 Efficient Domain-Specific Tool Development for UPPAAL via Model-Driven Engineering
Enno Ruijters (UT/FMT)
12:00 – 12:30 Automated Performance Evaluation of Service-Oriented Systems
Freek van den Berg (UT/DACS)
12:30 – 14:00 Lunch
Session 6
14:00 – 14:30 Numerical Analysis of Hybrid Systems
Jannik Hüls (WWU)
14:30 – 14:45 Overview of Current Research in the Theory of Hybrid Systems Group
Erika Ábrahám (RWTH)
14:45 – 15:05 Tea break
15:05 – 15:50 Informal Methods Meet Inmachine Learning
Holger Hermanns (UdS)
15:50 – 16:00 Closing
Anne Remke (WWU)
16:00 End of the meeting


The city of Münster is easy to reach by car via motorways A1 from the south and north-west, A43 from the south-west, and B54 from the north-west. There is a free parking lot right next to the building, but please carefully read the posted signs and do not use the parking spots on the driveway in front of the building. By train, "Münster(Westf)Hbf" can be reached by Intercity trains running between Hamburg and the Ruhr area plus regional trains from the Netherlands every hour. The local airport Münster/Osnabrück (FMO), connected to the city by buses running on a 30-minute schedule, has flights to/from Frankfurt, Munich and Stuttgart.