FFG FATE [2022-2025] - robustness and stability of mixed-signal ICs
FFG ADEX [2020-2023] - systematic testing for autonomous driving
H2020 FOCETA [2020-2023] - mining environments for security, runtime verification and enforcement
FFG ADVANCED [2019-2022] - robustness and reliability of mixed-signal ICs
FFG TRUSTED [2019-2022] - threat modelling and repair, security testing in the automotive
ECSEL iDev40 [2018-2021] - verification and testing of adaptive systems
ECSEL AutoDrive [2017-2020] - predictive monitoring
ECSEL Productive 4.0 [2017-2020] - property measuring, fault localization and explanation
ECSEL ENABLE-S3 [2016-2019] - V&V methodology
FFG HARMONIA [2014-2017] - specification languages, real-time monitoring
EDA MISTRAL [2014-2017] - specification languages and design-time monitoring, property measuring, fault explanation