ROCKS PROJECT logo

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

Scheduled Project Meetings & Events

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