Skip to main content
Springer Nature Link
Log in

Quantitative Evaluation of Systems

20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Nils Jansen

    1. Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mirco Tribastone

    1. IMT Lucca, Lucca, 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 14287)

Included in the following conference series:

Conference proceedings info: QEST 2023.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

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 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.

The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker. 


Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Multi-agent Verification and Control with Probabilistic Model Checking

    • David Parker
    Pages 1-9

  3. Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

    • Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate
    Pages 10-29

  4. Jajapy: A Learning Library for Stochastic Models

    • Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci
    Pages 30-46

  5. Introducing Asynchronicity to Probabilistic Hyperproperties

    • Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
    Pages 47-64

  6. A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems

    • YoungMin Kwon, Eunhee Kim, Gul Agha
    Pages 65-81

  7. An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    • Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
    Pages 82-100

  8. STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker

    • Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl et al.
    Pages 101-109

  9. Skipping and Fetching: Insights on Non-conventional Product-Form Solutions

    • Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
    Pages 110-126

  10. On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy

    • Benny Van Houdt
    Pages 127-142

  11. Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders

    • Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
    Pages 143-147

  12. Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets

    • Teresa Joven, Jorge Lázaro, Jorge Júlvez
    Pages 148-151

  13. On the Trade-Off Between Efficiency and Precision of Neural Abstraction

    • Alec Edwards, Mirco Giacobbe, Alessandro Abate
    Pages 152-171

  14. Equilibrium Analysis of Markov Regenerative Processes

    • András Horváth, Marco Paolieri, Enrico Vicario
    Pages 172-187

  15. Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints

    • Benoît Barbot, Nicolas Basset
    Pages 188-204

  16. Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows

    • Seyed Mohammadhossein Tabatabaee, Anne Bouillard, Jean-Yves Le Boudec
    Pages 205-220

  17. Matching Distributions Under Structural Constraints

    • Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt
    Pages 221-237

  18. Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    • Lisa Willemsen, Anne Remke, Erika Ábrahám
    Pages 238-254

  19. Analysis of an Epoch Commit Protocol for Distributed Processing Systems

    • Paul Ezhilchelvan, Isi Mitrani, Jim Webber
    Pages 255-269

  20. Causal Reversibility Implies Time Reversibility

    • Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio A. Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
    Pages 270-287
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Editors and Affiliations

  • Radboud University Nijmegen, Nijmegen, The Netherlands

    Nils Jansen

  • IMT Lucca, Lucca, Italy

    Mirco Tribastone

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation