Benjamin Lucien Kaminski

Cited by

	All	Since 2019
Citations	1328	1122
h-index	21	20
i10-index	28	27

260

130

195

20122013201420152016201720182019202020212022202320246 5 3 17 31 51 82 151 147 152 174 246 246

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Philipp SchröerRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Linpeng ZhangPhD Student, UCLVerified email at ucl.ac.uk
Justin HsuCornell UniversityVerified email at justinhsu.net
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Alejandro AguirrePostdoc, Aarhus UniversityVerified email at cs.au.dk
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Tobias WinklerPhD Student, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
Klaus WehrleProfessor at RWTH Aachen UniversityVerified email at comsys.rwth-aachen.de
Carsten Weiseimbus AGVerified email at imbus.de

Benjamin Lucien Kaminski

Other namesBenjamin Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College London

Verified email at cs.uni-saarland.de - Homepage

quantitative verification program logic probabilistic programming


Title Sort by citations Sort by year Sort by 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) 9632, 364-389, 2016	162	2016
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	111*	2017
Reasoning about Recursive Probabilistic Programs F Olmedo, BL Kaminski, JP Katoen, C Matheja Logic in Computer Science (LICS), 672-681, 2016	110	2016
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	102*	2018
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	97	2018
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	67*	2019
On the Hardness of Almost–sure Termination BL Kaminski, JP Katoen Mathematical Foundations of Computer Science (MFCS), 307-318, 2015	62	2015
Optimistic Value Iteration A Hartmanns, BL Kaminski Computer Aided Verification (CAV), 488-511, 2020	58	2020
Advanced Weakest Precondition Calculi for Probabilistic Programs BL Kaminski Rheinisch-Westfälische Technische Hochschule Aachen, 2019	58	2019
On the Hardness of Analyzing Probabilistic Programs BL Kaminski, JP Katoen, C Matheja Acta Informatica 56 (3), 255-285, 2019	57	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, 2020	43	2020
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	37	2011
How long, O Bayesian network, will I sample thee? K Batz, BL Kaminski, JP Katoen, C Matheja European Symposium on Programming (ESOP), 186-213, 2018	35*	2018
Bounded Model Checking for Probabilistic Programs N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen Automated Technology for Verification and Analysis (ATVA) 9938, 68, 2016	32	2016
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	27	2015
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	26*	2021
A Weakest Pre-expectation Semantics for Mixed-sign Expectations BL Kaminski, JP Katoen Logic In Computer Science (LICS), 1-12, 2017	25	2017
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	24	2021
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 (CAV), 524-549, 2021	23	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	22	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors