SpringerLink
Log in

Quantitative Evaluation of Systems

19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Erika Ábrahám

    1. RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Paolieri

    1. University of Southern California, Los Angeles, USA

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

Included in the following conference series:

Conference proceedings info: QEST 2022.

  • 9262 Accesses

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 ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.

The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.


Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Program Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments

      • Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, Efstathia Bura
      Pages 3-25

    3. Distribution Estimation for Probabilistic Loops

      • Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovič, Laura Kovács, Ezio Bartocci, Efstathia Bura
      Pages 26-42

    4. An Automated Quantitative Information Flow Analysis for Concurrent Programs

      • Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, Mohammadsadegh Mohagheghi
      Pages 43-63

  3. Parameter Synthesis

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –

      • Markus Siegle, Amin Soltanieh
      Pages 67-84

    3. End-to-End Statistical Model Checking for Parametric ODE Models

      • David Julien, Guillaume Cantin, Benoît Delahaye
      Pages 85-106

    4. POMDP Controllers with Optimal Budget

      • Jip Spel, Svenja Stein, Joost-Pieter Katoen
      Pages 107-130

  4. Markovian Agents and Population Models

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. A Logical Framework for Reasoning About Local and Global Properties of Collective Systems

      • Michele Loreti, Aniqa Rehman
      Pages 133-149

    3. Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling

      • Francesca Randone, Luca Bortolussi, Mirco Tribastone
      Pages 150-170

  5. Dynamical Systems

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

      • Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
      Pages 173-191

    3. Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems

      • Spandan Das, Pavithra Prabhakar
      Pages 192-213

  6. Tools

    1. Front Matter

      Pages 215-215
      Download chapter PDF

    2. LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning

      • Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate
      Pages 217-231

    3. LN: A Meta-solver for Layered Queueing Network Analysis

      • Giuliano Casale, Yicheng Gao, Zifeng Niu, Lulai Zhu
      Pages 232-254

    4. Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows

      • Laura Carnevali, Riccardo Reali, Enrico Vicario
      Pages 255-272

  7. Applications

    1. Front Matter

      Pages 273-273
      Download chapter PDF
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Editors and Affiliations

  • RWTH Aachen University, Aachen, Germany

    Erika Ábrahám

  • University of Southern California, Los Angeles, USA

    Marco Paolieri

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation