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

2023

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

    FERNANDO RUBIO DÍEZ

  2. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

2022

  1. DESARROLLO DE TECNICAS Y METODOLOGIAS FLEXIBLES PARA LA OPTIMIZACION DE SISTEMAS CLOUD

    ALBERTO NÚÑEZ COVARRUBIAS

  2. MODELADO FORMAL Y MÉTODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES.

    MARÍA DE LAS MERCEDES GARCÍA MERAYO, MANUEL NÚÑEZ GARCÍA

2019

  1. DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES

    MANUEL NÚÑEZ GARCÍA

2018

  1. DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADA.

    MANUEL NÚÑEZ GARCÍA

2015

  1. Especificación y Testing de Sistemas Altamente Distribuidos

    MANUEL NÚÑEZ GARCÍA

2013

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA