| Quantitative separation logic: a logic for reasoning about probabilistic pointer programs K Batz, BL Kaminski, JP Katoen, C Matheja, T Noll Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 72 | 2019 |
| How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times K Batz, BL Kaminski, JP Katoen, C Matheja Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 36 | 2018 |
| Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning K Batz, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 29 | 2021 |
| A calculus for amortized expected runtimes K Batz, BL Kaminski, JP Katoen, C Matheja, L Verscht Proceedings of the ACM on Programming Languages 7 (POPL), 1957-1986, 2023 | 28 | 2023 |
| Probabilistic program verification via inductive synthesis of inductive invariants K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja International Conference on Tools and Algorithms for the Construction and …, 2023 | 27 | 2023 |
| Latticed k-Induction with an Application to Probabilistic Programs K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer International Conference on Computer Aided Verification, 524-549, 2021 | 25 | 2021 |
| PrIC3: Property Directed Reachability for MDPs K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer International Conference on Computer Aided Verification (CAV), 512-538, 2020 | 24* | 2020 |
| A Deductive Verification Infrastructure for Probabilistic Programs P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023 | 19* | 2023 |
| Weighted programming: a programming paradigm for specifying mathematical models K Batz, A Gallus, BL Kaminski, JP Katoen, T Winkler Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022 | 19 | 2022 |
| Foundations for entailment checking in quantitative separation logic K Batz, I Fesefeldt, M Jansen, JP Katoen, F Keßler, C Matheja, T Noll European Symposium on Programming, 57-84, 2022 | 14* | 2022 |
| Programmatic strategy synthesis: Resolving nondeterminism in probabilistic programs K Batz, TJ Biskup, JP Katoen, T Winkler Proceedings of the ACM on Programming Languages 8 (POPL), 2792-2820, 2024 | 10 | 2024 |
| Generating Functions for Probabilistic Programs L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler Logic-Based Program Synthesis and Transformation: 30th International …, 2021 | 9 | 2021 |
| JP: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs K Batz, BL Kaminski, C Matheja, T Winkler Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version) P SCHRÖER, K BATZ, BL KAMINSKI, JP KATOEN, C MATHEJA arXiv preprint arXiv:2309.07781, 2023 | | 2023 |
| Latticed Craig Interpolation with an Application to Probabilistic Verification M Yang, K Batz, M Chen, JP Katoen, Z Wu, J Yin | | |
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de