December 17, 2014Symposium: Mini-workshop on modelling & analysis of stochastic systems
Room: CarrĂ© 1333


13:30 Prof. dr. ir. Boudewijn Haverkort - Opening of the workshop

13:40 Prof. dr. Hans van den Berg (TNO/UT) 

Flow level modeling of communication networks: Is it really useful?

14:10 Prof. dr. ir. Joost-Pieter Katoen (RWTH Aachen/UT)

               Stochastic Petri Nets 2.0

14:40 Coffee Break

15:00 Prof. dr. Peter Buchholz (TU Dortmund)

               Markov Decision Processes with Uncertain Parameters

15:30 Prof. dr. Jeremy Bradley (Imperial College London) 

Scalable analysis of accumulated reward measures and other treats

16:00 Closing

16:30 Anja Kolesnichenko - Introduction to the thesis (Collegezaal 4, Waaier, UT)

16:45 PhD defense (Collegezaal 4, Waaier, UT)