RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Scheduled Project Meetings & Events
- Autumn school: 22 October - 26 October 2012
Project Meetings so far
- 07.12.15-09.12.15: Dagstuhl/Germany: GI-Dagstuhl seminar organized as a post-ROCKS event (Agenda)
- 06.11.13-08.11.13: Slenaken/Netherlands (Agenda)
- 11.04.13-12.04.13: Fulda/Germany (Agenda)
- 26.04.12-28.04.12: Brochterbeck/Germany (Agenda)
- 05.10.11-07.10.11: Munich/Germany (Agenda)
- 26.03.11-27.03.11: Saarbrücken/Germany: Workshop connected to ETAPS (CFP and Agenda)
- 04.10.10-06.10.10: Dresden/Germany (Agenda)
- 08.03.10-09.03.10: Molenhoek/Netherlands (Agenda)
- 28.09.09-29.09.09: Vaals/Netherlands (Agenda)
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken