Skip to main content
SpringerLink
Log in

Quantitative Evaluation of Systems

13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Gul Agha

    1. University of Illinois , Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benny Van Houdt

    1. University of Antwerp , Antwerp, Belgium

    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 9826)

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

Included in the following conference series:

Conference proceedings info: QEST 2016.

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

  2. Markov Processes

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Property-Driven State-Space Coarsening for Continuous Time Markov Chains

      • Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
      Pages 3-18

    3. Optimal Aggregation of Components for the Solution of Markov Regenerative Processes

      • Elvio Gilberto Amparore, Susanna Donatelli
      Pages 19-34

    4. Data-Efficient Bayesian Verification of Parametric Markov Chains

      • E. Polgreen, V. B. Wijesuriya, S. Haesaert, A. Abate
      Pages 35-51

  3. Probabilistic Reasoning Algorithms

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Exploiting Robust Optimization for Interval Probabilistic Bisimulation

      • Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
      Pages 55-71

    3. Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

      • Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
      Pages 72-88

    4. Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets

      • Javier Esparza, Philipp Hoffmann, Ratul Saha
      Pages 89-104

  4. Queueing Models

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. Energy-Aware Server with SRPT Scheduling: Analysis and Optimization

      • Misikir Eyob Gebrehiwot, Samuli Aalto, Pasi Lassila
      Pages 107-122

    3. Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations

      • Andrea Marin, Sabina Rossi
      Pages 123-138

    4. Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

      • Cheng Feng, Jane Hillston, Daniël Reijsbergen
      Pages 139-155

  5. Tools

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0

      • Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua
      Pages 159-162

    3. Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets

      • Simonetta Balsamo, Andrea Marin, Ivan Stojic
      Pages 163-166

    4. CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems

      • Jane Hillston, Michele Loreti
      Pages 167-171

  6. Sampling, Inference, and Optimization Methods

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement

      • Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska
      Pages 175-190

    3. Inferring Covariances for Probabilistic Programs

      • Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
      Pages 191-206
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

About this book

This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.

The 21 full papers and 3 tool demonstration papers  presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.

Editors and Affiliations

  • University of Illinois , Urbana, USA

    Gul Agha

  • University of Antwerp , Antwerp, Belgium

    Benny Van Houdt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation