Thesis

  1. Verificación formal en ACL2 del Algoritmo de Buchberger 2003

    Universidad de Sevilla

Supervised Theses (11)

  1. Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores) 2022

    Universidad de Cádiz

    Luigi La Blunda

  2. Procesamiento de datos heterogéneos en el internet de las cosas 2021

    Universidad de Cádiz

    David José Corral Plaza

  3. On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures 2019

    Universidad de Cádiz

    Robin Mueller Bady

  4. Generación automática de casos en procesamiento de eventos con EPL 2017

    Universidad de Cádiz

    Lorena Gutiérrez Madroñal

  5. Prueba de mutación evolutiva en entornos orientados a objetos 2017

    Universidad de Cádiz

    Pedro Delgado Pérez

  6. Event-driven principles and complex event processing for self-adaptive network analysis and surveillance systems 2015

    Universidad de Cádiz

    Rüdiger Gad

  7. Desarrollo dirigido por modelos de interfaces específicas de dominio para el procesamiento de eventos complejos en arquitecturas orientadas a servicios 2014

    Universidad de Cádiz

    Juan Boubeta Puig

  8. Aplicación de la prueba de mutaciones a composiciones de servicios web en ws-bpel para la generación de conjuntos de casos de prueba de calidad 2013

    Universidad de Cádiz

    Antonia Estero Botaro

  9. Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación 2013

    Universidad de Cádiz

    Antonio García Domínguez

  10. Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL 2011

    Universidad de Cádiz

    Manuel Palomo Duarte

  11. Búsquedas genéticasmétodos de optimización global y optimización combinatoria 2009

    Universidad de Cádiz

    Juan José Domínguez Jiménez

Theses Committees (4)

  1. Committee Member

    ASTREA Framework: Development of Adaptive Monitoring Systems for Dynamic and Mobile Environments 2022

    Universidad de Granada

    Sara Balderas Diaz

  2. Committee Member

    Arquitectura orientada a servicios consciente del contextoUna aproximación no intrusiva 2017

    Universidad de Cádiz

    Alfonso García de Prado Fontela

  3. Committee Member

    COScoreuna infraestructura de servicios para el despliegue de aplicaciones Mashup. 2016

    Universidad de Almería

    Jesús Vallecillos Ruiz

  4. Committee Member

    Test case prioritization in highly-configurable systems 2016

    Universidad de Sevilla

    Ana Belén Sánchez Jerez