My Projects

Ongoing
  • 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.

Past
  • 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.