Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

  • Nathalie Bertrand
  • Luca Bortolussi
Conference proceedings QEST 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10503)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Probabilistic Modelling

    1. Front Matter
      Pages 1-1
    2. Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan
      Pages 3-19
    3. Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
      Pages 20-35
    4. Elvio Gilberto Amparore, Susanna Donatelli
      Pages 36-51
  3. Smart Energy Systems over the Cloud (Special Session)

    1. Front Matter
      Pages 53-53
    2. YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee
      Pages 55-71
    3. Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
      Pages 72-87
    4. Marijn R. Jongerden, Boudewijn R. Haverkort
      Pages 88-103
  4. Petri Nets and Performance Modelling

    1. Front Matter
      Pages 105-105
    2. Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista
      Pages 107-122
    3. Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi et al.
      Pages 123-139
    4. Loïc Hélouët, Hervé Marchand
      Pages 140-156
    5. Paul Ezhilchelvan, Isi Mitrani
      Pages 157-169
  5. Parametric Verification

    1. Front Matter
      Pages 171-171
    2. Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
      Pages 173-189
    3. Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák
      Pages 190-206
    4. Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
      Pages 207-223
    5. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
      Pages 224-239
  6. Machine Learning and Formal Methods (Special Session)

    1. Front Matter
      Pages 241-241

About these proceedings


This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.



formal methods model checking modeling and simulation optimization stochastic simulation bayesian interence communication networks formal languages input modeling markov processes mobile clous computing network calculus nondeterminism parameter synthesis performance probabilistic programs security modeling smart grid stochastic petri net verification

Editors and affiliations

  • Nathalie Bertrand
    • 1
  • Luca Bortolussi
    • 2
  1. 1.InriaRennesFrance
  2. 2.University of TriesteTriesteItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-66334-0
  • Online ISBN 978-3-319-66335-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site