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 BibTeX

Modelling Stochastic Systems

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

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

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

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