Formal methods for zero-defect aerospace software

Please see sub-projects for details

ETAPS Best Paper Award
April 11, 2024
The paper entitled “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has received the EAPLS (Eur. Association …
Leopoldina
March 21, 2024
Joost-Pieter Katoen has been elected as member of Leopoldina, the German Academy of Sciences. This academy was established in 1652 and is the oldest academy in the world. Katoen is …
Paper at OOPSLA 2024
February 24, 2024
The paper entitled “Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions” by Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase and Joost-Pieter Katoen has been accepted for the …