| 2025 |
| DOI | Marsha Chechik, Joost-Pieter Katoen.
Introduction to the Special Collection from FM 2023,
pages 1-2, Springer, 2025. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler.
J-P,
Volume 15260 of LNCS, pages 255-302, Springer, 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 | Kaleb Kierner.
Modeling non-deterministic quantum programs for model checking,
RWTH Aachen University, 2025. |
| DOIFull Text | Alexander Nikolai Bork, Tim Quatmann, Joost-Pieter Katoen, Svenja Maria Stein.
Multi-Cost-Bounded Reachability Analysis of POMDPs,
Volume 286 of Proceedings of machine learning research, pages 354-366, 2025. |
| DOIFull Text | Dominic Sebastian Meiser.
Multi‐agent path finding for reversible conveyors,
RWTH Aachen University, 2025. |
| DOIFull Text | Marcel Eissing.
On the relation of rely-guarantee and assume-guarantee reasoning,
RWTH Aachen University, 2025. |
| DOI | Hossein Hojjat, Erika Ábrahám.
Preface,
pages 103244, Elsevier Science, 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. |
| Johannes Peter Valentin Gaidetzka.
Quantum circuit optimization through eliminating and deferring mid-circuit measurements,
2025. |
| DOI | Thomas Noll, Christina Gehnen, Roy Hermanns.
Quantum Computing,
Volume 15260 of LNCS, pages 201-229, 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 | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano.
Robust Strategies for Stochastic Multi-Agent Systems,
pages 2437-2439, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2025. |
| Dobromir Panayotov.
Scalable qubit routing on the conveyor-based SpinBus architecture,
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. |
| 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. |
| 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 | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen.
Weighted Rewriting,
Volume 337 of Leibniz international proceedings in informatics, pages 6:1-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| DOIFull Text | Tim Quatmann.
What is the best algorithm for MDP model checking?,
pages 431-437, Springer, 2025. |
| 2024 |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou.
A Compositional Semantics of Boolean-Logic Driven Markov Processes,
pages 701-716, IEEE, 2024. |
| DOIFull Text | Philipp Schroer.
A deductive verifier for probabilistic programs,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann.
A Spectrum of Approximate Probabilistic Bisimulations,
Volume 311 of Leibniz international proceedings in informatics, pages 37:1-37:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler.
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains,
Volume 14571 of LNCS, pages 237-257, Springer, 2024. |