Proyectos vigentes Proyectos en los que participa algún/a investigador/a

  1. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

  2. Métodos formales escalables para aplicaciones en entornos reales

    ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO

Proyectos finalizados Proyectos finalizados en los que ha participado algún/a investigador/a

2022

  1. FORmal models and Technologies for Emerging applications.

    ELVIRA MARÍA ALBERT ALBIOL

2021

  1. Razonamiento formal para tecnologías facilitadoras y emergentes

    ELVIRA MARÍA ALBERT ALBIOL

  2. ENVISAGE-FEI

    ELVIRA MARÍA ALBERT ALBIOL

2018

  1. SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA

    ELVIRA MARÍA ALBERT ALBIOL

  2. Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas

    ELVIRA MARÍA ALBERT ALBIOL

  3. ¿NOS DIRIGIMOS HACIA UNA SOCIEDAD DESINTERMEDIADA? UN ESTUDIO DE LA PARTICIPACIÓN SOCIAL MEDIANTE ANALISIS DE REDES, BIG DATA Y APRENDIZAJE AUTOMÁTICO.

    ADRIÁN RIESCO RODRÍGUEZ

2016

  1. Engineering Virtualized Services

    ELVIRA MARÍA ALBERT ALBIOL

2015

  1. TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES

    ELVIRA MARÍA ALBERT ALBIOL

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

  2. RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS

    ELVIRA MARÍA ALBERT ALBIOL

2009

  1. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2001

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

1998

  1. COMBINACION DE PARADIGMAS DE PROGRAMACION DECLARATIVA (CPD)

1996

  1. PROGRAMACION LOGICO FUNCIONAL CON NUMEROS REALES.

    FRANCISCO JAVIER LÓPEZ FRAGUAS