Tesis Defendidas

A continuación se listan las Tesis Doctorales defendidas en el programa de Doctorado en Software, Sistemas y Computación (las tesis que han recibido Premios extraordinarios de Doctorado están etiquetadas con Premio extraordinario de Doctorado).

2021

Tesis Doctorales presentadas en 2021, con el título, el autor y los directores
Título Autor Directores
Relational Logics for Higher-Order Effectful Programs AGUIRRE GALINDO, Alejandro BARTHE, Guilles
A Gamified Framework to Integrate User Experience into Agile Software Development Process ALHAMMAD, Manal MORENO SÁNCHEZ-CAPUCHINO, Ana María
Gestión de datos masivos: carga y elasticidad AZQUETA ALZÚAZ, Ainhoa PATIÑO MARTÍNEZ, Marta
Improvements of Data Management Through Fuzzy Logic DEEDAR, Mohammad Halim MUÑOZ HERNÁNDEZ, Susana
Modelado y Gestión de la Motivación en Sistemas Computacionales FERNÁNDEZ-AVILÉS PEDRAZA, Daniel ANTONIO JIMÉNEZ, Angélica de;
VILLALBA MORA, Elena
A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking KLEMEN, Maximiliano LÓPEZ GARCÍA, Pedro
Motor Consultas Analíticas Políglota KRANAS, Pavlos PATIÑO MARTÍNEZ, Marta;
JIMÉNEZ PERIS, Ricardo
Understanding Clinical Narratives in Oncological Domain NAJAFABADIPOUR, Marjan MENASALVAS RUIZ, Ernestina
Integración de un Sistema de Diálogo con un Sistema Inteligente de Tutoría dirigido al entrenamiento procedimental PALADINES MORÁN, José Nevardo RAMÍREZ RODRÍGUEZ, Jaime
Un modelo prototipado por un Sistema Multiagente para la identificación y evaluación permanente de conocimientos tácitos empresariales PAOLINO FRANCO, Lilyam LÓPEZ GÓMEZ, Genoveva;
LIZCANO CASAS, David
A Technology-Agnostic Approach to Auto-Scale Services in Heterogeneous Clouds RAMPÉREZ MARTÍN, Víctor SORIANO CAMINO, Francisco Javier

2020

Tesis Doctorales presentadas en 2020, con el título, el autor y los directores
Título Autor Directores
Premio extraordinario de Doctorado Advanced Evaluation Techniques for (Non)-Monotonic Reasoning using Rules with Constraints ARIAS HERRERO, Joaquín CARRO LIÑARES, Manuel
Programadores con dislexia: programación visual frente a la programación textual GONZÁLEZ ALVARÁN, Luis Fernando FUERTES CASTRO, José Luis;
MARTÍNEZ NORMAND, Loïc
New Perspectives on Classical Automata Constructions GUTIÉRREZ VIEDMA, Elena GANTY, Pierre
Caracterización de enfermedades basada en su información fenotípica recuperada mediante la extracción de conocimiento biomédico de fuentes de información públicas LAGUNES GARCÍA, Gerardo RODRÍGUEZ GONZÁLEZ, Alejandro
Marco integrado de desarrollo de aplicaciones móviles: Un enfoque ágil MARTÍNEZ ESPINOZA, Mauro Danilo FERRÉ GRAU, Xavier
Investigación y Caracterización de Modelos de Calidad de Componentes Web MARTÍNEZ ORTIZ, Andrés Leonardo LÓPEZ GÓMEZ, Genoveva;
LIZCANO CASAS, David
Madurez en la Identificación y Evaluación de Riesgos en Ciberseguridad REA GUAMÁN, Ángel Marcelo CALVO-MANZANO VILLALÓN, José Antonio
Proceso para la Agregación de Experimentos en Ingeniería del Software RIOFRÍO OJEDA, Patricia Ángeles JURISTO JUZGADO, Natalia;
VEGAS HERNÁNDEZ, Sira
On the Use of Quasiorders in Formal Language Theory VALERO MEJÍA, Pedro GANTY, Pierre
Premio extraordinario de Doctorado Learning Secrets and Models from Execution Time VILA BAUSILI, José KÖPF, Boris

2019

