Skip to main content
  • Conference proceedings
  • © 2021

Quantitative Evaluation of Systems

18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

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

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 2021.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-85172-9
  • 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 109.99
Price excludes VAT (USA)

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

Table of contents (25 papers)

  1. Front Matter

    Pages i-xv
  2. Keynote Speaker

    1. Front Matter

      Pages 1-1
  3. Probabilistic Model Checking

    1. Front Matter

      Pages 13-13
    2. Tweaking the Odds in Probabilistic Timed Automata

      • Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
      Pages 39-58
    3. Quantifying Software Reliability via Model-Counting

      • Samuel Teuber, Alexander Weigl
      Pages 59-79
  4. Quantitative Models and Metamodels: Analysis and Validation

    1. Front Matter

      Pages 81-81
    2. Compositional Safe Approximation of Response Time Distribution of Complex Workflows

      • Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
      Pages 83-104
  5. Queueing Systems

    1. Front Matter

      Pages 147-147
    2. SEH: Size Estimate Hedging for Single-Server Queues

      • Maryam Akbari-Moghaddam, Douglas G. Down
      Pages 168-185
  6. Learning and Verification

    1. Front Matter

      Pages 195-195
    2. DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning

      • Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
      Pages 197-216
    3. Active and Sparse Methods in Smoothed Model Checking

      • Paul Piho, Jane Hillston
      Pages 217-234
    4. Safe Learning for Near-Optimal Scheduling

      • Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
      Pages 235-254
  7. Simulation

    1. Front Matter

      Pages 255-255

Other Volumes

  1. Quantitative Evaluation of Systems

    18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

About this book

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

Keywords

  • artificial intelligence
  • correlation analysis
  • embedded systems
  • formal methods
  • graph theory
  • markov processes
  • model checking
  • numerical model
  • performance evaluation
  • probability
  • signal processing
  • software architecture
  • software design
  • software engineering
  • stochastic
  • stochastic processes
  • stochasticity

Editors and Affiliations

  • University of Oxford, Oxford, UK

    Alessandro Abate

  • Ca’ Foscari University of Venice, Venice, Italy

    Andrea Marin

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-85172-9
  • 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 109.99
Price excludes VAT (USA)