Kevin Batz

Email
kevin.batz at cs.rwth-aachen.de
Address
Room 4203
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21206

I am a PhD student at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. I am a member of the FRAPPANT project working on probabilistic programs.

2019
DOI fulltext PDF [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, Proceedings of the ACM on programming languages 3 (POPL), pages 34, 2019.
2018
DOI [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times, 27th European Symposium on Programming (ESOP 2018), LNCS, pages 186-213, Springer, 2018.
arXiv:1802.10467 fulltext PDF [bibtex] Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs, 2018. arXiv:1802.10467