Tesis Doctorales presentadas en 2019, con el título, el autor y los directores
Título Autor Directores
Premio extraordinario de Doctorado Enabling Quantum Cryptography in Novel Network Paradigms AGUADO MARTÍN, Alejandro MARTÍN AYUSO, Vicente;
LÓPEZ ÁLVAREZ, Víctor
A Model Driven Methodology for the Construction of Reliable Concurrent Software ALBORODO FERNÁNDEZ, Raúl Néstor Neri MARIÑO CARBALLO, Julio
Understanding the Evolution of Android Applications CALCIATI, Paolo GORLA, Alessandra
On the Security of Cache Algorithms CAÑONES MARTÍN, Pablo KOEPF, Boris
Desarrollo e implantación de herramientas para el registro y análisis de datos y el soporte a la decisión como base para la medicina de precisión en Oncología CRUZ BERMÚDEZ, Juan Luis MENASALVAS RUIZ, Ernestina;
PROVENCIO PULLA, Mariano
Premio extraordinario de Doctorado A Systematic Empirical Analysis of Unwanted Software Abuse, Prevalence, Distribution and Economics KOTZIAS, Platon Pantelis CABALLERO BAYERRI, Juan
Métodos y algoritmos en problemas de decisión de grupo a partir de relaciones de preferencia fuzzy MARTÍNEZ CÉSPEDES, María Luisa DOPAZO GONZÁLEZ, Esther
Algoritmos de segmentación semántica para anotación de imágenes ORTIZ TORO, César Antonio MENASALVAS RUIZ, Ernestina;
GONZALO MARTÍN, Consuelo
Modelo de fusión holónica de información para la mejora de la calidad de la información en redes peer-to-peer con recursos limitados PAGGI STRANEO, Horacio Ariosto SORIANO CAMINO, F. Javier;
LARA TORRALBO, Juan Alfonso
Lineage Inference of Packed Malware Using Binary Code Similarity UL HAQ, Irfan CABALLERO BAYERRI, Juan

2018

Tesis Doctorales presentadas en 2018, con el título, el autor y los directores
Título Autor Directores
Automated analysis of cryptographic constructions AMBRONA CASTELLANOS, Miguel BARTHE, Gilles
Patrones Organizativos para la Integración de Usabilidad de Software CARVAJAL JIMÉNEZ, Carmen Liliana MORENO SÁNCHEZ-CAPUCHINO, Ana María
eJason: a Framework for Distributed and Fault-tolerant Multi-Agent Systems FERNÁNDEZ DÍAZ, Álvaro BENAC EARLE, Clara;
FREDLUND, Lars-Åke
Proving Consistency of Concurrent Data Structures and Transactional Memory Systems KHYZHA, Artem GOSTMAN, Alexey
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development LIQAT, Umer LÓPEZ GARCÍA, Pedro
Premio extraordinario de Doctorado Crytographic Techniques for the Security of Cloud and Blockchain Systems NIZZARDO, Luca FIORE, Dario
Evidencias de la Existencia de Errores Estadísticos en Experimentos de Ingeniería del Software: Cuatro Estudios Empíricos REYES CHICANGO, Rolando Patricio JURISTO JUZGADO, Natalia;
DIESTE TUBÍO, Óscar
Tools for the Detection and Analysis of Potentially Unwanted Programs RIVERA GUEVARA, Richard Paúl CABALLERO BAYERRI, Juan
Improving Run-time Checking in Dynamic Programming Languages STULOVA, Nataliia MORALES, José Francisco;
HERMENEGILDO SALINAS, Manuel

2017

Tesis Doctorales presentadas en 2017, con el título, el autor y los directores
Título Autor Directores
Complex Networks and data mining: Toward a new perspective for the understanding of air transportation BELKOURA, Seddik LATORRE DE LA FUENTE, Antonio;
ZANIN, Massimiliano
Usability Testing Guide for Mobile Applications Focused on People with Down Syndrome (USATESTDOWN) CÁLIZ RAMOS, Doris Cruz MARTÍNEZ NORMAND, Loïc
Big Medical Text Analytics: Querying, Searching and Understanding Clinical Data COSTUMERO MORENO, Roberto MENASALVAS RUIZ, Ernestina;
GONZALO MARTÍN, Consuelo
Impacto de la instrumentación en los experimentos de Ingeniería del Software: Aplicación a experimentos de Test-Driven Development UYAGUARI UYAGUARI, Fernando DIESTE TUBÍO, Óscar;
VEGAS HERNÁNDEZ, Sira