RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

Project Meeting Molenhoek/Netherlands

  • MONDAY, 8 March
    • Pepijn Crouzen: Welcome, Opening
    • Marco Gribaudo: Mean field analysis invited talk
    • short break
    • Invitation to collaboration
      • Sjors Hettinga: Performance analysis models for interactive control software
      • Pepijn Crouzen: Multi-grid Methods for Markov chains
    • Mark Timmer: Confluence reduction for probabilistic systems
    • Lunch
    • afternoon group forming: There are three groups, based on the invited talk and the two invitations to collaboration.
    • work in groups
    • Dinner
  • TUESDAY, 9 March

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