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 post-project ROCKS workshops took place in Münster 2017 and in Freising 2018.
