STUDENTS

Post-Doc Supervision

Defining and Validating Requirements Models for Cloud Services

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

Supervisors: Emilio Insfran and Silvia Abrahao

December 2016 to May 2017 (6 months)

Funded by Euro-Brazilian Windows, Erasmus Mundus, European Commission

Current position: Assistant Professor, Federal Institute of Sergipe, Brazil

Derivation of Software Architectures in Model-Driven Software Product Line Development

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

Supervisors: Silvia Abrahao and Emilio Insfran

March 2014 to February 2015 (1 year)

Funded by Generalitat Valenciana under the VALI+d program

Current position: Associate Professor, Blekinge Institute of Technology (BTH), Sweden

Former PhD Students

  • Irene Priscila Cedillo Orellana (Ph.D. 2017)

Monitoring the Quality of Cloud Services using Models at Runtime (in Spanish)

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

Supervisors: Emilio Insfran and Silvia Abrahao

Funded by Senescyt -Ecuador; University of Cuenca – Ecuador.

Defense date: January 17, 2017

Summa cum laude (International PhD distinction)

Current position: Associate Professor at the University of Cuenca, Ecuador

Derivation, Evaluation and Improvement of Software Architectures in Model-Driven Software Product Line Development (in Spanish)

PhD Program in Software Engineering, Formal Methods and Information Systems, Department of Computer Science, Universitat Politècnica de València

Supervisors: Silvia Abrahao and Emilio Insfran

Funded by Generalitat Valenciana under the VALI+d program

Defense date: February 24, 2014

Summa cum laude (International PhD distinction)

Current position: Associate Professor, Blekinge Institute of Technology (BTH), Sweden

A Usability Inspection Method for Model-driven Web Development Processes

PhD Program in Software Engineering, Formal Methods and Information Systems, Department ofComputer Science, Universitat Politècnica de València

Supervisors: Silvia Abrahao and Emilio Insfrán

Funded by Spanish Ministry of Education under the FPU Program

Defense date: November 16, 2012

Summa cum laude (International PhD distinction)

Current position: UX Research Lead in SCRM - Lidl Digital Hub, Barcelona, Spain

  • Nelly Condori-Fernández (Ph.D. 2007)

A Functional Size Measurement Procedure for Requirements Specification

PhD Program in Software Engineering and Declarative Programming

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

Supervisors: Oscar Pastor and Silvia Abrahao

Defense date: May 16, 2007

Summa cum laude

Current position: Visiting fellow Faculty of ScienceSoftware and Sustainability (S2), Vrije Universiteit Amsterdam & Assistant Professor at University of A Coruña 

Current PhD Students

  • Carlos Cano Genovés

Research topic: Fuzzy Multi-Criteria Decision Making for Goal-Oriented Analysis

Duration: 2018 to 2021

Funded by Universitat Politécnica de València under the FPI program

Supervisors: Emilio Insfran and Silvia Abrahão 

  • Ximena Guerrón

Research topic: Quality-Driven Adaptation of Cloud Service Architectures

Duration: 2018 to 2022

Funded by Ecuador government & Central Bank of Ecuador

Supervisors: Silvia Abrahão 

  • Geovanny Conrado

Research topic: A Model-driven Approach for Managing Security Vulnerabilities in DevOps processes 

Duration: 2018 to 2023 (part time PhD Student)

Supervisors: Silvia Abrahão 

  • Sonia Montagud

Research topic: Psychological Safety in Agile Team Performance

Duration: 2018 to 2023 (part time PhD Student)

Supervisors: Silvia Abrahão ​

  • Luisa Fernanda Gómez Muñoz

Research topic:Model-based Intelligent Microservices Adaptation for DevOps processes

Duration: 2020 to 2024

Supervisors: Emilio Insfran and Silvia Abrahão

  • Daniel Gaspar Figueiredo

Research topic: UX-based Intelligent Model-based User Interface Adaptation

Duration: 2021 to 2025

Funded by Generalitat Valenciana under the ACIF program (Grants for hiring predoctoral research staff)

Supervisors: Silvia Abrahão and Silvia Abrahao

Former MSc Students

  • Daniel Gaspar Figueiredo

Towards a Decision-Making System for the Adaptation of Software Systems based on Electroencephalography (EEG)

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica

Supervisors: Emilio Insfran, Silvia Abrahão and Jean Vanderdonckt

Defense date: September 24, 2021

  • Luisa Fernanda Gómez Muñoz

A Framework of Microservices and Containers Adaptation for DevOps Processes

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica

Supervisors: Silvia Abrahão and Emilio Insfran

Defense date: September 23, 2020

  • Carlos Cano Genovés

Extension and Improvement of a Method for Deriving and Prioritizing Value in Business Processes

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica

Supervisors: Emilio Insfran and Silvia Abrahão 

Defense date: July 24, 2017

  • Raquel Navas

A Quality Model for Cloud Services

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica

Supervisors: Silvia Abrahao and Marta Fernández Diego

Defense date: September 29, 2016

  • Javier Jimenez Gómez

A Method for Specifying Value in Business Process and the Incremental Derivation of Cloud Services

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica

Supervisors: Emilio Insfran, Fernando González and Silvia Abrahao 

Defense date: September 29, 2016

  • Carlos Pérez Castillo

IMBIS: Information Systems for Imaging Biomarkers (MSc thesis carried out in Quirón Hospital)

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica de València

Supervisor: Silvia Abrahão 

Defense date: September 27, 2012

  • Javier González Huerta

Integration of Quality Attributes in Software Product Line Development

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica de València

Supervisors: Silvia Abrahão ​​ and Emilio Insfran

Defense date: September 29, 2011

  • Clara Khachan Cano

A Framework for the Automatic Analysis of Software Product Lines

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica de València

Supervisors: Abel Gómez and Silvia Abrahão 

Defense date: July 14, 2011

  • Sonia Montagud

A SQUARE-based Method for the Quality Assessment of Software Product Lines

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica de València

Supervisors: Silvia Abrahão 

Defense date: December 14, 2009

  • Adrián Fernández

WUEP: A Usability Evaluation Process for Model-Driven Web Development

MSc Program in Software Systems Engineering and Technology, Department of Computer Science, Universitat Politècnica de València

Supervisors: Silvia Abrahão ​​ and Emilio Insfran

Defense date: December 14, 2009

PhD Thesis Committee

  • 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