TIC025
Grupo UCASE de Ingeniería del Software
Supervised theses (14) Theses supervised by group members
2023
-
Técnicas de prueba avanzadas para la generación de casos de prueba
Valle Gómez, Kevin Jesús
Supervised by MARIA INMACULADA MEDINA BULO y PEDRO DELGADO PEREZ
2022
-
Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores)
La Blunda, Luigi
Supervised by MARIA INMACULADA MEDINA BULO -
ASTREA Framework: Development of Adaptive Monitoring Systems for Dynamic and Mobile Environments
Balderas Diaz, Sara
Supervised by GABRIEL JOSE GUERRERO CONTRERAS
2021
-
Procesamiento de datos heterogéneos en el internet de las cosas
Corral Plaza, David José
Supervised by MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT
2019
-
On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures
Mueller-Bady, Robin
Supervised by MARIA INMACULADA MEDINA BULO
2017
-
Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva
García de Prado Fontela, Alfonso
Supervised by GUADALUPE ORTIZ BELLOT -
Generación automática de casos en procesamiento de eventos con EPL
Gutiérrez Madroñal, Lorena
Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ -
Prueba de mutación evolutiva en entornos orientados a objetos
Delgado Pérez, Pedro
Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ
2015
-
Event-driven principles and complex event processing for self-adaptive network analysis and surveillance systems
Gad, Rüdiger
Supervised by MARIA INMACULADA MEDINA BULO
2014
-
Desarrollo dirigido por modelos de interfaces específicas de dominio para el procesamiento de eventos complejos en arquitecturas orientadas a servicios
Boubeta Puig, Juan
Supervised by MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT
2013
-
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
Estero Botaro, Antonia
Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ -
Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación
García Domínguez, Antonio
Supervised by MARIANO MARCOS BARCENA y MARIA INMACULADA MEDINA BULO
2011
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
Palomo Duarte, Manuel
Supervised by MARIA INMACULADA MEDINA BULO
2009
-
Búsquedas genéticas: métodos de optimización global y optimización combinatoria
Domínguez Jiménez, Juan José
Supervised by MARIA INMACULADA MEDINA BULO