Joost-Pieter Katoen

Four Papers at TACAS 2020
December 23, 2019
Four papers have been accepted to TACAS 2020 in Dublin in which our group is involved: “Learning One-Clock Timed Automata” by Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, and …
EAPLS PhD Dissertation Award 2018
December 12, 2019
We are excited to announce that Christian Hensel has won the EAPLS (European Association of Programming Language and Systems) PhD Dissertation Award 2018. His dissertation on “The Probabilistic Model Checker …
Incubator Grant for COMPASS
October 25, 2019
Anzen Engineering has been granted an ESA-BIC Incubator Grant to further develop the COMPASS 3.0 tool that has been developed by the MOVES group in close cooperation with the Embedded …