ROCKS PROJECT logo

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

ROCKS workshop

April 25-27 2012, Brochterbeck, Germany

Back

Agenda:




Wednesday 25 April



12.30 - 14.00 Lunch



14.00 - 14.30 Lijun Zhang Bisimulations Meet PCTL Equivalences for Probabilistic Automata
14.30 - 15.00 Christian Dehnert Symbolic Bisimulation Minimization of Markov Models
15.00 - 15.30 Andrea Turrini Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time


(recording)



15.30 - 16.00 Coffee break



16.00 - 16.30 Nils Jansen The COMICS tool - Computing Minimal Counterexamples for DTMCs
16.30 - 17.00 Alexander Gouberman LARES.de - A modelling formalism for hierarchical MDP
17.00 - 17.30 Holger Hermanns Randomization ROCKS the grid!



18.00 - 19.30 Dinner






Thursday 26 April



9.00 - 9.30 Mark Timmer Efficient Modelling and Generation of Markov Automata
9.30 - 10.00 Pedro D'Argenio To be announced
10.00 - 10.45 Joost-Pieter Katoen Analyzing Probabilistic Programs: Pushing the Limits of Automaton



10.45 - 11.15 Coffee break



11.15 - 11.45 Daniel Reijsbergen Correctness and Power Guarantees for Statistical Model Checking
11.45 - 12.15 Anna Kolesnischenko Model-checking mean-field models



12.15 - 12.30 Invitations for collaboration



12.30 - 13.30 Lunch



13.30 - 15.00 Collaborations



15.30 - 18.00 Hike



18.30 - 20.00 Dinner






Friday 27 April



9.00 - 9.30 Ernst Moritz Hahn Symblicit Abstraction of Continuous-Time Markov Models


for Transient Rewards
9.30 - 10.00 Johann Schuster On scale-freeness of certain Stochastic Process Algebra Models with probability and time
10.00 - 10.30 Tri Minh Ngo Effective Verification of Confidentiality for Multi-threaded Programs



10.30 - 11.00 Break



11.00 - 12.30 Collaborations



12.30 - 13.00 Collaboration presentations



13.00 - 14.00 Lunch



Back

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