Benjamin Lucien Kaminski
Title
Cited by
Cited by
Year
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
BL Kaminski, JP Katoen, C Matheja, F Olmedo
European Symposium on Programming (ESOP 2016) 9632, 364-389, 2016
842016
Reasoning about Recursive Probabilistic Programs
F Olmedo, BL Kaminski, JP Katoen, C Matheja
Logic in Computer Science (LICS 2016), 672-681, 2016
562016
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), 4, 2018
49*2018
On the Hardness of Almost–sure Termination
BL Kaminski, JP Katoen
Mathematical Foundations of Computer Science (MFCS 2015), 307-318, 2015
352015
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), 33:1-33:28, 2018
32*2018
Scalable Symbolic Execution of Distributed Systems
R Sasnauskas, OS Dustmann, BL Kaminski, K Wehrle, C Weise, ...
Distributed Computing Systems (ICDCS 2011), 2011 31st International …, 2011
272011
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
BL Kaminski, JP Katoen, C Matheja, F Olmedo
Journal of the ACM (JACM) 65 (5), 1-68, 2018
172018
Understanding Probabilistic Programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015
152015
On the Hardness of Analyzing Probabilistic Programs
BL Kaminski, JP Katoen, C Matheja
Acta Informatica 56 (3), 255-285, 2019
142019
How long, O Bayesian network, will I sample thee?
K Batz, BL Kaminski, JP Katoen, C Matheja
European Symposium on Programming, 186-213, 2018
13*2018
Bounded Model Checking for Probabilistic Programs
N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen
Automated Technology for Verification and Analysis (ATVA 2016) 9938, 68, 2016
122016
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
11*2019
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, 2019
8*2019
A Weakest Pre-expectation Semantics for Mixed-sign Expectations
BL Kaminski, JP Katoen
Logic In Computer Science (LICS 2017), 1-12, 2017
82017
Inferring Covariances for Probabilistic Programs
BL Kaminski, JP Katoen, C Matheja
Quantitative Evaluation of Systems (QEST 2016), 191-206, 2016
72016
Advanced Weakest Precondition Calculi for Probabilistic Programs
BL Kaminski
Rheinisch-Westfälische Technische Hochschule Aachen, 2019
52019
Rule-based conditioning of probabilistic data
M van Keulen, BL Kaminski, C Matheja, JP Katoen
International Conference on Scalable Uncertainty Management, 290-305, 2018
3*2018
Optimistic Value Iteration
A Hartmanns, BL Kaminski
arXiv preprint arXiv:1910.01100, 2019
22019
On The Semantic Intricacies of Conditioning
F Gretz, N Jansen, BL Kaminski, JP Katoen, F Olmedo
Probabilistic Programming Semantics (PPS 2016), 2016
22016
Probabilistic Programs — A Natural Model for Approximate Computations
N Jansen, BL Kaminski, JP Katoen, C Matheja, F Olmedo
Extended Abstracts of the Workshop on Approximate Computing (AC 15), 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20