Conferences in DBLP
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 ] David Sands Probability and Timing: Challenges for Secure Programming. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:16- [Conf ] Alessandro Aldini , Roberto Gorrieri Security Analysis of a Probabilistic Non-repudiation Protocol. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:17-36 [Conf ] Henrik C. Bohnenkamp , Boudewijn R. Haverkort The Mean Value of the Maximum. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:37-56 [Conf ] 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 ] 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 ] Stefan Haar Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:95-114 [Conf ] Michael Huth Possibilistic and Probabilistic Abstraction-Based Model Checking. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:115-134 [Conf ] 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 ] 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 ] 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 ] Matthias Kuntz , Markus Siegle Deriving Symbolic Representations from Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:188-206 [Conf ] Olivier Bournez A Generalization of Equational Proof Theory? [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:207-208 [Conf ] 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 ] Alessandra Di Pierro , Herbert Wiklicky Probabilistic Abstract Interpretation and Statistical Testing. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:211-212 [Conf ] Richard Lassaigne , Sylvain Peyronnet Approximate Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] PAPM-PROBMIV, 2002, pp:213-214 [Conf ]