Skip to main content
SpringerLink
Log in

Quantitative Evaluation of Systems

17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Marco Gribaudo

    1. Politecnico di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David N. Jansen

    1. Chinese Academy of Sciences, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anne Remke

    1. University of Münster, Münster, Germany

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

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

Included in the following conference series:

Conference proceedings info: QEST 2020.

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 (21 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Machine Learning for Reliability Analysis of Large Scale Systems

      • Evgenia Smirni
      Pages 3-7

  3. Predictive Performance and Machine Learning

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. Tracking the Race Between Deep Reinforcement Learning and Imitation Learning

      • Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
      Pages 11-17

    3. \(\mathsf {SafePILCO}\): A Software Tool for Safe and Data-Efficient Policy Synthesis

      • Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen Roberts
      Pages 18-26

    4. StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks

      • Denis Repin, Nhat-Huy Phung, Tatjana Petrov
      Pages 27-32

  4. Model Checking and Verification

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism

      • Marco Bernardo
      Pages 35-53

    3. Probabilistic Model Checking of AODV

      • Mojgan Kamali, Joost-Pieter Katoen
      Pages 54-73

    4. Multi-player Equilibria Verification for Concurrent Stochastic Games

      • Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
      Pages 74-95

    5. Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers

      • Kizito Salako
      Pages 96-114

    6. Bayesian Inference by Symbolic Model Checking

      • Bahare Salmani, Joost-Pieter Katoen
      Pages 115-133

  5. Queuing Networks

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems

      • Olivia Das, Arindam Das
      Pages 137-143

    3. A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues

      • Andrea Marin, Sabina Rossi, Carlo Zen
      Pages 144-147

    4. M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis

      • Mehmet Akif Yazici, Tuan Phung-Duc
      Pages 148-152

  6. Markov Processes

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    2. Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

      • Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 155-174

    3. Markovian Arrival Processes in Multi-dimensions

      • Andreas Blume, Peter Buchholz, Clara Scherbaum
      Pages 175-192
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

About this book

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.
The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.

Editors and Affiliations

  • Politecnico di Milano, Milan, Italy

    Marco Gribaudo

  • Chinese Academy of Sciences, Beijing, China

    David N. Jansen

  • University of Münster, Münster, Germany

    Anne Remke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation