Proyectos finalizados

2023

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

    FERNANDO RUBIO DÍEZ

2021

  1. CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución

    FRANCISCO JAVIER LÓPEZ FRAGUAS, RICARDO VICENTE PEÑA MARÍ

2018

  1. Next-GeneRation Energy-EfficieNt Secure Software.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2017

  1. VALIDACIÓN ASISTIDA DE PROGRAMAS MEDIANTE ANÁLISIS, ANOTACIONES, DEMOSTRACIONES MATEMÁTICAS Y PRUEBAS DE EJECUCIÓN

    RICARDO VICENTE PEÑA MARÍ

2014

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2012

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2009

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

  2. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2006

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2001

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

    Mario RODRÍGUEZ ARTALEJO

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

    Mario RODRÍGUEZ ARTALEJO

1996

  1. DEMOSTRACION AUTOMATICA PARA PREORDENES BASADA EN METODOS DE TABLEAUX CON VARIABLES LIBRES.

    ANTONIO GAVILANES FRANCO

1993

  1. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO

1992

  1. BABEL: DISEÐO E IMPLEMENTACION DE UN LENGUAJE LOGICO-FUNCIONAL CONCURRENTE.

    Mario RODRÍGUEZ ARTALEJO

  2. DEDUCCION AUTOMATICA Y PROGRAMACION

    Mario RODRÍGUEZ ARTALEJO