Tesis dirigidas (13) Tesis que han dirigido los miembros del grupo

2023

  1. Speeding up search algorithms with Quantum Computing

    Paulet González, José Javier

    Dirigida por LUIS FERNANDO LLANA DÍAZ

2022

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

    IBIAS MARTINEZ, ALFREDO

    Dirigida 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

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

2020

  1. Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

    Cerro Cañizares, Pablo

    Dirigida por ALBERTO NÚÑEZ COVARRUBIAS
  2. Un lenguaje de dominio específico para mutación de modelos

    Gómez-Abajo, Pablo

    Dirigida por MARÍA DE LAS MERCEDES GARCÍA MERAYO

2017

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

    Camacho González, Carlos Delfin

    Dirigida 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

    Dirigida 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

    Dirigida por ALBERTO NÚÑEZ COVARRUBIAS

2012

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

    Molinero Brizuela, Carlos

    Dirigida por MANUEL NÚÑEZ GARCÍA

2010

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

    ANDRES SANCHEZ, CESAR

    Dirigida 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

    Dirigida 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

    Dirigida 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

    Dirigida por MANUEL NÚÑEZ GARCÍA