Abstract is missing.
- Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-OffsAndré Schiper. 1-15 [doi]
- Probability and Timing: Challenges for Secure ProgrammingDavid Sands. 16 [doi]
- Security Analysis of a Probabilistic Non-repudiation ProtocolAlessandro Aldini, Roberto Gorrieri. 17-36 [doi]
- The Mean Value of the MaximumHenrik C. Bohnenkamp, Boudewijn R. Haverkort. 37-56 [doi]
- Reduction and Refinement Strategies for Probabilistic AnalysisPedro R. D Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen. 57-76 [doi]
- Action Refinement for Probabilistic Processes with True Concurrency ModelsHarald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. 77-94 [doi]
- Probabilistic Unfoldings and Partial Order Fairness in Petri NetsStefan Haar. 95-114 [doi]
- Possibilistic and Probabilistic Abstraction-Based Model CheckingMichael Huth. 115-134 [doi]
- Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic ModellingMarta Z. Kwiatkowska, Rashid Mehmood. 135-151 [doi]
- Model Checking CSL until Formulae with Random Time BoundsMarta Z. Kwiatkowska, Gethin J. Norman, António Pacheco. 152-168 [doi]
- Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network ProtocolMarta Z. Kwiatkowska, Gethin J. Norman, Jeremy Sproston. 169-187 [doi]
- Deriving Symbolic Representations from Stochastic Process AlgebrasMatthias Kuntz, Markus Siegle. 188-206 [doi]
- A Generalization of Equational Proof Theory?Olivier Bournez. 207-208 [doi]
- An Integrated Approach for the Specification and Analysis of Stochastic Real-Time SystemsMario Bravetti. 209-210 [doi]
- Probabilistic Abstract Interpretation and Statistical TestingAlessandra Di Pierro, Herbert Wiklicky. 211-212 [doi]
- Approximate Verification of Probabilistic SystemsRichard Lassaigne, Sylvain Peyronnet. 213-214 [doi]