- AIDOaRt: AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems, EU ECSEL Joint Undertaking, 2021 - 2024.
- LearnTwins: Learning Digital Twins for the Validation and Verification of Dependable Cyber-Physical Systems, FFG IKT der Zukunft, 2020-2023.
- DES Lab: TU Graz - SAL Dependable Embedded Systems Lab, 2020-2023.
Past
- Dependable Things: Dependable Internet of Things in Adverse Environments, First TU Graz LEAD Project, 2016-2022
- TRUCONF: Trust via cost function driven model based test case generation for non-functional properties of systems of systems, FFG IKT der Zukunft, 2014-01/2018.
- CRYSTAL: Critical System Engineering Acceleration. EU ARTEMIS Joint Undertaking Project, 2013-2016.
- MBAT: Combined Model-based Analysis & Testing of Embedded Systems. EU ARTEMIS Joint Undertaking Project, 2011-2014.
- TRUFAL: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test Case Generation through Model Mutation. FFG FIT-IT, 2011 - 2014.
- MOGENTES: Model-based Generation of Tests for Dependable Embedded Systems. EU FP7 STREP, 2008 - 2011.
- CREDO: Modeling and analysis of evolutionary structures for distributed services. EU FP6 STREP, 2006 - 2009.
