PhD Thesis Committee

​​​

• José Vicente Pereira dos Reis

Streamlining Code Smells: Using Collective Intelligence and Visualization
Department of Information Science and Technology, Instituto Universitário de Lisboa, Portugal

Supervisors: Fernando Brito e Abreu and Glauco Carneiro

Role: External Examiner

Defense date: September 9, 2022

​

• Nadhratunnaim Nasarudin

Combining Fault Localization with Information Retrieval: an Analysis of Accuracy and Performance for Bug Finding

Department of Computer Science, University of York, UK

Supervisor: Richard Paige
Role: Examiner

Defense date: April 4, 2022

​

• Maxime Savary-Leblanc

Augmenting Software Engineers with Modeling Assistants

CRIStAL, Université de Lille, Lille, France

Supervisors: Sébastien Gérard and Xavier Le Pallec
Role: Examiner

Defense date: December 15, 2021

​

• Angela Barriga Rodríguez

PARMOREL: Personalized and Automatic Repair of Models Using Reinforcement Learning

Department of Computer Science, Electrical Engineering and Mathematical Sciences, Western Norway University of Applied Sciences, Bergen, Norway

Supervisors: Rogardt Heldal and Adrian Rutle
Role: Opponent

Defense date: December 6, 2021

​

• Parsa Pourali

A User-Centric Approach to Improve the Quality of UML-like Modelling Tools and Reduce the Efforts of Modelling

Department of Electrical and Computer Engineering, University of Waterloo, Canada.

Supervisors:  Joanne Atlee and Krzysztof Czarnecki
Role: External Examiner

Defense date: January 14, 2020

​

• Eric Rocha de Souza

A Value-Driven Framework for Software Architecture

Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal

Supervisor: Ana Moreira
Role: External Examiner and CAT member 

Defense date: December 18, 2019

​

• Ángel Cuenca Ortega

Partial Evaluation of Equational Logic Theories

Department of Computer Systems and Computation, Universitat Politècnica de València

Supervisors: Maria Alpuente and Santiago Escobar
Role: President of the Evaluation Committee

Defense date: September 27, 2019

​

• Man Zhang 

Uncertainty-wise Cyber-Physical Systems Testing

Simula Research Laboratory & Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo

Supervisors: Tao Yue and Shaukat Ali
Role: First Opponent

Defense date: June 26, 2018

​

• Ana Fernández Saez 

Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach
University of Leiden (The Netherlands), and University of Castilla-La Mancha
Supervisors: Michel R.V. Chaudron and Marcela Genero

Role: External Examiner

Defense date: July, 2019

​

• Horacio Hoyos Rodríguez 

Synthesis of Execution Plans for the QVT Core Language

Department of Computer Science, University of York, UK
Supervisor: Dimitris Kolovos

Role: Titular Board Member (External Examiner)

Defense date: October 25, 2017​

​

• Francesco Basciani

Mining and Enhancing MDE Repositories

Dipartimento di Ingegneria e Scienze Dell’informazione e Matematica, Università Degli Studi Dell'aquila, Italy
Role: External Examiner

Supervisor: Alfonso Pierantonio

Defense date: April 2017

​

• Carlos J. Torrecilla Salinas

A Mature Agile Approach in Web Engineering Contexts 

Computer Languages and Systems Department, University of Seville

Supervisors: Maria José Escalona Cuaresma and Manuel Mejías Risoto

Role: Titular Board Member

Defense date: February 24, 2017

​

• Lilia del Carmen Garcia Mundo

QSGAME-MODEL: A Serious Game Product Quality Model 
Department of Information Systems and Technologies, University of Castilla-la-Mancha
Supervisors: Marcela Genero and Mario Piattini
Role: President of Evaluation Committee
Defense date: July 20, 2016

​

• Sonia Santiago Pinazo

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA” (International PhD distinction).

Department of Computer Science, Universitat Politècnica de València

Supervisor: Santiago Escobar Román
Role: President of Evaluation Committee

Defense date: January 23, 2015

​

• José Javier Berrocal Olmeda

Modeling Business and Requirements Interdependencies for Architectural Decision Making (International PhD distinction)

Department of Computer and Telematic Systems Engineering, University of Extremadura​

Supervisor: Juan Manuel Murillo Rodríguez
Role: Titular Board Member

Defense date: October 30, 2014

​

• Juan Enrique Garrido Navarro

Comprehensive Solution to Improve Collaborative and Features in Ubiquitous and Context-Aware Healthcare environments (International PhD distinction)

Department of Computer Science, University of Castilla-la-Mancha​

Supervisors: Víctor Penichet and Maria Dolores Lozano
Role: Titular Board Member

Defense date: July 28, 2014

​

• Francisco Dantas

Supporting Stability in Composition Programming Tasks

Informatics Department, PUC-Rio, Brazil

Supervisor: Alessandro García

Role: Titular Board Member

Defense date: March 15, 2013

​

• Carlos López Nozal

Detection of Design Defects Through Code Metrics
Department of Computer Science, University of Valladolid, Spain
Supervisors: Yania Crespo and María Esperanza Manso

Role: Titular Board Member

Defense date: December 19, 2012

​

• Yulkeidi Martínez Espinosa

Impact of Model-Driven Development on the improvement of productivity, maintainability and satisfaction of Web 2.0 

Department of Computer Science, University of Valladolid, Spain

Supervisors: Cristina Cachero Castro and Santiago Meliá Beigbeder.

Role: Titular Board Member

Defense date: December 14, 2012

​

• Marta Kristín Lárusdóttir

User Centred Evaluation in Experimental and Practical Settings

School of Computer Science and Communication, Royal Institute of Technology (KTH), Stockholm, Sweden
Supervisor: Jan Gulliksen
Role: Opponent

Defense date: June 8, 2012

​

• Marta Gómez Pérez

Guidelines for Managing Software Development Teams: Experimental Studies on the Impact of Personality and Team Climate on Quality and Job Satisfaction

Department of Computer Science, Universidad Autónoma de Madrid, Spain

Supervisors: Silvia Teresita Acuña and Natalia Juristo

Role: Opponent

Defense date: July 28, 2010

​

• Irene Garrigós Fernández

A-OOH: Extending Web Application Design with Dynamic Personalization (European PhD distinction)

Satisfaction

Department of Computer Science, University of Alicante, Spain

Supervisors: Silvia Teresita Acuña and Natalia Juristo

Role: Titular Board Member

Defense date: July 28, 2010

​

• José Antonio Cruz Lemus

A Measurement-Based Approach for Assessing UML StateChart Diagrams Understandability (European PhD distinction)

Department of Computer Science, University of Castilla-La-Mancha, Spain

Supervisors: Marcela Genero and Mario Piattini

Role: Titular Board Member

Defense date: July 28, 2010