| 2025 |
|---|
| Glen Jordan Grant. Exploration of certificate sharing for neural network verification, 2025. |
| Sophia Greiwe. Implementation of PRNG-based elimination of intermediate measurements in quantum circuits, 2025. |
| DOI | Mareike Metzler. Evaluating tool support for fault tree analysis of satellite constellations, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| Dobromir Panayotov. Scalable qubit routing on the conveyor-based SpinBus architecture, 2025. |
| Rico Stanosek. Cost-reliability optimal spare part allocation in dynamic fault trees with relaxed spare gates, 2025. |
| Sascha Thiemann. Compilation of quantum programs with control flow primitives in superposition, 2025. |
| DOI | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata, 36th international conference on concurrency theory : CONCUR 2025, august 26-29, 2025, aarhus, denmark / edited by patricia bouyer, jaco van de pol, 31:1-31:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Zihan Zhou. A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games, 36th international conference on concurrency theory : CONCUR 2025, august 26-29, 2025, aarhus, denmark / edited by patricia bouyer, jaco van de pol, 9:1-9:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| Muhammad Asad Murtaza Butt. Extending the assume–guarantee framework for parametric probabilistic automata : From robust valuations to the limits of robust strategies, 2025. |
| DOI | Dominic Sebastian Meiser. Multi‐agent path finding for reversible conveyors, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems, 10th international conference on formal structures for computation and deduction : FSCD 2025, july 14-20, 2025, birmingham, UK / edited by maribel fernández, 6:[1]-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| DOI | Philipp Schroer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version), 2025. |
| DOI | Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Bayesian Inference in Quantum Programs, 52nd international colloquium on automata, languages, and programming : ICALP 2025, july 8–11, 2025, aarhus, denmark / edited by keren censor-hillel, fabrizio grandoni, joël ouaknine, gabriele puppis, 157:1-157:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOI | Christopher Jan-Steffen Brix, Julia Walczak, Nils Michael Lommen, Thomas Noll. Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems, ICLR 2025 workshop: VerifAI: AI verification in the wild : ICLR 2025 workshop VerifAI singapore, apr 27 2025, 1-53, 2025. |
| DOI | Lena Verscht, Benjamin Lucien Kaminski. A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests, 1782-1811, ACM, 2025. |
| DOI | Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski. Partial Incorrectness Logic, 4 Seiten, 2025. |
| DOI | Kevin Batz, Joost-Pieter Katoen, Nora Orhan. Quantifier Elimination and Craig Interpolation: The Quantitative Way, Foundations of software science and computation structures : 28th international conference, FoSSaCS 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 / edited by parosh aziz abdulla, delia kesner, 176-197, Springer Nature Switzerland, 2025. |
| DOI | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata, 2025. |
| Yuchen Yang, Qichang Liu, Christopher Jan-Steffen Brix, Huan Zhang, Yinzhi Cao. CertPHash: Towards Certified Perceptual Hashing via Robust Training, Proceedings of the 34th USENIX security symposium : August 13–15, 2025, seattle, WA, USA, 7839-7856, 2025. |
| DOI | Emma Katharina Ahrens, Christina Gehnen, Lena Franziska Verscht. Report on Probability in Computer Science (PICS) 2024, 32-34, ACM, 2025. |
| DOI | Emma Katharina Ahrens, Jan-Christoph Kassing. Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), 6-7, ACM, 2025. |
| DOI | Ira Justus Fesefeldt. Deductive reasoning about concurrent probabilistic programs, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| 2024 |
|---|
| DOI | Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives, 40-80, Springer Science + Business Media B.V, 2024. |
| DOI | Alexander Ferber. Combining integer programs and graph grammars: Theory and implementation in Attestor, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs, 93, ACM, 2024. |