Saarbruecken012005.asc

Saarbruecken012005.asc — HTML, 671 bytes

Dateiinhalt


15:00 Frits Vaandrager
Switched Probabilistic I/O Automata

15:45 Coffee Break

16:15 Ling Cheung
A symbolic treatment of randomization

17:00 Business Meeting

20:00 Dinner


Tuesday January 25
==================

9:00  Boudewijn Haverkort
Power-Constrained Queueing Networks

9:30  Anne Remke
Model Checking Algorithms for Infinite-State Markov Chains

10:15 Break

10:45 Lucia Cloth
tba

11:15 Ivan Zapreev and Maneesh Kattri
ETMCC version 2.0

12:00 Joern Ossowski
Weighted and normalized decision diagrams

12:35 Lunch

14:00 Maneesh Khattri and Reza Pulungan
The model checking of Markov reward models

14:45 Sven Johr
Transforming IMCs to CTMDPs

15:30 Farewell