Skip to main content
  • Conference proceedings
  • © 2017

Quantitative Evaluation of Systems

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): QEST: International Conference on Quantitative Evaluation of Systems

Conference proceedings info: QEST 2017.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-66335-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIII
  2. Probabilistic Modelling

    1. Front Matter

      Pages 1-1
    2. Extending Parikh’s Theorem to Weighted and Probabilistic Context-Free Grammars

      • Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan
      Pages 3-19
    3. Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes

      • Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
      Pages 20-35
    4. alphaFactory: A Tool for Generating the Alpha Factors of General Distributions

      • Elvio Gilberto Amparore, Susanna Donatelli
      Pages 36-51
  3. Smart Energy Systems over the Cloud (Special Session)

    1. Front Matter

      Pages 53-53
    2. Quantitative Model Checking for a Smart Grid Pricing

      • YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee
      Pages 55-71
    3. Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels

      • Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
      Pages 72-87
    4. Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration

      • Marijn R. Jongerden, Boudewijn R. Haverkort
      Pages 88-103
  4. Petri Nets and Performance Modelling

    1. Front Matter

      Pages 105-105
    2. A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets

      • Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista
      Pages 107-122
    3. A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

      • Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi et al.
      Pages 123-139
    4. On the Cost of Diagnosis with Disambiguation

      • Loïc Hélouët, Hervé Marchand
      Pages 140-156
    5. Multi-class Resource Sharing with Batch Arrivals and Complete Blocking

      • Paul Ezhilchelvan, Isi Mitrani
      Pages 157-169
  5. Parametric Verification

    1. Front Matter

      Pages 171-171
    2. Reachability in Parametric Interval Markov Chains Using Constraints

      • Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
      Pages 173-189
    3. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

      • Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák
      Pages 190-206
    4. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes

      • Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
      Pages 207-223
    5. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

      • 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

Other Volumes

  1. Quantitative Evaluation of Systems

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

About this book

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.

 

Keywords

  • 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

  • Inria, Rennes, France

    Nathalie Bertrand

  • University of Trieste, Trieste, Italy

    Luca Bortolussi

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-66335-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)