


default search action
19th QEST 2022: Warsaw, Poland
- Erika Ábrahám, Marco Paolieri
:
Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings. Lecture Notes in Computer Science 13479, Springer 2022, ISBN 978-3-031-16335-7
Program Analysis
- Andrey Kofnov
, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci
, Efstathia Bura:
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. 3-25 - Ahmad Karimi
, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci
, Efstathia Bura:
Distribution Estimation for Probabilistic Loops. 26-42 - Khayyam Salehi
, Ali A. Noroozi
, Sepehr Amir-Mohammadian
, MohammadSadegh Mohagheghi
:
An Automated Quantitative Information Flow Analysis for Concurrent Programs. 43-63
Parameter Synthesis
- Markus Siegle, Amin Soltanieh:
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. 67-84 - David Julien
, Guillaume Cantin
, Benoît Delahaye
:
End-to-End Statistical Model Checking for Parametric ODE Models. 85-106 - Jip Spel
, Svenja Stein
, Joost-Pieter Katoen
:
POMDP Controllers with Optimal Budget. 107-130
Markovian Agents and Population Models
- Michele Loreti
, Aniqa Rehman
:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. 133-149 - Francesca Randone
, Luca Bortolussi
, Mirco Tribastone
:
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. 150-170
Dynamical Systems
- Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
, Andrea Vandin
:
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. 173-191 - Spandan Das
, Pavithra Prabhakar:
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. 192-213
Tools
- Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. 217-231 - Giuliano Casale, Yicheng Gao, Zifeng Niu, Lulai Zhu
:
LN: A Meta-solver for Layered Queueing Network Analysis. 232-254 - Laura Carnevali, Riccardo Reali, Enrico Vicario:
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. 255-272
Applications
- Kaustabha Ray, Ansuman Banerjee:
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. 275-297 - Davide Cerotti, Simona Mancini
, Marco Gribaudo
, Andrea Bobbio:
Analysis of an Electric Vehicle Charging System Along a Highway. 298-316 - Daria Smuseva
, Ivan Malakhov
, Andrea Marin
, Aad van Moorsel
, Sabina Rossi
:
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. 317-336 - Pedro R. D'Argenio
, Juan A. Fraire
, Arnd Hartmanns
, Fernando D. Raverta:
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. 337-355
Automata Theory and Applications
- Carla Piazza
, Riccardo Romanello
:
Mirrors and Memory in Quantum Automata. 359-380 - Peter Gjøl Jensen
, Andrej Kiviriga
, Kim Guldstrand Larsen
, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen:
Monte Carlo Tree Search for Priced Timed Automata. 381-398

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.