image by Unistudent119, CC BY-SA 4.0

 ROCKS Workshop 2020

 ROCKS Workshop 2020

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

The 2020 ROCKS workshop has been cancelled due to the COVID-19 uncertainty. For more information, check the MMB website.

The 2020 ROCKS workshop will take place in March 2020 at Saarland University in Saarbrücken, Germany, colocated with MMB 2020.


Make a registration for MMB and mention "ROCKS" in the message to the organiser field. A workshops only registration suffices unless you plan to attend MMB on Monday or Tuesday, too.


Details to be announced; the current plan is as follows:

Wednesday, March 18
08:30 – 09:00 Workshop Registration
Invited Talk (via MMB)
09:00 – 10:00 Interference Networks
Francois Baccelli (University of Texas at Austin)
10:00 – 10:30 Tea break
Session 1 (via MMB)
10:30 – 11:00 Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
Carlos E. Budde (U Twente)
11:00 – 11:30 A Domain Specific Language & Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems
Freek van den Berg (U Tilburg)
11:30 – 12:00 Freight Train Scheduling in Railway Systems
Rebecca Haehn (RWTH)
12:00 – 12:30 (MMB Closing Session)
12:30 – 14:00 Lunch
Session 2
14:00 – 15:30 Talks that ROCKS
15:30 – 16:00 Tea break
Session 3
16:00 – 17:30 Talks that ROCKS
19:00 Dinner
at Tabaksmühle
Thursday, March 19
Session 4
09:00 – 10:00 Talks that ROCKS
10:00 – 10:30 Tea break
Session 5
10:30 – 12:00 Talks that ROCKS
12:00 – 13:00 Lunch
Session 6
13:00 – 14:30 Talks that ROCKS
14:30 End of the meeting


Saarland Informatics Campus is easy to reach by car via motorways A1 from the north, A6 from the east, and French A4/A320 from the south and west. The parking lot Uni Ost (max. 3 €/day) is next to the workshop venue. By train, Saarbrücken Hbf can be reached by high-speed ICE trains running between Frankfurt and Paris as well as regional trains from Frankfurt via Mainz, Koblenz via Trier, Mannheim, and Metz. From the station, city buses on multiple lines run to Campus; get off at the Universität Mensa bus stop. The local Airport Saarbrücken (SCN) has flights to/from Berlin, Hamburg, and Luxemburg. It is connected to the city centre by buses running roughly every 60 minutes (approx. 25 minutes travel time), but there is no direct public transport link between the airport and Campus.

Previous ROCKS

Previous post-project ROCKS workshops took place in Münster 2017 and in Freising 2018.