Person

Dr.

Benjamin Kaminski

Ehem. Assoziierter Postdoc

Benjamin Kaminski

Adresse

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Fachzeitschriftenartikel]
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
[Doktorarbeit]
Advanced weakest precondition calculi for probabilistic programs, 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme, 2019
Kaminski, Benjamin Lucien
[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Fachzeitschriftenartikel]
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
[Fachzeitschriftenartikel]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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
[Fachzeitschriftenartikel]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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