Skip to main content
SpringerLink
Log in

Quantitative Evaluation of Systems

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Nathalie Bertrand

    1. Inria, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luca Bortolussi

    1. University of Trieste, Trieste, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: QEST 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Probabilistic Modelling

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

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.

 

Editors and Affiliations

  • Inria, Rennes, France

    Nathalie Bertrand

  • University of Trieste, Trieste, Italy

    Luca Bortolussi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation