| 2026 | ESOP | Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops. | Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler |
| 2026 | FM | Verifying Sampling Algorithms via Distributional Invariants. | Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler |
| 2025 | CAV | Efficient Probabilistic Model Checking for Relational Reachability. | Lina Gerlach, Tobias Winkler, Erika brahm, Borzoo Bonakdarpour, Sebastian Junges |
| 2025 | ICTAC | Weighted Automata for Exact Inference in Discrete Probabilistic Programs. | Dominik Geiler, Tobias Winkler |
| 2025 | TACAS | Fixed Point Certificates for Reachability and Expected Rewards in MDPs. | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken |
| 2024 | TACAS | Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler |
| 2023 | LICS | On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. | Tobias Winkler, Joost-Pieter Katoen |
| 2023 | TACAS | Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. | Tobias Winkler, Joost-Pieter Katoen |
| 2022 | CAV | Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler |
| 2022 | FOSSACS | Model Checking Temporal Properties of Recursive Probabilistic Programs. | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen |
| 2022 | VMCAI | Out of Control: Reducing Probabilistic Models by Control-State Elimination. | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen |
| 2020 | CAV | Stochastic Games with Lexicographic Reachability-Safety Objectives. | Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler |
| 2020 | LICS | Approximating Values of Generalized-Reachability Stochastic Games. | Pranav Ashok, Krishnendu Chatterjee, Jan Kretnsk, Maximilian Weininger, Tobias Winkler |
| 2020 | LOPSTR | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2019 | CONCUR | On the Complexity of Reachability in Parametric Markov Decision Processes. | Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen |