Darion Haase

Email: darion.haase at cs.rwth-aachen.de
Address: Room 4231
Ahornstraße 55
D-52074 Aachen
Phone: +49 241 80 21225

I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.

Research

My research currently focuses on parameter synthesis for parametric probabilistic systems, in particular variants of probabilistic timed automata, as part of the DFG project PASYWI: PArameter SYnthesis for reliable, performant and efficient WIreless network protocols.

Teaching

SS 2023	Probabilistic Programming (Seminar)
	Programming Languages (Proseminar)

Publications

You can also find me on dblp and ORCID.

Publications

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	Philipp Schroer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Caesar: A Deductive Verifier for Probabilistic Programs, Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III / edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer, 565-582, Springer Nature Switzerland, 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	Philipp Schroer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version), 2025.
2024
DOI	Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 127, ACM, 2024.
2023
DOI	Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023.
2022
	Darion Haase. A unified slicing framework for probabilistic programs, 2022.