Darion Haase
- 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
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. | |