default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th 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.
last updated on 2024-11-20 21:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
