ASTERIx: Automatic System TEsting of inteRactive software applIcations SNF Swiss National Project (2018 - 2022)

Self-Healing Cloud Platform IC Information (2016 - 2019)

Automatic Fault Localization IC Information (2016)

Automatic Failure Prediction IC Information (2015)

ASysT – Automatic System Testing SNF Swiss National Project (2015 - 2017)

ReSpec – Characterizing and Using the Intrinsic Redundancy of Software SNF Swiss National Project (2013 - 2016)

Close: Cloud solving engine. SNF Swiss National Project (2013 - 2016)

DyStaCCo: Dynamic and STatic Analysis Combined for code COverage. SNF Swiss National Project (2013 - 2015)

SHADE: a Self HeAling DEsign methodology. SNF Swiss National Project (2011 - 2015)

Software Self Healing Technologies for COTS based Telecom Cloud Systems. Huawei (2014 - 2015)

Angiogenesis in Health and Disease: In-vivo and in-silico. SNF Swiss National Project ( 2014 - 2017)

RESERVOIR: Resource and Service Virtualisation without Boundaries. European Integrated Project SNF Swiss National Project (2008 - 2011)

AVATAR: Automated coVerAge-based Testing via static-dynamic Analysis. SNF Swiss National Project (2010 - 2012)

PerSeoS: Pervasive Self-Adaptive Software Systems. SNF Swiss National Project (2007 - 2008)

WASH: WorkAround for Self-healing: SNF Swiss National Project 2008-2009.

SHADOWS: Self-Healing Approach to Designing Complex Software Systems. European Strep Project (2006 - 2010)

IPTES European Project (1993 - 1996)

IDERS European Project (1996 - 1998)

INFORMA European Project (1998 - 2000)

TWO European Project (1999 - 2000)

LAW European Project (1996 - 1997)