- 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.
2024 | |
---|---|
![]() ![]() |
Lutz Klinkenberg, Christian Blumenthal, , Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, Proceedings of the ACM on programming languages 8 (OOPSLA1), pages 127, ACM, 2024. |
2023 | |
|
Lutz Klinkenberg, Christian Blumenthal, , Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 54 Seiten, 2023. https://arxiv.org/abs/2307.07314 |
Show all |