
MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Thesis
-
Verificación formal en ACL2 del Algoritmo de Buchberger 2003
Universidad de Sevilla
Supervised Theses (11)
-
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
-
Procesamiento de datos heterogéneos en el internet de las cosas 2021
Universidad de Cádiz
-
On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures 2019
Universidad de Cádiz
Robin Mueller Bady
-
Generación automática de casos en procesamiento de eventos con EPL 2017
Universidad de Cádiz
-
Prueba de mutación evolutiva en entornos orientados a objetos 2017
Universidad de Cádiz
-
Event-driven principles and complex event processing for self-adaptive network analysis and surveillance systems 2015
Universidad de Cádiz
Rüdiger Gad
-
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
-
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
-
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
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL 2011
Universidad de Cádiz
-
Búsquedas genéticasmétodos de optimización global y optimización combinatoria 2009
Universidad de Cádiz
Theses Committees (4)
-
Committee Member
ASTREA Framework: Development of Adaptive Monitoring Systems for Dynamic and Mobile Environments 2022Universidad de Granada
-
Committee Member
Arquitectura orientada a servicios consciente del contextoUna aproximación no intrusiva 2017Universidad de Cádiz
-
Committee Member
COScoreuna infraestructura de servicios para el despliegue de aplicaciones Mashup. 2016Universidad de Almería
Jesús Vallecillos Ruiz
-
Committee Member
Test case prioritization in highly-configurable systems 2016Universidad de Sevilla