Person

Dr.

Benjamin Kaminski

Former associate Postdoc

Benjamin Kaminski
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 

Publications related to UnRAVeL

Source Author(s)
[Journal Article]
Aiming low is harder: induction for lower bounds in probabilistic program verification
In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020
[DOI: 10.1145/3371105]
Hark, Marcel
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter
[Dissertation / PhD Thesis]
Advanced weakest precondition calculi for probabilistic programs, 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme, 2019
Kaminski, Benjamin Lucien
[Contribution to a conference proceedings, Journal Article]
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019
[DOI: 10.1145/3290347]
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Noll, Thomas
[Contribution to a book, Contribution to a conference proceedings]
Rule-Based Conditioning of Probabilistic Data
In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018
[DOI: 10.1007/978-3-030-00461-3_20]
van Keulen, Maurice
Kaminski, Benjamin Lucien
Matheja, Christoph
Katoen, Joost-Pieter
[Journal Article]
On the hardness of analyzing probabilistic programs
In: Acta informatica, 2018
[DOI: 10.1007/s00236-018-0321-1]
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
[Journal Article]
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018
[DOI: 10.1145/3208102]
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Olmedo, Federico
[Contribution to a book, Contribution to a conference proceedings]
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018
[DOI: 10.1007/978-3-319-89884-1_7]
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
[Contribution to a conference proceedings, Journal Article]
A new proof rule for almost-sure termination
In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018
[DOI: 10.1145/3158121]
McIver, Annabelle
Morgan, Carroll
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
[Journal Article]
Conditioning in Probabilistic Programming
In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017
[DOI: 10.1145/3156018]
Olmedo, Federico
Gretz, Friedrich
Jansen, Nils
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
et al.
[Contribution to a book, Contribution to a conference proceedings]
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter