Benjamin Lucien Kaminski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | LICS | The Algebra of Iterative Constructions. | Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat |
| 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 |
| 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 | CAV | Optimistic Value Iteration. | Arnd Hartmanns, Benjamin Lucien Kaminski |
| 2020 | LOPSTR | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2020 | PODS | Generative Datalog with Continuous Distributions. | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner |
| 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 |
| 2017 | LICS | A weakest pre-expectation semantics for mixed-sign expectations. | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
| 2016 | ATVA | Bounded Model Checking for Probabilistic Programs. | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen |
| 2016 | ESOP | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
| 2016 | LICS | Reasoning about Recursive Probabilistic Programs. | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2015 | MFCS | On the Hardness of Almost-Sure Termination. | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
| 2011 | ICDCS | Scalable Symbolic Execution of Distributed Systems. | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |