Articles with public access mandates - Benjamin Lucien KaminskiLearn more
Available somewhere: 19
A New Proof Rule for Almost-Sure Termination
A McIver, C Morgan, BL Kaminski, JP Katoen
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
Mandates: Australian Research Council
Conditioning in Probabilistic Programming
F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018
Mandates: German Research Foundation
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
BL Kaminski, JP Katoen, C Matheja, F Olmedo
Journal of the ACM (J.ACM) 65 (5), 1-68, 2018
Mandates: German Research Foundation
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), 34, 2019
Mandates: German Research Foundation
Optimistic Value Iteration
A Hartmanns, BL Kaminski
Computer Aided Verification (CAV), 488-511, 2020
Mandates: German Research Foundation, Netherlands Organisation for Scientific Research …
On the Hardness of Analyzing Probabilistic Programs
BL Kaminski, JP Katoen, C Matheja
Acta Informatica 56 (3), 255-285, 2019
Mandates: German Research Foundation
Aiming low is harder: Induction for Lower Bounds in Probabilistic Program Verification
M Hark, BL Kaminski, J Giesl, JP Katoen
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2020
Mandates: German Research Foundation, European Commission
Scalable Symbolic Execution of Distributed Systems
R Sasnauskas, OS Dustmann, BL Kaminski, K Wehrle, C Weise, ...
International Conference on Distributed Computing Systems (ICDCS), 333-342, 2011
Mandates: German Research Foundation
A Pre-expectation Calculus for Probabilistic Sensitivity
A Aguirre, G Barthe, J Hsu, BL Kaminski, JP Katoen, C Matheja
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
Mandates: US National Science Foundation
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
Mandates: European Commission
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2023
Mandates: European Commission
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
Mandates: European Commission
PrIC3: Property Directed Reachability for MDPs
K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer
Computer Aided Verification (CAV) 12225, 512–538, 2020
Mandates: US National Science Foundation, US Department of Defense, European Commission
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 (OOPSLA), 1-30, 2022
Mandates: German Research Foundation, European Commission
Generative Datalog with Continuous Distributions
M Grohe, BL Kaminski, JP Katoen, P Lindner
Principles of Database Systems (PODS), 347-360, 2020
Mandates: German Research Foundation, European Commission
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
Mandates: European Commission
Lower bounds for possibly divergent probabilistic programs
S Feng, M Chen, H Su, BL Kaminski, JP Katoen, N Zhan
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 696-726, 2023
Mandates: National Natural Science Foundation of China, European Commission
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
Logic-Based Program Synthesis and Transformation (LOPSTR) 12561, 231-248, 2020
Mandates: German Research Foundation, European Commission
Probabilistic data with continuous distributions
M Grohe, B Lucien Kaminski, JP Katoen, P Lindner
ACM SIGMOD Record 50 (1), 69-76, 2021
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program