Aktuelle Projekte

NWO Veni: Counting on a reliable water supply (laymen title).

ALLEGIO: Composable Embedded Systems for Healthcar.

MOSES (NWO): More secure SCADA networks through self-awareness.

Abgeschlossene Projekte

ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems.

MatMam: Mean-Filed Approximation techniques for Markov Models.