Post navigation

Paper in FMSD journal
February 14, 2021
The paper “Markov Automata with Multiple Objectives” by Tim Quatmann, Sebastian Junges and Joost-Pieter Katoen has been accepted for publication in Formal Methods in System Design, a special issue for …
Katoen member KHMW
February 10, 2021
Joost-Pieter Katoen has been elected as new member of the Royal Holland Society of Sciences and Humanities. The KHMW was established in 1752 and is the oldest society of sciences …
Katoen named ACM Fellow
January 14, 2021
Prof. Joost-Pieter Katoen has been named ACM Fellow 2020 for his contributions to model checking of software and probabilistic systems. The ACM Fellows program recognizes the top 1% of ACM …