Validation of Stochastic Systems 2004

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