Lutz Klinkenberg

Email: lutz.klinkenberg at cs.rwth-aachen.de
Address: Room 4203
Ahornstraße 55
D-52074 Aachen
Phone: +49 241 80 21221

I was a former PhD Student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. I successfully finished my PhD at June 20th 2025.

Teaching

I was/am currently involved in the following teaching activities:

Seminars

Courses

PhD Thesis

My dissertation is available online:

Supervised Students:

Denise Fromme (Master Thesis)
Thomas Vogt (Master Thesis)
Christian Blumenthal (Master Thesis)
Alexander Salostowitz (Bachelor Thesis)

Publications

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	Lutz Klinkenberg. Analysis of probabilistic programs using generating functions, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 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, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 3 Seiten, 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
DOI	Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions; 1st ed. 2022., Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, Springer International Publishing, 2022.
2021
DOI	Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández, 231-248, Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.], 2021.
2020
DOI	Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020.