Funding and Projects (selection)

  • 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 (1993 - 1996)
  • IDERS (1996 - 1998)
  • INFORMA (1998 - 2000)
  • TWO (1999 - 2000)
  • LAW (1996 - 1997)