| 2026 |
| DOI | Philipp Schröer, Darion Haase, Joost-Pieter Katoen.
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation),
Zenodo, 2026. |
| DOI | Joost-Pieter Katoen.
The Optimal Strategy to Meet the Deadline,
Volume 157 of LNCS, pages 1–14, Springer, 2026. |
| DOI | Joost-Pieter Katoen.
Facing Uncertainty in AI,
2026. |
| 2025 |
| DOI | Thomas Noll, Christina Gehnen, Roy Hermanns.
Quantum Computing,
Volume 15260 of LNCS, pages 201-229, Springer, 2025. |
| DOI | .
Principles of verification,
Volume 15260 of LNCS, pages xix, 447 Seiten : Illustrationen, Diagramme, Springer, 2025. |
| DOI | .
Principles of verification,
Volume 15261 of LNCS, pages xiv, 395 Seiten : Illustrationen, Springer, 2025. |
| DOI | .
Principles of verification,
Volume 15262 of LNCS, pages xv, 503 Seiten : Illustrationen, Diagramme, Springer, 2025. |
| DOI | Philipp Schroer, Francesca Randone, Raúl Pardo, Andrzej Wa̧sowski.
Symbolic Quantitative Information Flow for Probabilistic Programs,
Volume 15260 of LNCS, pages 128-154, Springer, 2025. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler.
J-P,
Volume 15260 of LNCS, pages 255-302, Springer, 2025. |
| DOI | Roman Andriushchenko, Alexander Nikolai Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang.
Tools at the Frontiers of Quantitative Verification,
Volume 14550 of LNCS, pages 90-146, Springer, 2025. |
| DOIFull Text | Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen.
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty,
pages 433-469, AI Access Found., 2025. |
| DOI | Marsha Chechik, Joost-Pieter Katoen.
Introduction to the Special Collection from FM 2023,
pages 1-2, Springer, 2025. |
| DOI | Hans Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk.
Riding the Storm in a Probabilistic Model Checking Landscape,
Volume 15261 of LNCS, pages 98-114, Springer, 2025. |
| DOIFull Text | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken.
Fixed Point Certificates for Reachability and Expected Rewards in MDPs,
54 pages, 2025. |
| DOIFull Text | Dominik Geißler.
Automata-based semantics for the probabilistic programming language ReDiP,
RWTH Aachen University, 2025. |
| DOIFull Text | Felix Rauh, Emma Katharina Ahrens, Christina Maria Katharina Büsing, Martin Comis, Felix Engelhardt.
The dial-a-ride problem in primary care with flexible scheduling,
Springer, 2025. |
| DOIFull Text | Tim Quatmann.
What is the best algorithm for MDP model checking?,
pages 431-437, Springer, 2025. |
| DOIFull Text | Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler.
Foundations for Deductive Verification of Continuous Probabilistic Programs,
pages 421-448, ACM, 2025. |
| DOIFull Text | Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges.
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version),
30 pages, 2025. |
| DOI | Hossein Hojjat, Erika Ábrahám.
Preface,
pages 103244, Elsevier Science, 2025. |
| Full Text | .
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023),
Elsevier Science, 2025. |
| DOIFull Text | Mariia Anapolska, Emma Katharina Ahrens, Christina Maria Katharina Büsing, Felix Engelhardt, Timo Gersing, Corinna Marlene Mathwieser, Sabrina Schmitz, Sophia Wrede.
Minimum‐Peak‐Cost Flows Over Time,
pages 1-13, Wiley, 2025. |
| DOIFull Text | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken.
Fixed Point Certificates for Reachability and Expected Rewards in MDPs,
Volume 15697 of LNCS, pages 130-151, Springer, 2025. |
| DOIFull Text | Emil Beothy-Elo.
Effective quantifier-based reasoning for quantitative deductive verification,
RWTH Aachen University, 2025. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler.
Computing Expected Visiting Times and Stationary Distributions in Markov Chains,
pages 23, Springer, 2025. |