default search action

combined dblp search
author search
venue search
publication search

ask others

19th QEST 2022: Warsaw, Poland

> Home > Conferences and Workshops > QEST

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/qest/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/qest/KofnovMSBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/KofnovMSBB22
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/qest/KarimiMSKBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/KarimiMSKBB22
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura:
Distribution Estimation for Probabilistic Loops. 26-42
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SalehiNAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SalehiNAM22
Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi:
An Automated Quantitative Information Flow Analysis for Concurrent Programs. 43-63

Parameter Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/qest/SiegleS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SiegleS22
Markus Siegle, Amin Soltanieh:
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. 67-84
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JulienCD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JulienCD22
David Julien, Guillaume Cantin, Benoît Delahaye:
End-to-End Statistical Model Checking for Parametric ODE Models. 85-106
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SpelSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SpelSK22
Jip Spel, Svenja Stein, Joost-Pieter Katoen:
POMDP Controllers with Optimal Budget. 107-130

Markovian Agents and Population Models

- view
  authority control:
- export record
  dblp key:
  - conf/qest/LoretiR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/LoretiR22
Michele Loreti, Aniqa Rehman:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. 133-149
- view
  authority control:
- export record
  dblp key:
  - conf/qest/RandoneBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RandoneBT22
Francesca Randone, Luca Bortolussi, Mirco Tribastone:
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. 150-170

Dynamical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/qest/SquillaceTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SquillaceTTV22
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. 173-191
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DasP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DasP22
Spandan Das, Pavithra Prabhakar:
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. 192-213

Tools

- view
  authority control:
- export record
  dblp key:
  - conf/qest/HasanbeigKA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/HasanbeigKA22
Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate:
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning. 217-231
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CasaleGNZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CasaleGNZ22
Giuliano Casale, Yicheng Gao, Zifeng Niu, Lulai Zhu:
LN: A Meta-solver for Layered Queueing Network Analysis. 232-254
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CarnevaliRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CarnevaliRV22
Laura Carnevali, Riccardo Reali, Enrico Vicario:
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. 255-272

Applications

- view
  authority control:
- export record
  dblp key:
  - conf/qest/RayB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RayB22
Kaustabha Ray, Ansuman Banerjee:
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking. 275-297
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CerottiMGB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CerottiMGB22
Davide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio:
Analysis of an Electric Vehicle Charging System Along a Highway. 298-316
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SmusevaMMMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SmusevaMMMR22
Daria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi:
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. 317-336
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DArgenioFHR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DArgenioFHR22
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

- view
  authority control:
- export record
  dblp key:
  - conf/qest/PiazzaR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/PiazzaR22
Carla Piazza, Riccardo Romanello:
Mirrors and Memory in Quantum Automata. 359-380
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JensenKLNMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JensenKLNMM22
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.