The Costa Group

European Projects
- ENVISAGE (Oct 1, 2013 - Sept 31, 2016) [FP7 610582]
  - Elvira Albert (Complutense University of Madrid)
  - Einar Broch Johnsen (COORDINATOR, University of Oslo)
- SUPRA (Jan 1, 2012 - Dec 31, 2013) [Deutsch & Spanish Sc Research Councils, Acciones Integradas Hispano-Alemanas]
  - Elvira Albert (Complutense University of Madrid)
  - Andrey Rybalchenko (Technical Univesity of Munich)
Spanish Projects
- VIVAC (Jan 1, 2013 - Dec 31, 2015) [Spanish Ministry of Science and Innovation TIN2012-38137-C02]
  - Elvira Albert (Complutense University of Madrid)
  - German Puebla (Technical University of Madrid)
- DOVES (Development Of Verifiable and Efficient Software)(January 1, 2009 - December 31, 2013), project code TIN-2008-05624.
- PROMETIDOS-CM (PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro)(Jan. 2010 - Dec. 2013) , project code S-0505/TIC/0407.

European Projects
- HATS (March 1, 2009 - February 28, 2013) [EU IST FET Program. Integrated Project #231620] "Highly Adaptable and Trustworthy Software using Formal Methods"
  - German Puebla (Technical University of Madrid)
  - Reiner Hähnle (Technische Universität Darmstadt)
- MOBIUS (Mobility Usability Security), code IST-15905.
- ASAP (November 1, 2002 - January 31, 2006) [EU IST FET Program Project Number IST-2001-38059] "Advanced Specialization and Analysis for Pervasive Systems" In collaboration with the Universities of Bristol (UK), Roskilde (Denmark), and Southampton (UK).
- CoLogNet (1 Jan 2002 - 31 June 2005) [EU IST FET Network of Excellence IST-2001-33123] "The EU Network of Excellence in Computational Logic"
- AMOS (1 March 2002 - 31 May 2004) [EU IST Program Project Number IST-2001-34717] "Automated Matching of Open Source code" (Localización automática de código abierto) In collaboration with CONECTA (Italy).
Spanish Projects
- MERIT (MÉtodos RIgurosos para sistemas software heTerogéneos y móviles), project code TIN-2005-09207.