Tesis dirigides (13) Tesis que han dirigit els membres del grup

2023

  1. Speeding up search algorithms with Quantum Computing

    Paulet González, José Javier

    Dirigida per LUIS FERNANDO LLANA DÍAZ

2022

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

    IBIAS MARTINEZ, ALFREDO

    Dirigida per 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 per 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

    Dirigida per 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

    Dirigida per 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

    Dirigida per 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 per 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 per ALBERTO NÚÑEZ COVARRUBIAS

2012

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

    Molinero Brizuela, Carlos

    Dirigida per MANUEL NÚÑEZ GARCÍA

2010

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

    ANDRES SANCHEZ, CESAR

    Dirigida per 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 per 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 per 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 per MANUEL NÚÑEZ GARCÍA