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)