RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Participants
From Aachen: Software Modeling and Verification |  |
- Erika Ábrahám
- Henrik Bohnenkamp
- Tingting Han
- Nils Jansen
- Joost-Pieter Katoen
- Alexandru Mereacre
- Viet Yen Nguyen
- Thomas Noll
- Maximilian Odenbrett
- Arpit Sharma
- Falak Sher
- Haidi Yue
- Daniel Klink (left ROCKS in 2010)
- Martin Neuhäußer (left ROCKS in 2010)
From Dresden: Algebraic and Logical Foundations of Computer Science | 
|
- Christel Baier
- Frank Ciesinski
- Manuela Berg
- Clemens Dubslaff
- Marcus Groesser (left ROCKS in 2010)
From Munich: Design of Computer and Communication Systems | 
|
From Nijmegen: Informatics for Technical Applications | 
|
- Frits W. Vaandrager
- David N. Jansen
- Georgeta Igna
- Faranak Heidarian Dehkordi
- Jasper Berendsen (left ROCKS in 2010)
From Saarbrücken: Dependable Systems & Software | 
|
- Pepijn Crouzen
- E. Moritz Hahn
- Arnd Hartmanns
- Holger Hermanns
- Linar Mikeev
- David Spieler
- Verena Wolf
- Reza Pulungan (left ROCKS in 2009)
- Lijun Zhang (left ROCKS in 2010)
From Twente: Design and Analysis of Communication Systems | 
|
- Pieter-Tjerk de Boer
- Boudewijn Haverkort
- Marijn Jongerden
- Anne Remke
- Anna Kolesnichenko
- Daniel Reijsbergen
- Stephan Roolvink
- Lucia Cloth (left ROCKS in 2009)
From Twente: Formal Methods and Tools |
|
- Rom Langerak
- Jaco van de Pol
- Mariëlle Stoelinga
- Mark Timmer
- Jiansheng Xing (left ROCKS)
- Florian Arnold
- Dennis Guck
- Waheed Ahmad
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken