| Invited Contributions |
| Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs / André Schiper |
| Probability and Timing: Challenges for Secure Programming / David Sands |
| Selected Papers |
| Security Analysis of a Probabilistic Non-repudiation Protocol / Alessandro Aldini ; Roberto Gorrieri |
| The Mean Value of the Maximum / Henrik Bohnenkamp ; Boudewijn Haverkort |
| Reduction and Refinement Strategies for Probabilistic Analysis / Pedro R. D'Argenio ; Bertrand Jeannet ; Henrik E. Jensen ; Kim G. Larsen |
| Action Refinement for Probabilistic Processes with True Concurrency Models / Harald Fecher ; Mila Majster-Cederbaum ; Jinzhao Wu |
| Probabilistic Unfoldings and Partial Order Fairness in Petri Nets / Stefan Haar |
| Possibilistic and Probabilistic Abstraction-Based Model Checking / Michael Huth |
| Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling / Marta Kwiatkowska ; Rashid Mehmood |
| Model Checking CSL until Formulae with Random Time Bounds / Gethin Norman ; António Pacheco |
| Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol / Jeremy Sproston |
| Deriving Symbolic Representations from Stochastic Process Algebras / Matthias Kuntz ; Markus Siegle |
| Short Abstracts |
| A Generalization of Equational Proof Theory? / Olivier Bournez |
| An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems / Mario Bravetti |
| Probabilistic Abstract Interpretation and Statistical Testing / Alessandra Di Pierro ; Herbert Wiklicky |
| Approximate Verification of Probabilistic Systems / Richard Lassaigne ; Sylvain Peyronnet |
| Author Index |
| Invited Contributions |
| Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs / André Schiper |
| Probability and Timing: Challenges for Secure Programming / David Sands |
図書
