QEST

Keyphrases

Publications

2023

Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST (2023)
Paul D. Ezhilchelvan, Isi Mitrani, Jim Webber
Analysis of an Epoch Commit Protocol for Distributed Processing Systems. QEST (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems Using Barrier Certificates. QEST (2023)
Seyed Mohammadhossein Tabatabaee, Anne Bouillard, Jean-Yves Le Boudec
Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows. QEST (2023)
Benoît Barbot, Nicolas Basset
Max-Entropy Sampling for Deterministic Timed Automata Under Linear Duration Constraints. QEST (2023)
Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. QEST (2023)
Alec Edwards, Mirco Giacobbe, Alessandro Abate
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST (2023)
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST (2023)
Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci
Jajapy: A Learning Library for Stochastic Models. QEST (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST (2023)
Teresa Joven, Jorge Lázaro, Jorge Júlvez
Modeling Uncertain Biomass Composition in Genome-Scale Metabolic Models with Flexible Nets. QEST (2023)
András Horváth, Marco Paolieri, Enrico Vicario
Equilibrium Analysis of Markov Regenerative Processes. QEST (2023)
Benny Van Houdt
On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy. QEST (2023)
David Parker
Multi-agent Verification and Control with Probabilistic Model Checking. QEST (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
YoungMin Kwon, Eunhee Kim, Gul Agha
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST (2023)
Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST (2023)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST (2023)
Aaron Bies, Holger Hermanns, Maximilian A. Köhl, Andreas Schmidt
Matching Distributions Under Structural Constraints. QEST (2023)
Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST (2023)
Lisa Willemsen, Anne Remke, Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST (2023)
Xiaotong Ji, Antonio Filieri
Probabilistic Counterexample Guidance for Safer Reinforcement Learning. QEST (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST (2023)

volume 14287, 2023

Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings QEST 14287 (2023)

2022

volume 13479, 2022

Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings QEST 13479 (2022)

2021

volume 12846, 2021

Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings QEST 12846 (2021)