Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

  • Kaustubh Joshi
  • Markus Siegle
  • Mariëlle Stoelinga
  • Pedro R. D’Argenio

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

Table of contents

  1. Front Matter
  2. Session 1: Invited Talks

    1. Gilles Barthe
      Pages 1-2
    2. Edmundo de Souza e Silva, Rosa M. M. Leão, Daniel Sadoc Menasché, Antonio A. de A. Rocha
      Pages 3-21
  3. Session 2: Probabilistic Automata and Markov Automata

    1. Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
      Pages 22-38
    2. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Pages 39-54
    3. Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
      Pages 55-71
    4. Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang
      Pages 72-88
  4. Session 3: Population Models

  5. Session 4: Tool Demos I

    1. Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards
      Pages 160-164
    2. Yi Deng, Akshay Rajhans, A. Agung Julius
      Pages 165-168
    3. Nikolas Anastasiou, William Knottenbelt
      Pages 169-172
    4. Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
      Pages 173-176
  6. Session 5: Model Checking and Systems

    1. Vladimir Klebanov, Norbert Manthey, Christian Muise
      Pages 177-192
    2. Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
      Pages 193-208
    3. David N. Jansen, Lei Song, Lijun Zhang
      Pages 209-224
    4. Miyuru Dayarathna, Toyotaro Suzumura
      Pages 225-240

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.


Markov decision processes computer networks performance evaluation stochastic model checking theory of probability

Editors and affiliations

  • Kaustubh Joshi
    • 1
  • Markus Siegle
    • 2
  • Mariëlle Stoelinga
    • 3
  • Pedro R. D’Argenio
    • 4
  1. 1.AT&T Labs ResearchFlorham ParkUSA
  2. 2.Institut für Technische InformatikUniversität der Bundeswehr MünchenNeubibergGermany
  3. 3.Faculty of Electrical Engineering, Mathematics and Computer ScienceUniversity of TwenteEnschedeThe Netherlands
  4. 4.Facultad de Matemáticas, Astronomía y FísicaUniversidad Nacional de Córdoba – CONICETCórdobaArgentina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40196-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40195-4
  • Online ISBN 978-3-642-40196-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book