Joost-Pieter Katoen

Paper in Acta Informatica
April 20, 2018
The paper entitled “On the Hardness of Analyzing Probabilistic Programs” by Benjamin Kaminksi, Joost-Pieter Katoen, and Christoph Matheja has been accepted for publication in the journal Acta Informatica. The papers …
Paper in Journal of the ACM
April 13, 2018
The paper entitled “Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms” by Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Federico Olmedo has been accepted for the prestigious journal Journal …
Two papers accepted at FM 2018
April 9, 2018
The papers “Verifying Auto-Generated C Code from Simulink” by Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow, as well as the paper “Formal Verification of …