Current projects

  1. Métodos rigurosos para el desarrollo de sistemas software fiables y eficientes

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

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

    NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ

Completed projects

2023

  1. 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

2017

  1. Tecnologías rigurosas para software de nueva generación abierto y fiable

    NARCISO MARTÍ OLIET

2013

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

2010

  1. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

2009

  1. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

  2. APLICACIONES DE MÉTODOS FORMALES AL DISEÑO Y ANÁLISIS DE DE SERVICIOS WEB Y COMERCIO ELECTRÓNICO

    ISMAEL RODRÍGUEZ LAGUNA

2006

  1. Testing y evaluación del rendimiento: modelos y aplicaciones a sistemas multi-agente.

    MANUEL NÚÑEZ GARCÍA

  2. Diseño e implementación de sistemas multimedia eficientes con uso de tecnicas formales.

    MANUEL NÚÑEZ GARCÍA