VOSS workshop, June 2-3, 2003, Erlangen


Monday, June 2
15:00-15:10 Markus Siegle (ER) Welcome
15:10-15:40 Frank Ciesinski (BN) Probabilistic linear time logic model checking with PROBMELA
Coffee Break
16:00-16:45 Marcus Groesser (BN) Controller synthesis for probabilistic systems
16:45-17:30 Matthias Kuntz (ER) Model checking stochastic PDL
17:30-18:15 Lucia Cloth (TW) Path CSL
19:30 Dinner

Tuesday, June 3
9:00-9:45 Henrik Bohnenkamp (TW) Cost-Optimisation of the IPv4 zeroconf protocol
9:45-10:30 Sven Johr (SB) Use of acceptance-sampling for verification :w
(discussion and brainstorming session)
Coffee Break
11:00- 12:00 Holger Hermanns (SB+TW) Continuous-time Markov decision processes
12:00 Wrap up
12:30 Lunch