Past PhD students

In parentheses, the percentage of my implication in each project.

(50%) Angela VILLOTA GOMEZ who works in a thesis entitled “A Constraint Programming-based Framework for Engineering Software Product Lines” co-supervised with Prof. Camille SALINESI (Univ. Paris 1).

PhD period: October 2015 - 2021.

The main goal of this project was to define a standard set of concepts, practices, and criterion for integrating constraint programming as a framework for software product line engineering.  To achieve this goal, we intend to propose and develop a generic (high-level) constraint system for modelling variability as a constraint satisfaction problem and validate this proposal with several case studies and benchmarks.

(50%) Luisa RINCON who works in a thesis entitled “Evaluation and evolution of guides and methods for adopting software product lines” co-supervised with Prof. Camille SALINESI (Univ. Paris 1).

PhD period: September 2015 - 2021.

The main goal of this thesis was to propose free framework for evaluating company’s motivation and preparation for adopting product lines in a systematic, objective and repeatable way. This framework, named APPLIES intends to provide information for supporting the judgments of decision-makers prior they take any decision in favor or against adopting a product line.

(30%) Houssem CHEMINGUI who did a thesis entitled “Configuration guidée des Lignes de Produits basée sur les traces de processus” co-supervised with Prof. Camille SALINESI (Univ. Paris 1), Prof. Henda BEN GHEZALA (Univ. de Manouba, Tunisie) and Assoc. Prof. Ines GAM (Ecole Nationale des Sciences de l'Informatique, Tunisie)

Ph.D. period: 01/10/2016 – 30/06/2021.

The main goal of this research project was to propose an approach that guides decisions throughout the configuration process of product lines. The guiding is based on mining previous experiences. This project intends to solve the following research questions (i) Which is the state-of-the-art on configuration of product lines, process mining and recommending systems? (ii) What are the best practices in capitalization of useful information and their integration into the product line configuration process? And (iii) How to use the mining event logs to recommend people during the configuration of product lines?

(30%) Sabrine EDDED who did a thesis entitled “Approche Collaborative pour la Configuration des Lignes de Produits” co-supervised with Prof. Camille SALINESI (Univ. Paris 1), Prof. Henda BEN GHEZALA (Univ. de Manouba, Tunisie) and Assoc. Prof. Sihem BEN SASSI (Univ. de Manouba, Tunisie)

Ph.D. period: 01/10/2016 - 29/06/2021.

The main goal of this research was to elaborate a collaborative approach for product line configuration that implies many actors in order to obtain the desired product that satisfies all the requirements of them. To do so, our work focuses in solving two questions: (i) How to divide the configuration tasks between the different actors? And (ii) How to integrate the shared decision process into a single and coherent configuration process? During this process, all the conflicts should be found and solved at runtime.

(25%) Asmaa ACHTAICH who did a thesis entitled “Graphes « State Constraint Transition », un langage pour la spécification formelle des systèmes de systèmes dynamiques” co-supervised with Pr. Camille SALINESI, (Univ. Paris 1), Pr. Ounsa ROUDIES (Univ. Mohammed V - EMI - Rabat) and Pr. Nissrine SOUISSI (Univ. Mohammed V - ENSMR - Rabat)

Ph.D. period: 01/10/2015 – 25/10/2020.

The main objective of this thesis was to define the "State Constraint Transition" language for the formal specification of dynamic systems of systems.  This modeling language, based on the fundamentals of the dynamic product line paradigm, provides an answer to the problems related to the specification of dynamic requirements by introducing the concept of configuration state translating requirements into constraints that allow to control the adequacy of configurations to variable contexts. The proposal was implemented using the Xtext framework, and evaluated with three cases in order to determine on the one hand its expressive power, its ability to scale up to specify large systems and its domain independence, and on the other hand, its perceptual efficiency.

(50%) Daniel CORREA who did a thesis entitled “A Generic Method for Assembling Component-based Software Products: a Product Line Approach” co-supervised with Assoc. Prof. Gloria GIRALDO (Univ. Nacional de Colombia)

Ph.D. period: August 2015 - August 2019.

The main goal of this research is to define, implement and validate a new generic method to define domain reusable components that satisfies a variable reference architecture, to refine these components for particular target applications and to automatically assembles these components into final software products. Tool support will be available and empirical studies with students and practitioners will be developed.

(33%) Juan-Carlos MUÑOZ who did a thesis entitled “A Generic and Extensible Requirements Engineering Framework for Self Adaptive Software Systems” co-supervised with Prof. Camille SALINESI (Univ. Paris 1) and Assoc. Prof. Gabriel TAMURA (Univ. ICESI, Colombie).

Ph.D. period: October 2013 - October 2018.

The main goal of this research project is twofold. First, to characterize requirements for SAS systems from the analysis of the state-of-the-art research works on corresponding approaches and implementations. Second, to analyse and improve the adequacy of the language proposed by Sawyer et al. (2012) in three aspects: (i) power of expressiveness to specify SAS requirements and environmental variability; (ii) completeness of the language constructs with respect to the characterization of SAS requirements; and (iii) practical usability.

(30%) Cosmin DUMITRESCU who did a thesis entitled “CO-OVM: A Practical Approach to Systems Engineering Variability Modelling” co-supervised with Prof. Camille SALINESI (Univ. Paris 1).

Ph.D. period: 01 June 2011 - 02 June 2014.

The main theme of the thesis is the adoption of “Product Line Engineering” techniques for the efficient reuse of systems engineering assets, while satisfying process needs in an automotive industry context. The challenge is twofold: (i) to understand the needs of a mass production industry for which the reuse is usually focused towards physical parts and (ii) to satisfy the needs for capturing variability in complement to systems engineering models, by drawing on software product lines techniques.

The main contribution of the thesis is a metamodel that extends OVM models in order to adopt and adapt variability modelling to MBSE needs. Furthermore, several subjects were developed around this theme of variability modelling in order to improve and complete the systems engineering framework: a derivation approach based on viewpoints and a set of recommendation-based heuristics for the configuration process.