PAPM-PROBMIV 2002:
Copenhagen, Denmark
Holger Hermanns, Roberto Segala (Eds.):
Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings.
Lecture Notes in Computer Science 2399 Springer 2002, ISBN 3-540-43913-7 
Invited Contributions
- André Schiper:
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs.
1-15
- David Sands:
Probability and Timing: Challenges for Secure Programming.
16
Selected Papers
- Alessandro Aldini, Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol.
17-36
- Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
The Mean Value of the Maximum.
37-56
- Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis.
57-76
- Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Action Refinement for Probabilistic Processes with True Concurrency Models.
77-94
- Stefan Haar:
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.
95-114
- Michael Huth:
Possibilistic and Probabilistic Abstraction-Based Model Checking.
115-134
- Marta Z. Kwiatkowska, Rashid Mehmood:
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling.
135-151
- Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds.
152-168
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
169-187
- Matthias Kuntz, Markus Siegle:
Deriving Symbolic Representations from Stochastic Process Algebras.
188-206
Short Abstracts
Last update Wed May 22 16:18:17 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
