2nd International Workshop on Probabilistic Methods in Verification

a satellite to CONCUR'99

August 23rd, 1999, Einhoven, the Netherlands

Final Program and Online Proceedings

8:15-9.00
Registration
9.00-9.10
Welcome

Chair: Marta Kwiatkowska
9.10-10.00
Invited paper: Kim Larsen (Aalborg University)
Validation of Continuous-Time Markov Systems
10:00-10:30
Contributed paper: Luca de Alfaro (University of California at Berkeley)
The Verification of Probabilistic Systems under Memoryless Partial-Information Policies is Hard
10:30-11:00
Contributed paper: Manfred Jaeger (Max-Planck-Institut at Saarbrücken)
Fairness, Computable Fairness and Randomness

Coffee break

Chair: Roberto Segala
11:30-12:20
Invited paper: Bengt Jonsson (University of Uppsala)
On Model Checking Infinite-State Probabilistic Systems
12:20-12:50
Contributed paper: Jeremy Sproston (University of Birmingham)
Analyzing subclasses of probabilistic hybrid automata

Lunch break

Chair: Joost-Pieter Katoen
14:00-14:50
Invited paper: Rance Cleaveland (SUNY at Stony Brook)
Probabilistic Model Checking via the Modal Mu-Calculus
14:50-15:20
Contributed paper: Josee Desharnais (McGill University)
A logical characterization of simulation for Markov Chains
15:20-15:50
Contributed paper: Christel Baier (University of Mannheim) and Holger Hermanns (University of Twente)
A lazy synchronous calculus of fully probabilistic processes

Coffee break

Chair: Christel Baier
16:20-17:10
Invited paper: Oded Maler (Verimag)
On the Representation of Probabilities over Structured Domains
17:10-17:40
Contributed paper: Alessandra Di Pierro (University of Pisa) and Herbert Wiklicky (Imperial College)
Ergodic Average in Constraint Programming
17:45
Discussion and closing

PROBMIV'99 Homepage

This page was last updated on 13 May '02 by Holger Hermanns.