Research Projects

I have participated in over 25 R&D projects, in collaboration with tens of 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 education and certification, respectively.

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

• REBECCA (Reconfigurable Heterogeneous Highly Parallel Processing Platform for safe and secure AI). EU HORIZON-KDT-JU project, EC (HORIZON-KDT ref. 101097224; MCIN/AEI/10.13039/501100011033 ref. PCI2022-135043-2; European Union NextGenerationEU/PRTR). University of Castilla-La Mancha (in collaboration with 23 European industrial and academic partners). Co-Principal Investigator at University of Castilla-La Mancha. Feb 2023 - Jul 2026.

• ETHEREAL (Emotional Technologies for Mental Health based on Physiological, Perceptual and Behavioural Responses). National project, Spanish Government (MCIN/AEI/10.13039/501100011033 ref. PID2020-115220RB-C21; ERDF A way of making Europe). University of Castilla-La Mancha.  Sep 2021 - Aug 2024

• Model-Based Assurance of Critical Systems. National project, Spanish Government; Ramon y Cajal Program (MCIN/AEI/10.13039/501100011033 ref. RYC-2017-22836; ESF Investing in your future). University of Castilla-La Mancha. Principal Investigator. Feb 2019 - Jul 2024.

• iRel4.0 (Intelligent Reliability 4.0). EU H2020-ECSEL project, EC (H2020-ECSEL ref. 876659; MCIN/AEI/ 10.13039/501100011033 ref. PCI2020-112240; European Union NextGenerationEU/PRTR). University of Castilla-La Mancha (in collaboration with 78 European industrial and academic partners). May 2020 - Oct 2023.

• VALU3S (Verification and Validation of Automated Systems’ Safety and Security). EU H2020-ECSEL project, EC (H2020-ECSEL ref. 876852; MCIN/AEI/10.13039/501100011033 ref. PCI2020-112001; European Union NextGenerationEU/PRTR). University of Castilla-La Mancha (in collaboration with 41 European industrial and academic partners). Principal Investigator at University of Castilla-La Mancha and task leader. May 2020 - Jul 2023.

• Treasure (Improved Automated Traceability for Assurance of Safety-Critical Systems). Regional project, Castilla-La Mancha Government (JCCM ref. SBPLY/19/180501/000270; ERDF A way of making Europe). University of Castilla-La Mancha. Principal Investigator. Jan 2020 - Mar 2023.

• AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems). EU H2020-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).  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; FPU Program. 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). 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 Region Government. Technical University of Valencia (in collaboration with CARE Technologies). Oct 2005 - Mar 2006.