My research focuses on composed software systems, i.e., systems built from interacting components, services, and processes. A central question underlying my work is how the global behavioural properties emerging from such compositions can be preserved as these systems evolve.
I am particularly interested in the behavioural aspects of software systems, where correctness depends not only on what systems do, but also on the order in which actions and interactions occur. Over the years, I have studied this question through different lenses, from the composition, adaptation, verification, and testing of service-based and process-based systems to the analysis of software evolution in large-scale software ecosystems.
My early work developed formal approaches to reason about behavioural mismatches in composed systems and how they can be resolved while preserving global behavioural properties. More recently, I have shifted toward software evolution at ecosystem scale, where changes arise from dependency networks and software supply chains, including security vulnerabilities and update constraints. Across these perspectives, my goal is to understand and support the trustworthy evolution of complex software systems under multiple interacting constraints.
A distinctive feature of my work is the use of formal methods as software engineering tools, combining modelling, analysis, verification, optimisation, and experimentation. Applications, standards, and tool support have always played an important role in my research, from UML and WS-BPEL to BPMN and contemporary software ecosystems.
This work is the result of numerous collaborations with colleagues, including PhD students whom I have had the privilege to (co-)advise: Lina Bentakouk, Huu-Nghia Nguyen, Rania Khefifi, Sara Houhou, and Damien Jaime.
The publications below provide further details on these research activities.
This page is still experimental: some conference references and/or pdf may be missing.
International
National
International
National
last 10 years