PAPM-PROBMIV accepted papers

Regular papers

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

Henrik Bohnenkamp, U Twente, The Netherlands and Boudewijn Haverkort, Aachen U of Techn., Germany
The mean value of the maximum

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

Harald Fecher, Mila Majster-Cederbaum, and Jinzhao Wu; U Mannheim, Germany
Action refinement for probabilistic processes with true concurrency models

Stefan Haar, IRISA Rennes, France
Probabilistic unfoldings and partial order fairness in Petri nets

Michael Huth, Imperial College, UK
Possibilistic and probabilistic abstraction-based model checking

Matthias Kuntz and Markus Siegle, U Erlangen, Germany
Deriving symbolic representations from stochastic process algebras

Marta Kwiatkowska and Rashid Mehmood, U Birmingham, UK
Out-of-core solution of large linear systems of equations arising from stochastic modelling

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

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

Short presentations

Olivier Bournez, LORIA Nancy, France
A generalization of equational proof theory?

Mario Bravetti, U Bologna, Italy
An integrated approach for the specification and analysis of stochastic real-time systems

Richard Lassaigne, U Paris VII, France and Sylvain Peyronnet, U Paris XI (Paris-Sud), France
Approximate verification of probabilistic systems

Alessandra Di Pierro, U Pisa, Italy and Herbert Wiklicky, Imperial College, UK
Probabilistic abstract interpretation and statistical testing