Camilo CORREA who did a thesis entitled “CLEVER, a Compositional, Learnable, Explainable, Verifiable, Executable, Relational, Recursive and Reifying formalism to represent and simulate Intelligent Self-Adaptive Systems” co-supervised with Jacques ROBIN (Univ. Paris 1, France).
Ph.D. period: December 2020 - December 2024.
The main goal of this project was to develop a framework for the design and implementation of intelligent self-adaptive systems based on the convergence of variability management and symbolic and statistical AI.
Hiba HNAINI who did a thesis entitled “Towards a unifying framework for the specification, formalization, and analysis of secure hardware and software requirements” co-supervised with Assoc. Prof. Joel CHAMPEAU (ENSTA Bretagne, France) and Assoc. Prof. Paola VALLEJO (Univ. EAFIT, Colombia).
Ph.D. period: March 2021 - December 2024.
The main goal of this project was to design and evaluate a new multi-paradigm security modeling approach and its engineering framework (engineering process and tooling) allowing the specification, formalization and analysis of hardware and software security requirements.
Anne-Laure WOZNIAK who did a CIFRE thesis entitled “Innovative framework for testing neural network-based software components for critical systems” co-supervised with Prof. Sergio SEGURA (Universidad de Sevilla, Spain).
Ph.D. period: February 2021 - September 2024.
The main goal of this project was to address the problems related to behavioural anomalies in neural network-based components used in safety-critical systems. In particular we intend to propos a generic method to guide the robustness testing of ML-based systems. The main research question that this work addresses is thus: How can the robustness of ML-based systems be assessed in practice?
Nicolas SUN who did a thesis entitled “Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées” co-supervised with Prof. Ciprian TEODOROV (ENSTA Bretagne, France) and Philippe DHAUSSY (ENSTA Bretagne, France).
Ph.D. period: October 2018 - May 2022.
The main goal of this project was to study Advanced Persistent Threats (APTs) and how to protect systems against them, as current cyber-defence methodologies can protect systems against conventional cyber-threats, but are unable to effectively counter APTs. To address this challenge, this thesis explores the use of the Operational Design methodology, derived from military strategies, to understand how these sophisticated attackers strategize. This mission-oriented methodology, adapted to the APT context, was enriched with the federation of several modelling and analysis processes to produce an operational strategy, and then validated in the context of a water pumping system attack mission.
Angela VILLOTA GOMEZ who did a thesis entitled “A Constraint Programming-based Framework for Engineering Software Product Lines” co-supervised with Prof. Camille SALINESI (Univ. Paris 1).
Ph.D. 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.
Luisa RINCON who did 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.
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?
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.
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.
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.
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.
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.