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
