VOSS workshop, April 5-6, 2004, Maastricht


Monday, April 5

14:00-14:45 Frank Ciesinski (BN) Modelling and Implementing PROBMELA
14:45-15:30 Suzana Andova (TW) An alternative definition of probabilistic branching bisimulation
    Coffee Break
16:00-16:45 Kai Lampka (M) Activity local state space generation
16:30-17:15 David Jansen (SB) How reliable is the radio communication of the ETCS
18:30   Dinner

Tuesday, April 6

9:00-9:30 Holger Hermanns (SB + TW Stochastic Assessment of schedules in a laquer production plant
9:30-10:00 Yaroslav Usenko Stochastic Assessment of schedules for AXXOM AG
10:00- 10:45 Marcus Groesser Partial order reduction for MDPs
    Coffee Break
11:15-12:00 Lijun Zhang Logic and Model Checking for Hidden Markov Models