Metrics and Accepted papers

Metrics

Some numbers related to QEST+FORMATS’25:

• The conference received 64 abstracts, 57 of which were concretized into actual submissions
• Each of these 57 submissions got 3 reviews
• Out of the 57 submissions, 26 have been accepted, for an acceptance rate of 45%.

More numbers on tools and artifacts. Out of the 57 submissions:

• 9 were tool papers, of which one has been accepted
• 31 submissions were accompanied by software artifacts which received additional reviews by the Artifact Evaluation Committee.

  • Based on these reviews, and following the EAPLS guidelines for artifact badging, every artifact was awarded up to two badges (Available

    Functional).

  • Overall, from 15 accepted papers with artifacts reviewed, all 15 received the Available badge, and 14 also the Functional badge.

Accepted papers

• Lina Gerlach, Christof Löding and Erika Abraham, A Hyperlogic for Strategies in Stochastic Games
• Gabriel Dengler, Carlos E. Budde, Laura Carnevali and Arnd Hartmanns, Time-Sensitive Importance Splitting
• Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager, Active Learning of Mealy Machines with Timers
• Oliver Schön, Sofie Haesaert and Sadegh Soudjani, Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates
• Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft, Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
• Benoit Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, Marco Esposito and Dejan Nickovic, Signal Sampling and Optimisation under Symbolic Timed Automata Constraints
• Tobias Gürtler and Benjamin Lucien Kaminski, Programming and Reasoning in Partially Observable Probabilistic Environments
• Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller and Verena Wolf, PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface
• Lukas Wildberger, Anja Hamscher and Jens B. Schmitt, Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server under Piecewise-Linear Arrival Curves
• Wolffhardt Schwabe, Paul Kogel and Sabine Glesner, Learning Mealy Machines with Sparse Observation Tables
• Patrick Wienhöft, Tobias Meggendorfer and Maximilian Weininger, What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
• Andrea Marin, Diletta Olliaro, Sabina Rossi and Daniel Sadoc Menasche, A product-form model for systems with aging objects and similarities
• Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain and Alain Finkel, Tightening the Frontier of Decidability for Decisiveness
• Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga, Fuzzy Fault Trees: the Fast and the Formal
• Lorenz Winkler and Laura Kovács, Positive Almost-Sure Termination of Polynomial Random Walks
• Andrea Esposito, Alessandro Aldini and Marco Bernardo, Noninterference Analysis of Deterministically Timed Reversible Systems
• Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Jaco van de Pol and Laure Petrucci, Controller Synthesis for Parametric Timed Games
• Jun Liu and Maxwell Fitzsimmons, Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
• Abhinav Garg, Madhavan Mukund, Adwitee Roy, B Srivathsan and Gautham Viswanathan, Using communication to bound clock drift in local-timed negotiations
• Sebastiaan Brand, Arend-Jan Quist, Richard M.K. van Dijk and Alfons Laarman, Numerical Errors in Quantitative System Analysis With Decision Diagrams
• Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke and Paula Herber, Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
• Paolo Ballarini, Pierre Cry, Andras Horvath and Pascale Legall, Statistical Bayesian Inference for Stochastic Process Discovery
• Olivier Bouët-Willaumez, Adrien Le Coënt, Benoit Barbot and Nihal Pekergin, Conservation analysis and discrete probabilistic approximations for parameter estimation of biochemical networks
• Fabian Michel and Markus Siegle, Formal Approximations of the Transient Distributions of the M/G/1 Workload Process
• Alireza Nadali, Ashutosh Trivedi and Majid Zamani, On Choice of Loss Functions for Neural Control Barrier Certificates
• Xavier Allamigeon, Pascal Capetillo and Stéphane Gaubert, Computing the Congestion Phases of Dynamical Systems with Priorities and Application to Emergency Departments