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 BibTeX

@proceedings{DBLP:conf/papm/2002,
  editor    = {Holger Hermanns and
               Roberto Segala},
  title     = {Process Algebra and Probabilistic Methods, Performance Modeling
               and Verification, Second Joint International Workshop PAPM-PROBMIV
               2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings},
  booktitle = {PAPM-PROBMIV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2399},
  year      = {2002},
  isbn      = {3-540-43913-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contributions

André Schiper:
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs. 1-15
Electronic Edition (Springer LINK) BibTeX
David Sands:
Probability and Timing: Challenges for Secure Programming. 16
Electronic Edition (Springer LINK) BibTeX

Selected Papers

Alessandro Aldini, Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol. 17-36
Electronic Edition (Springer LINK) BibTeX
Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
The Mean Value of the Maximum. 37-56
Electronic Edition (Springer LINK) BibTeX
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis. 57-76
Electronic Edition (Springer LINK) BibTeX
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu:
Action Refinement for Probabilistic Processes with True Concurrency Models. 77-94
Electronic Edition (Springer LINK) BibTeX
Stefan Haar:
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. 95-114
Electronic Edition (Springer LINK) BibTeX
Michael Huth:
Possibilistic and Probabilistic Abstraction-Based Model Checking. 115-134
Electronic Edition (Springer LINK) BibTeX
Marta Z. Kwiatkowska, Rashid Mehmood:
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. 135-151
Electronic Edition (Springer LINK) BibTeX
Marta Z. Kwiatkowska, Gethin Norman, António Pacheco:
Model Checking CSL until Formulae with Random Time Bounds. 152-168
Electronic Edition (Springer LINK) BibTeX
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston:
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. 169-187
Electronic Edition (Springer LINK) BibTeX
Matthias Kuntz, Markus Siegle:
Deriving Symbolic Representations from Stochastic Process Algebras. 188-206
Electronic Edition (Springer LINK) BibTeX

Short Abstracts

Olivier Bournez:
A Generalization of Equational Proof Theory? 207-208
Electronic Edition (Springer LINK) BibTeX
Mario Bravetti:
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. 209-210
Electronic Edition (Springer LINK) BibTeX
Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic Abstract Interpretation and Statistical Testing. 211-212
Electronic Edition (Springer LINK) BibTeX
Richard Lassaigne, Sylvain Peyronnet:
Approximate Verification of Probabilistic Systems. 213-214
Electronic Edition (Springer LINK) BibTeX