RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Participants
From Aachen: Software Modeling and Verification |  |
- E. Abraham
- H. Bohnenkamp
- T. Han
- N. Jansen
- J.-P.Katoen
- D. Klink
- A. Mereacre
- T. Noll
- M. Neuhaeusser
- V. Nguyen
- H. Yue
From Dresden: Algebraic and Logical Foundations of Computer Science | 
|
- C. Baier
- T. Blechmann
- F. Ciesinski
- M. Groesser
- J. Klein
From Munich: Design of Computer and Communication Systems | 
|
- A. Gouberman
- T. Krieger
- J. Schuster
- M. Siegle
- M. Riedl
From Nijmegen: Informatics for Technical Applications | 
|
- F. W. Vaandrager
- J. Berendsen
- D. Jansen
- G. Igna
- F. Heidarian Dehkordi
From Saarbrücken: Dependable Systems & Software | 
|
- P. Crouzen
- M. Hahn
- A. Hartmanns
- H. Hermanns
- R. Pulungan
- L. Zhang
From Twente: Design and Analysis of Communication Systems | 
|
- P-T. de Boer
- L. Cloth
- B. R. Haverkort
- M. Jongerden
- A. Remke
- D.P. Reijsbergen
- S. Roolvink
From Twente: Formal Methods and Tools |
|
- R. Langerak
- J. van de Pol
- M. Stoelinga
- M. Timmer
- J.S. Xing
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken