ROCKS

DRESISP
AVACS
MEALS
SENSATION
ROCKS

ROCKS is a research collaboration between the Netherlands and Germany within the NWO-DFG bilateral cooperation program. On the Dutch side, the participating Universities are Radboud University Nijmegen and University of Twente. The German participating Universities are the RWTH Aachen, Technische Universitšt Dresden, Saarland University, and University of the Federal Armed Forces Munich.

 

The project started on 1st of July 2009. The project continues great work by a consortium (now in part led by the next generation of scientists) that was responsible for the NWO/DFG funded projects VOSS I (2001-2004) and VOSS II (2005-2008). ROCKS continues to push the stochastic model checking technology forward and to explore new application areas, harvesting from the experiences of the past.