Validation of Stochastic Systems 2004

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (Eds.): Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925 Springer 2004, ISBN 3-540-22265-0

Modelling Stochastic Systems

Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. 1-43
Mario Bravetti, Pedro R. D'Argenio:
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. 44-88
Natalia López, Manuel Núñez:
An Overview of Probabilistic Process Algebras and their Equivalences. 89-123

Model Checking of Stochastic Systems

Benedikt Bollig, Martin Leucker:
Verifying Qualitative Properties of Probabilistic Programs. 124-146
Frank Ciesinski, Marcus Größer:
On Probabilistic Computation Tree Logic. 147-188
Jeremy Sproston:
Model Checking for Probabilistic Timed Systems. 189-229

Representing Large State Spaces

Rashid Mehmood:
Serial Disk-based Analysis of Large Stochastic Models. 230-255
Peter Buchholz, Peter Kemper:
Kronecker Based Matrix Representations for Large Markov Models. 256-295
Andrew S. Miner, David Parker:
Symbolic Representations and Analysis of Large Probabilistic Systems. 296-338
Matthias Kuntz, Kai Lampka:
Probabilistic Methods in State Space Analysis. 339-383

Deductive Verification of Stochastic Systems

Gethin Norman:
Analysing Randomized Distributed Algorithms. 384-418
Michael Huth:
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. 419-444
Ph. Schnoebelen:
The Verification of Probabilistic Lossy Channel Systems. 445-466

Last update Tue May 21 18:10:31 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page