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.
| 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.
