| 2026 |
|---|
| DOI | Philipp Schröer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation); v1, Zenodo, 2026. |
| DOI | Joost-Pieter Katoen. The Optimal Strategy to Meet the Deadline: Ask Christel!, Principles of formal quantitative analysis : essays dedicated to Christel Baier on the occasion of her 60th birthday / Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, editors, 1-14, Springer, 2026. |
| DOI | Joost-Pieter Katoen. Facing Uncertainty in AI: From Formal Verification To Synthesis, Theoretical aspects of computing – ICTAC 2025 : 22nd international colloquium, marrakech, morocco, november 24–28, 2025, proceedings / edited by zhiming liu, adnane saoud, heike wehrheim, 27-30, Springer Nature Switzerland, 2026. |
| DOI | Dominik Geißler, Tobias Winkler. Weighted Automata for Exact Inference in Discrete Probabilistic Programs, Theoretical aspects of computing – ICTAC 2025 : 22nd international colloquium, marrakech, morocco, november 24–28, 2025, proceedings / edited by zhiming liu, adnane saoud, heike wehrheim, 261-278, Springer Nature Switzerland, 2026. |
| DOI | Martin Baum. Heuristic circuit mapping strategies for the SpinBus architecture, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2026. |
| DOI | Linus Heck, Tim Quatmann, Jip Josephine Spel, Joost-Pieter Katoen, Sebastian Junges. Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains, Automated technology for verification and analysis : 23rd international symposium, ATVA 2025, bengaluru, india, october 27-31, 2025 : proceedings / meenakshi D´souza, raghavan komondoor, B. Srivathsan, editors, 207-230, Springer, 2026. |
| DOI | Philipp Schroer, Joost-Pieter Katoen. Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version), 46 Seiten, 2026. |
| Samuel Akinlaja. Which probabalistic programs are modelcheckable?, 2026. |
| DOI | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. The revised practitioner’s guide to MDP model checking algorithms, 31 Seiten, Springer, 2026. |
| DOI | Jonas Seidel. Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2026. |
| Xufei Xie. Visualizing execution-schedules for conveyor-based quantum computing hardware, 2026. |
| Matthias Wessling, Sebastian Brosch, Ann-Kathrin Mertens, Lea Maria Steinbeck, Richard Paul. Verfahren zur Herstellung flächiger, poröser Hydrogele mittels Fluss-Lithographie, 13 Seiten : Illustrationen, 2026. |
| DOI | Philipp Schroer, Joost-Pieter Katoen. Highly Incremental: A Simple Programmatic Approach for Many Objectives, Formal methods : 27th international symposium, FM 2026, tokyo, japan, may 18–22, 2026, proceedings, part I / edited by augusto sampaio, marielle stoelinga, 559-577, Springer Nature Switzerland, 2026. |
| DOI | Yangjia Li, Mingshuai Chen, Liangran Zhao, Naijun Zhan, Hui Lu, Guohua Wu, Joost-Pieter Katoen. On termination of polynomial programs with equality conditions, 105487, Elsevier, 2026. |
| DOI | Dominik Geißler, Tobias Winkler. Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs, Theoretical aspects of computing – ICTAC 2025 : 22nd international colloquium, marrakech, morocco, november 24–28, 2025, proceedings / edited by zhiming liu, adnane saoud, heike wehrheim, C1-C1, Springer Nature Switzerland, 2026. |
| DOI | Jonas Deutsch. Bounds for quantum weakest preconditions, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2026. |
| DOI | Arnd Hartmanns, Tim Quatmann, Mark Wijk. Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking, Formal methods : 27th international symposium, FM 2026, tokyo, japan, may 18–22, 2026, proceedings, part I / edited by augusto sampaio, marielle stoelinga, 189-210, Springer Nature Switzerland, 2026. |
| DOI | Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler. Verifying Sampling Algorithms via Distributional Invariants, Formal methods : 27th international symposium, FM 2026, tokyo, japan, may 18–22, 2026, proceedings, part I / edited by augusto sampaio, marielle stoelinga, 259-278, Springer Nature Switzerland, 2026. |
| DOI | Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and explore: symbiotic policy synthesis in POMDPs, 4, Springer Science + Business Media B.V, 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. |