Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

  • Anne Remke
  • Mariëlle Stoelinga
Textbook ROCKS 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8453)

Table of contents

  1. Front Matter
  2. Alexander Andreychenko, Thilo Krüger, David Spieler
    Pages 1-25
  3. Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi
    Pages 26-66
  4. Carlos E. Budde, Pedro R. D’Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
    Pages 67-86
  5. Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen
    Pages 87-116
  6. Daniel Gebler, Vahid Hashemi, Andrea Turrini
    Pages 117-155
  7. Anna Kolesnichenko, Valerio Senni, Alireza Pourranjabar, Anne Remke
    Pages 242-280
  8. Back Matter

About this book


The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.


bi-simulation case studies communication protocols concurrent systems markov decision processes mean-field approximation model checking modeling and analysis non-determinism performance modeling probabilistic systems ranomized algorithms stochastic analysis stochastic analysis

Editors and affiliations

  • Anne Remke
    • 1
  • Mariëlle Stoelinga
    • 2
  1. 1.Design and Analysis of Communication SystemsUniversity of TwenteThe Netherlands
  2. 2.Department of Computer ScienceUniversity of TwenteThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-45488-6
  • Online ISBN 978-3-662-45489-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software