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
Conference proceedings QEST 2013

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
  7. Session 6: Systems

    1. Daniel Happ, Philipp Reinecke, Katinka Wolter
      Pages 258-273
  8. Session 7: Tools Demos II

    1. Dieky Adzkiya, Alessandro Abate
      Pages 274-277
    2. Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
      Pages 278-281
    3. Ken Keefe, William H. Sanders
      Pages 282-285
    4. Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales
      Pages 286-289
  9. Session 8: Control and Games

    1. S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
      Pages 290-304
    2. Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
      Pages 322-337
    3. Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
      Pages 338-354
  10. Session 9: Timed Automata and Simulation

    1. Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
      Pages 355-371
    2. Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn Haverkort
      Pages 372-388
    3. Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
      Pages 389-404
  11. Back Matter

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-40195-4
  • Online ISBN 978-3-642-40196-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software