Kevin Batz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | SMT-Based Active Learning of Weighted Automata. | Tiago Ferreira, Kevin Batz, Alexandra Silva |
| 2026 | CAV | Caesar: A Deductive Verifier for Probabilistic Programs. | Philipp Schrer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 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 |
| 2026 | LICS | The Algebra of Iterative Constructions. | Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat |
| 2025 | FOSSACS | Quantifier Elimination and Craig Interpolation: The Quantitative Way. | Kevin Batz, Joost-Pieter Katoen, Nora Orhan |
| 2023 | TACAS | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2022 | ESOP | Foundations for Entailment Checking in Quantitative Separation Logic. | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll |
| 2021 | CAV | Latticed k-Induction with an Application to Probabilistic Programs. | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2020 | CAV | PrIC3: Property Directed Reachability for MDPs. | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2020 | LOPSTR | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2018 | ESOP | How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |