All sessions take place in auditorium 3.

Thursday July 25th

Thursday's program is also available with abstracts or side by side with other meetings.

09:10-09:30  Welcome and Opening

09:30-10:30  Session 1: Invited talk

09:30  André Schiper, EPFL Lausanne, Switzerland
Invited talk: Failure detection vs. group membership in fault-tolerant distributed systems: hidden trade-offs

10:30-11:00  Refreshments

11:00-12:20  Session 2: Numerical analysis algorithms

11:00  Marta Kwiatkowska and Rashid Mehmood, U Birmingham, UK
Out-of-core solution of large linear systems of equations arising from stochastic modelling
11:40  Henrik Bohnenkamp, U Twente, The Netherlands and Boudewijn Haverkort, Aachen U of Techn., Germany
The mean value of the maximum

12:30-14:00  Lunch

14:00-15:20  Session 3: Symbolic computation

14:00  Matthias Kuntz and Markus Siegle, U Erlangen, Germany
Deriving symbolic representations from stochastic process algebras
14:40  Marta Kwiatkowska, U Birmingham, UK; Gethin Norman, U Birmingham, UK; and Jeremy Sproston, U Turin, Italy
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol

15:30-16:00  Refreshments

16:00-17:20  Session 4: Non-interleaving models

16:00  Harald Fecher, Mila Majster-Cederbaum, and Jinzhao Wu; U Mannheim, Germany
Action refinement for probabilistic processes with true concurrency models
16:40  Stefan Haar, IRISA Rennes, France
Probabilistic unfoldings and partial order fairness in Petri nets

18:30-19:30  PAPM-ProbMiV business meeting

Friday July 26th

Friday's program is also available with abstracts or side by side with other meetings.

08:50-09:50  Session 5: Invited talk

08:50  David Sands, Chalmers U of Techn., Sweden
Invited talk: Probability and timing: Challenges for secure programming

09:50-10:30  Session 6: Security

09:50  Alessandro Aldini and Roberto Gorrieri, U Bologna, Italy
Security analysis of a probabilistic non-repudiation protocol

10:30-11:00  Refreshments

11:00-12:20  Session 7: Model checking

11:00  Michael Huth, Imperial College, UK
Possibilistic and probabilistic abstraction-based model checking
11:40  Marta Kwiatkowska, U Birmingham, UK; Gethin Norman, U Birmingham, UK; and Antonio Pacheco, IST Lisbon, Portugal
Model checking CSL until formulae with random time bounds

12:30-14:00  Lunch

14:00-15:20  Session 8: Short presentations

14:00  Richard Lassaigne, U Paris VII, France and Sylvain Peyronnet, U Paris XI (Paris-Sud), France
Short presentation: Approximate verification of probabilistic systems
14:20  Olivier Bournez, LORIA Nancy, France
Short presentation: A generalization of equational proof theory?
14:40  Alessandra Di Pierro, U Pisa, Italy and Herbert Wiklicky, Imperial College, UK
Short presentation: Probabilistic abstract interpretation and statistical testing
15:00  Mario Bravetti, U Bologna, Italy
Short presentation: An integrated approach for the specification and analysis of stochastic real-time systems

15:30-16:00  Refreshments

16:00-16:40  Session 9: Refinement strategies

16:00  Pedro D'Argenio, National U of Córdoba, Argentina; Bertrand Jeannet, IRISA Rennes, France; Henrik Jensen, Aalborg U, Denmark; and Kim Guldstrand Larsen, Aalborg U, Denmark
Reduction and refinement strategies for probabilistic analysis

16:40-16:50  Closing and Farewell