Joost-Pieter Katoen

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 …
Paper in STTT
October 24, 2019
The paper entitled “IC3 Software Model Checking” by Tim Lange, Martin R. Neuhäußer (Siemens AG), Thomas Noll, and Joost-Pieter Katoen has been accepted for the International Journal on Software Tools …
DFG Project Granted
October 21, 2019
The DFG has informed us that the project proposal “Parameter Synthesis for Reliable, Performant and Efficient Wireless Network Protocols” has been granted. The project aims at developing and using parameter …