Research Projects

I have participated in over 10 R&D projects, in collaboration with over 40 companies such as:

I also collaborate with OMG (Object Management Group) and IREB (International Requirements Engineering Board) in activities related to the specification of technology standards for system assurance and to requirements engineering certification, respectively.

This is a selection of the projects in which I have participated and the responsibilities that I have held:

  • AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems). EU ECSEL project, EC. Carlos III University of Madrid (in collaboration with 29 European industrial and academic partners). Principal Investigator at Carlos III University of Madrid, work package leader, and task leader. Apr 2016 - Mar 2019.
  • TRC-Research. Collaborative project between the Knowledge Reuse research group at Carlos III University of Madrid and The REUSE Company to boost research in the field of knowledge-based technologies and reuse. Jun 2016 - May 2018.
  • MAGNUS ("Big data como soporte a la toma de decisiones legales”; Big data as support for legal decision-making). National project, Spanish Government. Carlos III University of Madrid (in collaboration with Tirant Lo Blanch). Jun 2015 - Mar 2016.
  • OPENCOSS (Open Platform for EvolutioNary Certification of Safety-critical Systems). EU collaborative large-scale integrating FP7 project, EC. Simula Research Laboratory (in collaboration with 16 European industrial and academic partners). Principal Investigator at Simula, deputy technical coordinator, work package leader, and task leader. Oct 2011 - Mar 2015.
  • Certus-SFI (Centre for Software Verification and Validation). Research-based innovation project, Research Council of Norway. Simula Research Laboratory (in collaboration with six Norwegian industrial partners). Task leader. Oct 2011 - Dec 2014.
  • ProsREQ ("Producción de software orientado a servicios basada en requisitos: la parte funcional”; Production of service-oriented software from requirements: the functional side). National project, Spanish Government. Technical University of Valencia (in collaboration with the Technical University of Catalonia, Spain; Prof. Xavier Franch). Jan 2011 - Sep 2011
  • "Generación de Infraestructuras de Tecnología de Información a partir de Modelos Organizacionales" (Generation of Information Technologies Infrastructures from Organizational Models). National project, Spanish Government. Technical University of Valencia. Principal Investigator. May 2007 - May 2011
  • “From Business Objectives to Information Systems / De los Objetivos de Negocio a los Sistemas de Información”. International project, Spanish Government. Technical University of Valencia (in collaboration with the University of Trento, Italy; Prof. John Mylopoulos and Prof. Paolo Giorgini). Oct 2009 - Mar 2011
  • ITEI (Information Technologies Supporting The Execution Of Innovation Projects). ITEA2 project, EC. Technical University of Valencia. Apr 2008 - Jan 2011
  • SESAMO ("Construcción de servicios software a partir de modelos”; Development of software services from models). National project, Spanish Government. Technical University of Valencia. Dec 2007 - Sep 2010
  • “Automatización de Procesos Orientado a Servicios a Partir de Modelos Organizacionales” (Service-oriented process automation from organizational modes). Regional project, Valencia Regional Government. Technical University of Valencia (in collaboration with CARE Technologies, www.care-t.com). Mar 2006 - Mar 2008
  • DESTINO ("Desarrollo de e-servicios para la nueva sociedad digital”; Development of e-services for the new digital society). National project, Spanish Government. Technical University of Valencia. Oct 2005 - Dec 2007
  • “Producción automática de software a partir de modelos organizacionales” (Automatic software production from organizational models). Regional project, Valencia Regional Government. Technical University of Valencia (in collaboration with CARE Technologies). Oct 2005 - Mar 2006