Teses dirixidas (13) Teses que dirixiron as persoas membros do grupo

2023

  1. Speeding up search algorithms with Quantum Computing

    Paulet González, José Javier

    Dirixida por LUIS FERNANDO LLANA DÍAZ

2022

  1. Applications of Information Theory and Artificial Intelligence to Software Testing

    IBIAS MARTINEZ, ALFREDO

    Dirixida por MANUEL NÚÑEZ GARCÍA
  2. Gestión estratégica de atención al cliente mediante modelos lingüísticos difusos, modelos de decisión y machine learning. Aplicación práctica en entornos B2C y B2B

    MARIN DIAZ, GABRIEL

    Dirixida por RAMÓN ALBERTO CARRASCO GONZÁLEZ, DANIEL GÓMEZ GONZÁLEZ y CARLOS GREGORIO RODRÍGUEZ

2020

  1. Un lenguaje de dominio específico para mutación de modelos

    Gómez-Abajo, Pablo

    Dirixida por MARÍA DE LAS MERCEDES GARCÍA MERAYO
  2. Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

    Cerro Cañizares, Pablo

    Dirixida por ALBERTO NÚÑEZ COVARRUBIAS

2017

  1. Modelando la variabilidad: métodos formales para la representación de líneas de productos software

    Camacho González, Carlos Delfin

    Dirixida por ALBERTO NÚÑEZ COVARRUBIAS y LUIS FERNANDO LLANA DÍAZ

2015

  1. Semántica de simulación para relaciones de conformidad

    MARTÍNEZ TORRES, RAFAEL

    Dirixida por CARLOS GREGORIO RODRÍGUEZ y LUIS FERNANDO LLANA DÍAZ
  2. New simulation techniques for energy aware cloud computing environments

    González Castañé, Gabriel

    Dirixida por ALBERTO NÚÑEZ COVARRUBIAS

2012

  1. A formal approach to the specification of hierarchical multi-agent systems

    Molinero Brizuela, Carlos

    Dirixida por MANUEL NÚÑEZ GARCÍA

2010

  1. Testing activo y pasivo de sistemas con información temporal y probabilística

    ANDRES SANCHEZ, CESAR

    Dirixida por MANUEL NÚÑEZ GARCÍA y MARÍA DE LAS MERCEDES GARCÍA MERAYO

2009

  1. Marcos temporales y probabilísticos para testing formal

    Garcia Merayo, Mercedes

    Dirixida por MANUEL NÚÑEZ GARCÍA

2008

  1. Formalizando el proceso de depuración en programación funcional paralela y perezosa

    Encina Vara, Alberto de la

    Dirixida por LUIS FERNANDO LLANA DÍAZ y FERNANDO RUBIO DÍEZ

2004

  1. Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

    RODRÍGUEZ LAGUNA, ISMAEL

    Dirixida por MANUEL NÚÑEZ GARCÍA