Proyectos financiados en convocatorias competitivas
Título del proyecto: ProCode: Rigorous methods for the development of software systems with certified quality and reliability.
Entidad financiadora: Ministerio de Ciencia e Innovación (PID2019-108528RB-C21)
Duración: 2020–2024
Investigador responsable: Narciso Martí Oliet y Fernando Rubio Diez
Título del proyecto: CAVI-ART-2: Validación asistida de programas mediante análisis, anotaciones, demostraciones matemáticas y pruebas de ejecución
Entidad financiadora: Ministerio de Economía y Competitividad (TIN2017-86217-R)
Duración: 2018–2020
Investigador responsable: Ricardo Peña Marí y Francisco J. López Fraguas
Título del proyecto: BLOQUES: Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
Entidad financiadora: Comunidad de Madrid (S2018/TCS-4339)
Duración: 2019–2023
Investigador responsable: Fernando Rubio Diez
Título del proyecto: TRACES: Tecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente
Entidad financiadora: Ministerio de Economía y Competitividad (TIN2015-67522-C3-3-R)
Duración: 2016-2019
Investigador responsable: Narciso Martí Oliet
Título del proyecto: N-Greens Software: Next-Generation Energy-Efficient Secure Software
Entidad financiadora: Comunidad de Madrid (S2013/ICE-2731)
Duración: 2014–2017
Investigador responsable: Francisco J. López Fraguas (grupo GPD)
Título del proyecto: CAVI-ART: Validación asistida de programas mediante análisis, anotaciones, demostraciones matemáticas y pruebas de ejecución
Entidad financiadora: Ministerio de Economía y Competitividad (TIN2013-44742-C4-3-R)
Duración: 2014–2017
Investigador responsable: Ricardo Peña Marí
Título del proyecto: StrongSoft: Tecnologías rigurosas para software de nueva generación abierto y fiable
Entidad financiadora: Ministerio de Economía y Competitividad (TIN2012-39391-C04-04)
Duración: 2013-2015
Investigador responsable: Narciso Martí Oliet
Título del proyecto: PROMETIDOS: Programa de Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid
Entidad financiadora: Comunidad de Madrid (S2009/TIC-1465)
Duración: 2010–2013
Investigador responsable: Narciso Martí Oliet (grupo FADoSS)
Título del proyecto: PROMETIDOS: Programa de Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid
Entidad financiadora: Comunidad de Madrid (S2009/TIC-1465)
Duración: 2010–2013
Investigador responsable: Francisco J. López Fraguas (grupo GPD)
Título del proyecto: STAMP: Software Tools and Multiparadigm Programming
Entidad financiadora: Ministerio de Ciencia e Innovación (TIN2008-06622-C03-01)
Duración: 2009–2012
Investigador responsable: Francisco J. López Fraguas
Título del proyecto: DESAFIOS10: Desarrollo de software de alta calidad, fiable, distribuido y seguro
Entidad financiadora: Ministerio de Ciencia e Innovación (TIN2009-14599-C03-01)
Duración: 2009–2012
Investigador responsable: Narciso Martí Oliet
Título del proyecto: DESAFIOS: Desarrollo de software de alta calidad, fiable, distribuido y seguro
Entidad financiadora: Ministerio de Ciencia y Tecnología (TIN2006-15660-C02-01)
Duración: 2006–2010
Investigador responsable: Narciso Martí Oliet
Título del proyecto: PROMESAS: Programa de métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid
Entidad financiadora: Comunidad de Madrid (S-0505/TIC/0407)
Duración: 2006–2009
Investigador responsable: Narciso Martí Oliet
Título del proyecto: SELF: Formalismos ágiles en Ingeniería del Software
Entidad financiadora: Ministerio de Ciencia y Tecnología (TIN 2004-07943-C04)
Duración: 2004–2007
Investigador responsable: Ernesto Pimentel Sánchez, Universidad de Málaga
Subproyecto: SELF-UCM: Código con Demostración Asociada (TIN 2004-07943-C04-04)
Investigador responsable: Ricardo Peña Marí
Título del proyecto: Metalenguajes para el diseño y análisis integrado de Sistemas Móviles y Distribuidos (MIDAS)
Entidad financiadora: Ministerio de Ciencia y Tecnología (TIC 2003-01000)
Duración: 2003–2007
Investigador responsable: Narciso Martí Oliet
Título del proyecto: Programación funcional paralela y reactiva: tecnología y aplicaciones
Entidad financiadora: CICYT (TIC 2000-0738)
Duración: 2000–2003
Investigador responsable: Ricardo Peña Marí
Título del proyecto: Desarrollo formal de sistemas basados en agentes móviles y evaluación de rendimientos (AMEVA)
Entidad financiadora: CICYT (TIC2000-0701-C02-01)
Duración: 2000–2003
Investigador responsable: David de Frutos Escrig