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
    2. Michalis Michaelides, Jane Hillston, Guido Sanguinetti
      Pages 243-258
    3. Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
      Pages 259-274
    4. Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders
      Pages 275-291
  7. Tools

    1. Front Matter
      Pages 293-293
    2. Chen Li, Taghreed Altamimi, Mana Hassanzadeh Zargari, Giuliano Casale, Dorina Petriu
      Pages 295-299
    3. Radu Calinescu, Milan Češka, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
      Pages 304-308
  8. Statistical Model Checking

    1. Front Matter
      Pages 315-315
    2. Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
      Pages 317-332
    3. Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
      Pages 351-367
  9. Back Matter
    Pages 369-370

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