PAPM-PROBMIV 2002: Copenhagen, Denmark

@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
  
• 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

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

Last update Fri May 25 08:30:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page