| 2026 |
|---|
| DOI | Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops,
Programming languages and systems : 35th European Symposium on Programming, ESOP 2026 : held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026 : proceedings, part I / Robbert Krebbers, editor, 314-343, Springer, 2026. |
| 2025 |
|---|
| DOI | Thomas Noll, Christina Gehnen, Roy Hermanns. Quantum Computing: From Weakest Preconditions to Voltage Pulses,
Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors, 201-229, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape, Part 1,
xix, 447 Seiten : Illustrationen, Diagramme, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part 2,
xiv, 395 Seiten : Illustrationen, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday, Part 3,
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,
Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors, 128-154, Springer, 2025. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler. J-P: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs,
Principles of verification: cycling the probabilistic landscape, Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors, 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 : QComp 2023 Competition Report,
TOOLympics Challenge 2023 : updates, results, successes of the formal-methods competitions / Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, editors, 90-146, Springer, 2025. |
| DOI | Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty,
433-469, AI Access Found., 2025. |
| DOI | Marsha Chechik, Joost-Pieter Katoen. Introduction to the Special Collection from FM 2023,
1-2, Springer, 2025. |
| DOI | Hans Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk. Riding the Storm in a Probabilistic Model Checking Landscape,
Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday : part II / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors, 98-114, Springer, 2025. |
| DOI | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Johannes Zilken. Fixed Point Certificates for Reachability and Expected Rewards in MDPs,
54 Seiten, 2025. |
| DOI | Duo Zhou, Christopher Jan-Steffen Brix, Grani A. Hanasusanto, Huan Zhang. Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes,
Advances in Neural Information Processing Systems 37 (NeurIPS 2024) / edited by: A. Globerson and L. Mackey and D. Belgrave and A. Fan and U. Paquet and J. Tomczak and C. Zhang, 29324-29353, [Verlag nicht ermittelbar], 2025. |
| DOI | Dominik Geißler. Automata-based semantics for the probabilistic programming language ReDiP,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | 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. |
| DOI | Tim Quatmann. What is the best algorithm for MDP model checking?,
431-437, Springer, 2025. |
| DOI | Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler. Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back,
95, ACM, 2025. |
| DOI | Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges. Efficient Probabilistic Model Checking for Relational Reachability (Extended Version),
30 Seiten, 2025. |
| DOI | Hossein Hojjat, Erika Ábrahám. Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023),
103244, Elsevier Science, 2025. |
| . Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue,
Elsevier Science, 2025. |
| DOI | 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,
389-401, Wiley, 2025. |
| DOI | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Johannes Zilken. Fixed Point Certificates for Reachability and Expected Rewards in MDPs; 1st ed. 2025,
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule, 130-151, Springer Nature Switzerland, 2025. |
| DOI | Emil Beothy-Elo. Effective quantifier-based reasoning for quantitative deductive verification,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate,
23, Springer Science + Business Media B.V., 2025. |
| DOI | Carolina Gerlach, Tobias Winkler, Erika Abraham, Borzoo Bonakdarpour, Sebastian Junges. Efficient Probabilistic Model Checking for Relational Reachability,
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I, 127-147, Springer Nature Switzerland, 2025. |