Current projects

  1. Metodologías avanzadas para arquitecturas, diseño y prueba de sistemas software

    GUADALUPE ORTIZ BELLOT

  1. Aplicación de técnicas avanzadas de procesamiento de datos y prueba en la industria.

    MARIA INMACULADA MEDINA BULO

  1. DECISION: plataforma de modelado gráfico, simulación, monitorización y gestión inteligente de redes de abastecimiento de agua

    GUADALUPE ORTIZ BELLOT

Completed projects

2022

  1. Red de Investigación en Ingeniería de Software basada en Búsqueda

    MARIA INMACULADA MEDINA BULO

  2. Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas

    MARIA INMACULADA MEDINA BULO

2020

  1. UNIDAD DE INNOVACIÓN CONJUNTA (UIC) UCA-NAVANTIA ¿ASTILLERO 4.0: DESARROLLO DE UN MODELO PRODUCTIVO NAVAL SOSTENIBLE BASADO EN TECNOLOGÍAS DE FABRICACIÓN AVANZADA Y HABILITADORAS DE LA INDUSTRIA 4.0 - LÍNEA 7

    ANTONIA ESTERO BOTARO

2019

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

    MARIA INMACULADA MEDINA BULO

2018

  1. GENERACION AUTOMATICA DE ALGORITMOS PARALELOS DE APROXIMACION PARA ARQUITECTURAS DE BAJO CONSUMO USANDO APRENDIZAJE COMPUTACIONAL.

    BERNABE DORRONSORO DIAZ

2014

  1. EXTENSION DE UNA METODOLOGIA DIRIGIDA POR MODELOS PARA SOA 2.0: PRUEBA Y ADAPTACION DE SERVICIOS

    MARIA INMACULADA MEDINA BULO

2011

  1. MODELOS DE SIMULACIÓN BASADOS EN ONTOLOGÍAS Y MEJORA DE PROCESOS PARA SOAS.

    MERCEDES RUIZ CARREIRA