- Dependable Things: Dependable Internet of Things in Adverse Environments, First TU Graz LEAD Project, 2016-2019
- TRUCONF: Trust via cost function driven model based test case generation for non-functional properties of systems of systems, FFG IKT der Zukunft, 2014-2017.
- 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.