default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPAPM-PROBMIV 2002: Copenhagen, Denmark
- Holger Hermanns
, Roberto Segala:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-11 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
