RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

ROCKS workshop

March 26-27 2011, Saarbrücken, Germany
Satellite event of ETAPS 2011


Stochastic analysis techniques are crucial in developing reliable computer systems. This workshop focuses on two increasingly prominent system classes, which are not amenable to classic stochastic analysis techniques. For large-scale homogeneous systems (e.g. wireless sensor networks and gossiping protocols) standard compositional approaches fail due to the quantity of components. In safety-critical heterogeneous systems (e.g. production plants and automotive control systems) the challenge is to handle the diversity of system modalities. This workshop covers techniques that automatically synthesize the optimal design given a system configuration or parameter set for both system classes. Also architectural description languages are addressed as they are increasingly used to describe complex systems, but analysis techniques are often lacking.


Submissions should describe research on relevant modeling formalisms, analysis techniques, and/or application areas, where
  • Modeling formalisms cover
    • probabilistic / stochastic models
    • architectural modeling formalisms
    • hybrid systems,
  • Analysis techniques encompass
    • probabilistic model checking
    • verification
    • dependability analysis, and
  • Application areas include, but are not limited to,
    • Wireless networks, Peer-to-peer networks
    • Gossiping protocols
    • Critical Infrastructures.
Submissions describing tools which can be applied to the modeling or analysis of safety-critical or large-scale systems are also welcomed.


We encourage submissions of single page abstracts describing interesting research within the scope of the workshop. Submissions may describe work-in-progress or material that has already been published elsewhere. All submissions will be reviewed by members of the program committee. The selected abstracts will be made available at the workshop webpage, but there are no formal proceedings. Submissions will be handled by the EasyChair submission system.

Important dates

Submission deadline:January 15th 2011.
Notification of acceptance: January 21st 2011.
Final version:February 4th 2011.


The workshop will take place on Saturday March 26 and Sunday March 27 (before the ETAPS conferences). The ROCKS workshop programme can be found here.

Program co-chairs

  • Pepijn Crouzen, Universität des Saarlandes
  • Anne Remke, Universiteit Twente

Program committee

  • Henrik Bohnenkamp, RWTH Aachen Universität
  • Christel Baier, Technische Universität Dresden
  • Johann Schuster, Universität der Bundeswehr München
  • Mariëlle Stoelinga, Universiteit Twente

ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken