Volume 22, 1999
PROBMIV'98 First International Workshop on Probabilistic Methods in Verification
Indianapolis, Indiana, USA, 19-20 June 1998
- Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
Preface.
1-2
- Christel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen:
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
3-28
- Christel Baier, Marta Z. Kwiatkowska, Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
29
- Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen:
On Generative Parallel Composition.
30-54
- Luca de Alfaro:
From Fairness to Chance.
55-87
- Jerry den Hartog, Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report.
88-110
- Carlos Gregorio-Rodríguez, Manuel Núñez:
Denotational Semantics for Probabilistic Refusal Testing.
111-137
- Annabelle McIver:
Reasoning about efficiency within a probabilistic µ-calculus.
138-155
- Christoph Meinel, Harald Sack:
Parity-OBDDs - a BDD structure for Probabilistic Verification.
156-170
- Prakash Panangaden:
The Category of Markov Kernels.
171-187
- Roberto Segala:
The Essence of Coin Lemmas.
188-207
Last update Mon May 20 00:56:00 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
