Concepedia

Kevin Batz

KB

Statistics

Publications

6

Citations

136

H-Index

6

Active since

2019

Affiliations

RWTH Aachen University(Current)

University College London

Saarland University

Kevin Batz is an author at RWTH Aachen University specializing in formal verification, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationVerificationSoftware AnalysisMathematical FoundationsOptimization

Publications per year

2019–2024

6

Publications

6

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · Proceedings of the ACM on Programming Languages · 2019 · 41 citations · Full text

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

Program Checking, Engineering, Verification +22

A Calculus for Amortized Expected Runtimes

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · Proceedings of the ACM on Programming Languages · 2023 · 21 citations · Full text

A Deductive Verification Infrastructure for Probabilistic Programs

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Program Checking, Engineering, Verification +16

Weighted programming: a programming paradigm for specifying mathematical models

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski et al. · Proceedings of the ACM on Programming Languages · 2022 · 17 citations · Full text

Mathematical Programming, Engineering, Analysis Of Algorithm +19

Rows per page

1–5 of 6