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).

2020

Tesis Doctorales presentadas en 2020, con el título, el autor y los directores
Título Autor Directores
Advanced Evaluation Techniques for (Non)-Monotonic Reasoning using Rules with Constraints ÁRIAS 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
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