Projets en cours Projets auxquels participe un chercheur

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

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

  1. Sistema IoT innovador orientado a la inclusión y mejora de la autonomía de personas con discapacidad visual

    MARÍA GUIJARRO MATA-GARCÍA, JOAQUÍN RECAS PIORNO

Projets finalisés Projets finalisés auxquels un chercheur a participé

2022

  1. FORmal models and Technologies for Emerging applications

    MANUEL NÚÑEZ GARCÍA

  2. Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud

    ALBERTO NÚÑEZ COVARRUBIAS

2021

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

2020

  1. Streaming video through a MANET for use in humanitarian emergencies

    SIMÓN JAMES PICKIN

  2. Streaming video through a MANET for use in humanitarian emergencies

    SIMÓN JAMES PICKIN

2018

  1. DISCOTEC 2018 (13th International Federated Conference on Distributed Computing Techniques)

    MANUEL NÚÑEZ GARCÍA

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

    MANUEL NÚÑEZ GARCÍA

  3. TÉCNICAS DE VISIÓN COMPUTERIZADA Y RECONSTRUCCIÓN 3D APLICADAS AL ESTUDIO DE LA CABEZA DEL NERVIO ÓPTICO Y ENFERMEDADES ASOCIADAS

    CARLOS GREGORIO RODRÍGUEZ

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

    MANUEL NÚÑEZ GARCÍA

  5. INVESTIGACIÓN Y DESARROLLO DE TECNOLOGÍAS EDUCATIVAS EN LA COMUNIDAD DE MADRID.

    BALTASAR FERNÁNDEZ MANJÓN

2015

  1. ESPECIFICACIÓN Y TESTING DE SISTEMAS ALTAMENTE DISTRIBUIDOS

    MANUEL NÚÑEZ GARCÍA

2013

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

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2012

  1. ADVANCED METHODOLOGIES AND TOOLS FOR TESTING AND SERVICES.

    MANUEL NÚÑEZ GARCÍA

2011

  1. SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2010

  1. FUNDAMENTOS Y APLICACIONES DEL TESTING

    MANUEL NÚÑEZ GARCÍA

2009

  1. MÉTODOS AVANZADOS DE TESTING

    ISMAEL RODRÍGUEZ LAGUNA

  2. METODEOS FORMALES EN SISTEMAS SOFTWER HETEROGENEOS

    FRANCISCO JAVIER LÓPEZ FRAGUAS

2008

  1. Training and Research On Testing

    MANUEL NÚÑEZ GARCÍA

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

2003

  1. PROGRAMACION FUNCIONAL PARALELA Y REACTIVA: TECNOLOGIA Y APLICACIONES.
  2. DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.

    DAVID DE FRUTOS ESCRIG

2000

  1. DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS.

    DAVID DE FRUTOS ESCRIG

  2. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1999

  1. EDEN: DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1997

  1. DISEÐO INTEGRAL DE SISTEMAS DE COMUNICACIONES (DISC)

    DAVID DE FRUTOS ESCRIG

  2. DESARROLLO DE UN LENGUAJE FUNCIONAL CONCURRENTE.

1996

  1. DESARROLLO DE UN LENGUAJE FUNCIONAL-CONCURRENTE.

1995

  1. DESARROLLO E IMPLEMENTACION DE UN LENGUAJE DE PROGRAMACION FUNCIONAL PARA PROGRAMACION CONCURRENTE.

1994

  1. EXTENSIONES DEL LENGUAJE LOTOS: TIEMPO REAL PRIORIDADES PROBABILIDADES MODULARIDAD Y TIPOS EJECUTABLES.

    DAVID DE FRUTOS ESCRIG