Benjamin Lucien Kaminski

Navedeno

	Vse	Od leta 2020
Navedbe	1478	1113
indeks h	22	22
indeks i10	30	27

380

190

285

201220132014201520162017201820192020202120222023202420256 5 3 17 32 51 79 152 143 159 165 203 371 67

Javni dostop

Prikaži vse

20 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgPreverjeni e-poštni naslov na uol.de
Kevin BatzPostDoc, Programming Principles, Logic, and Verification Group, University College LondonPreverjeni e-poštni naslov na rwth-aachen.de
Federico OlmedoUniversity of ChilePreverjeni e-poštni naslov na dcc.uchile.cl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPreverjeni e-poštni naslov na rub.de
Annabelle McIverMacquarie UniversityPreverjeni e-poštni naslov na mq.edu.au
Philipp SchröerRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityPreverjeni e-poštni naslov na zju.edu.cn
Lena VerschtPhD student at RWTH Aachen and Saarland UniversityPreverjeni e-poštni naslov na cs.uni-saarland.de
Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Linpeng ZhangPhD Student, UCLPreverjeni e-poštni naslov na ucl.ac.uk
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityPreverjeni e-poštni naslov na informatik.rwth-aachen.de
Carroll MorganProfessor, University of New South WalesPreverjeni e-poštni naslov na unsw.edu.au
Justin HsuCornell UniversityPreverjeni e-poštni naslov na justinhsu.net
Gilles BartheMPI-SP and IMDEA Software InstitutePreverjeni e-poštni naslov na mpi-sp.org
Alejandro AguirrePostdoc, Aarhus UniversityPreverjeni e-poštni naslov na cs.au.dk
Arnd HartmannsUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityPreverjeni e-poštni naslov na embedded.rwth-aachen.de
Klaus WehrleProfessor at RWTH Aachen UniversityPreverjeni e-poštni naslov na comsys.rwth-aachen.de

Spremljaj

Benjamin Lucien Kaminski

Druga imenaBenjamin Kaminski

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

Preverjeni e-poštni naslov na cs.uni-saarland.de - Domača stran

quantitative verification program logic probabilistic programming


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	166	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	117*	2017
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	110*	2018
Reasoning about Recursive Probabilistic Programs F Olmedo, BL Kaminski, JP Katoen, C Matheja Logic in Computer Science (LICS), 672-681, 2016	110	2016
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	107	2018
Advanced Weakest Precondition Calculi for Probabilistic Programs BL Kaminski Rheinisch-Westfälische Technische Hochschule Aachen, 2019	78	2019
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	72	2019
Optimistic Value Iteration A Hartmanns, BL Kaminski Computer Aided Verification (CAV), 488-511, 2020	69	2020
On the Hardness of Almost–sure Termination BL Kaminski, JP Katoen Mathematical Foundations of Computer Science (MFCS), 307-318, 2015	67	2015
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	51	2020
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	36*	2021
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	36*	2018
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	36	2011
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	34	2016
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	30	2021
A Weakest Pre-expectation Semantics for Mixed-sign Expectations BL Kaminski, JP Katoen Logic In Computer Science (LICS), 1-12, 2017	29	2017
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	29	2015
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	27	2023
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	27	2023

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji