Folgen
Kevin Batz
Kevin Batz
PhD Student, RWTH Aachen University
Bestätigte E-Mail-Adresse bei rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
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), 1-29, 2019
63*2019
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
K Batz, BL Kaminski, JP Katoen, C Matheja
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
342018
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
222021
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, 524-549, 2021
182021
PrIC3: Property Directed Reachability for MDPs
K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer
International Conference on Computer Aided Verification (CAV), 512-538, 2020
17*2020
Probabilistic program verification via inductive synthesis of inductive invariants
K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja
International Conference on Tools and Algorithms for the Construction and …, 2023
142023
Foundations for entailment checking in quantitative separation logic
K Batz, I Fesefeldt, M Jansen, JP Katoen, F Keßler, C Matheja, T Noll
European Symposium on Programming, 57-84, 2022
142022
Weighted programming: a programming paradigm for specifying mathematical models
K Batz, A Gallus, BL Kaminski, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
132022
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
102023
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
42021
A Deductive Verification Infrastructure for Probabilistic Programs
P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023
3*2023
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
K Batz, TJ Biskup, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 8 (POPL), 2792-2820, 2024
12024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12