Completed projects

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

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

2016

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

    RICARDO VICENTE PEÑA MARÍ

2013

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2011

  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

2005

  1. Estrategias de control en redes de distribución de Gas.

2004

  1. Arquitectura de un sistema de optimización y planificación logística manipulado a través de servicios web.

    JOSÉ JAIME RUZ ORTIZ

2002

  1. IMPLEMENTACION DE RESTRICCIONES DE DOMINIOS FINITOS EN UN LENGUAJE LOGICO FUNCIONAL.

    FERNANDO SÁENZ PÉREZ

2001

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

1999

  1. SISTEMA DE DESARROLLO PARA APLICACIONES DE HARDWARE RECONFIGURABLE.

    JOSÉ JAIME RUZ ORTIZ

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

1996

  1. EJECUCION PARALELA DE LENGUAJES LOGICOS SOBRE UNA RED DE ESTACIONES DE TRABAJO.

1995

  1. DESARROLLO DE UN ENTORNO DE PROGRAMACION DECLARATIVA CON RESTRICCIONES RESTRICCIONES Y TECNICAS DE EJECUCION PARALELA.