Conferences in DBLP

Process Algebra and Probabilistic Methods (papm)
2002 (conf/papm/2002)

1. André Schiper
   Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:1-15 [Conf]
   
2. David Sands
   Probability and Timing: Challenges for Secure Programming. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:16- [Conf]
   
3. Alessandro Aldini, Roberto Gorrieri
   Security Analysis of a Probabilistic Non-repudiation Protocol. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:17-36 [Conf]
   
4. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
   The Mean Value of the Maximum. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:37-56 [Conf]
   
5. Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
   Reduction and Refinement Strategies for Probabilistic Analysis. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:57-76 [Conf]
   
6. Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu
   Action Refinement for Probabilistic Processes with True Concurrency Models. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:77-94 [Conf]
   
7. Stefan Haar
   Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:95-114 [Conf]
   
8. Michael Huth
   Possibilistic and Probabilistic Abstraction-Based Model Checking. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:115-134 [Conf]
   
9. Marta Z. Kwiatkowska, Rashid Mehmood
   Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:135-151 [Conf]
   
10. Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
    Model Checking CSL until Formulae with Random Time Bounds. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:152-168 [Conf]
    
11. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:169-187 [Conf]
    
12. Matthias Kuntz, Markus Siegle
    Deriving Symbolic Representations from Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:188-206 [Conf]
    
13. Olivier Bournez
    A Generalization of Equational Proof Theory? [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:207-208 [Conf]
    
14. Mario Bravetti
    An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:209-210 [Conf]
    
15. Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Abstract Interpretation and Statistical Testing. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:211-212 [Conf]
    
16. Richard Lassaigne, Sylvain Peyronnet
    Approximate Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:213-214 [Conf]