MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Thesis
-
Verificación formal en ACL2 del Algoritmo de Buchberger 2003
Universidad de Sevilla
Supervised Theses (13)
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica 2024
Universidad de Cádiz
-
Técnicas de prueba avanzadas para la generación de casos de prueba 2023
Universidad de Cádiz
-
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
La Blunda, Luigi
-
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
Mueller-Bady, Robin
-
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
Gad, Rüdiger
-
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
García Domínguez, Antonio
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL 2011
Universidad de Cádiz
-
Búsquedas genéticas: métodos de optimización global y optimización combinatoria 2009
Universidad de Cádiz
Theses Committees (9)
-
Chair of the Committee
Democratización de modelos avanzados para la ciencia de datos 2024Universidad de Córdoba (ESP)
BARBUDO LUNAR, RAFAEL
-
Chair of the Committee
Arquitecturas software y herramientas de modelado para la integración del procesamiento de eventos complejos y Blockchain 2023Universidad de Cádiz
-
Chair of the Committee
Una arquitectura de microservicios para componentes digitales en la web de las cosas 2023Universidad de Almería
Mena Vicente, Manel
-
Committee Member
Reforcesme: metodología basada en service design para impulsar el cambio organizacional en PYMES 2023Universidad Rey Juan Carlos
Salgado Quezada, Maricela
-
Committee Member
ASTREA Framework: Development of Adaptive Monitoring Systems for Dynamic and Mobile Environments 2022Universidad de Granada
-
Committee Member
Applications of Information Theory and Artificial Intelligence to Software Testing 2022Universidad Complutense de Madrid
IBIAS MARTINEZ, ALFREDO
-
Committee Member
Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva 2017Universidad de Cádiz
-
Committee Member
COScore: una infraestructura de servicios para el despliegue de aplicaciones Mashup. 2016Universidad de Almería
VALLECILLOS RUIZ, JESÚS
-
Committee Member
Test case prioritization in highly-configurable systems 2016Universidad de Sevilla