qest logo

Each paper will be presented by playing a 20-minute video and holding a 5-minute Q&A (also for short papers).
The complete schedule and instructions will be available on the QONFEST website.

Session: Probabilistic Model Checking
(QEST 1, Aug. 24, 2021, 14:00-15:15 CEST)
Chair: Gethin Norman

  • Michaela Klauck and Holger Hermanns
    A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
  • Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen and Jip Spel
    Tweaking the Odds in Probabilistic Timed Automata
  • Samuel Teuber and Alexander Weigl
    Quantifying Software Reliability via Model-Counting

Session: Quantitative Models and Metamodels: Analysis and Validation
(QEST 2, Aug. 24, 2021, 17:00-18:15 CEST)
Chair: Sabina Rossi

  • Laura Carnevali, Marco Paolieri, Riccardo Reali and Enrico Vicario
    Compositional safe approximation of response time distribution of complex workflows
  • Stefan Kaalen, Mattias Nyberg and Olle Mattsson
    Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow
  • Michael Rausch and William Sanders
    Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models

Session: Queueing Systems
(QEST 3, Aug. 25, 2021, 11:45-13:00 CEST)
Chair: Tadeusz Czachórski

  • Alexander Scheffler and Steffen Bondorf
    Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems
  • Maryam Akbari-Moghaddam and Douglas G. Down
    SEH: Size Estimate Hedging for Single-Server Queues
  • Bogdan Ghit and Asser Tantawi
    An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets

Session: Learning and Verification
(QEST 4, Aug. 25, 2021, 14-15:15 CEST)
Chair: David Parker

  • Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp and Verena Wolf
    DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning
  • Paul Piho and Jane Hillston
    Active and sparse methods in smoothed model checking
  • Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo Perez and Jean-Francois Raskin
    Safe Learning for Near-Optimal Scheduling

Session: Simulation
(QEST 5, Aug. 25, 2021, 17-17:50 CEST)
Chair: Anne Remke

  • Rebecca Haehn, Erika Abraham and Nils Nießen
    Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
  • Marco Gribaudo, Daniele Manini and Mauro Iacono
    Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers

Session: Performance Evaluation
(QEST 6, Aug. 26, 2021, 14:00-15:15 CEST)
Chair: Marco Gribaudo

  • Murray Woodside
    Queue Response Times with Server Speed Controlled by Measured Utilizations
  • Runan Wang, Giuliano Casale and Antonio Filieri
    Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes
  • Grzegorz Kielanski and Benny Van Houdt
    Performance analysis of work stealing strategies in large scale multi-threaded computing
    (best paper award, sponsored by Université Paris-Est Créteil / Faculté de Sciences et Technologie)

Session: Abstractions and Aggregations
(QEST 7, Aug. 26, 2021, 17:00-18:15 CEST)
Chair: Laura Carnevali

  • Michael Backenköhler, Luca Bortolussi, Gerrit Großmann and Verena Wolf
    Stationary Distribution Approximations of Markovian Population Models using Aggregation
  • Carla Piazza, Sabina Rossi
    Reasoning about Proportional Lumpability
  • Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski and Andrea Vandin
    Lumpability for Uncertain Continuous-Time Markov Chains

Session: Stochastic Models
(QEST 8, Aug. 26, 2021, 18:30-19:30 CEST)
Chair: Verena Wolf

  • Engel Lefaucheux
    Approximate Diagnosis of Controllable Stochastic Systems Accurate Approximate Diagnosis of (Controllable) Stochastic Systems
  • Carina Pilch, Stefan Schupp and Anne Remke
    Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction (best RAE paper award, sponsored by Springer-Verlag)
  • Christina Kolb, Carlos Budde and Marielle Stoelinga
    Attack Trees vs. Fault Trees: two sides of the same coin from different currencies
Aug 2021
Proceedings online
Jul 2021
Program online
Apr 2021
Deadline extension
Feb 2021
Speakers announced
Dec 2020
PC announced
Nov 2020
Website online

Alessandro Abate
Andrea Marin

General Chair
Benoît Barbot