Projets en cours

  1. Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Projets finalisés

2024

  1. Synthesis of hybrid systems from multimodal datasets

    NARCISO MARTÍ OLIET

2022

  1. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis

    FERNANDO RUBIO DÍEZ

  2. Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis.

    FERNANDO RUBIO DÍEZ

2020

  1. TECNOLOGÍAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE

    NARCISO MARTÍ OLIET

2018

  1. NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.

    NARCISO MARTÍ OLIET

2015

  1. TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE

    NARCISO MARTÍ OLIET

2014

  1. PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

2012

  1. DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO

    NARCISO MARTÍ OLIET

2010

  1. DESARROLLO DE SOFTWARE DE ALTA CALIDAD FIABLE DISTRIBUIDO Y SEGURO -SUBPROYECTOS DE LA UNIVERSIDD COMPLUTENSE DE MADRID-

    NARCISO MARTÍ OLIET

2009

  1. PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID

    NARCISO MARTÍ OLIET

  2. RED MAUDE

    NARCISO MARTÍ OLIET

2006

  1. Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.

    NARCISO MARTÍ OLIET

  2. Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2003

  1. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG

2001

  1. TECNICAS AVANZADAS DE DESARROLLO DE PROGRAMAS EN ENTORNOS DECLARATIVOS (TREND).

2000

  1. DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS

    DAVID DE FRUTOS ESCRIG

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

1997

  1. LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.

    NARCISO MARTÍ OLIET