SSF – Trustfull (2018 – 2023)
Strengthen the security of real life application stacks
The project aims to show that formal techniques can be used in combination with intelligent static and dynamic program manipulation techniques at scale to significantly strengthen the security of real life application stacks. The focus is on software-based attacks: attacks manifested through software that affect the host systems in adversarial ways through bugs, vulnerabilities, and design deficiencies at any level in the software stack.
WASP chair (2017 – 2021)
Testing and Diversifying Software to Build Reliable Autonomous Systems
My research plan focuses on analytical and fault-tolerance approaches, through the development of effcient software testing and software diversification techniques.
I address software reliability in a broad sense, considering the three following properties of software systems: safety, adaptability and security. Software in autonomous systems needs (i) to be correct with respect to its specification, (ii) to resist attacks, and (iii) to be able to sustain inevitable changes in its environment. The diversification and testing techniques that I develop in this research program are the two sides of the same coin that can address these three expectations about software.
H2020 – STAMP (2016 – 2019)
Automatic test amplification to boost QA in DevOps
STAMP will reuse existing assets (test cases, API descriptions, dependency models), in order to generate more test cases and test configurations each time the application is updated. Acting at all steps of development cycle, STAMP techniques aim at reducing the number and cost of regression bugs at unit level, configuration level and production stage.
Cominlabs – PROFILE (2016 – 2019)
Online digital profiling: a multi-disciplinary approach
LEOC – CLARITY (2014 – 2017)
Model Based Systems Engineering Solution Capella
The CLARITY project consists in developing and structuring an ecosystem of major actors (industrials, integrators, technology providers, consultants) centered on the model-based systems engineering solution Capella and its extensions.
FP7 – HEADS (2013 – 2017)
New agile software engineering for future computing continuum
The main objective of the HEADS project is to enable the efficient exploitation of the broad diversity of the future computing continuum for rapid service innovation of advanced services, by providing service developers with new agile tool supported software engineering methods enabling short innovation cycles
This project is funded by the European Commission under the FP7.
FP7 FET – DIVERSIFY (2013 – 2016)
Ecology transfer for more resilient software through spontaneous diversification
The project investigates the diversification of software for adaptation in collaborative adaptive systems. The project gathers software engineering researchers and ecologists.
I coordinate this project.
ANR – GEMOC (2012 – 2016)
A Language Workbench for Heterogeneous Modeling and Analysis of Complex Software-Intensive Systems
The project investigates the simulation of heterogeneous domain-specific modeling languages. Heterogeneity is introduced through the ability to compose operational semantics with different models of computation. Benoit Combemale coordinates the whole project.
This project is funded by the ANR.
IFIP working group on Secure Engineering
The Working Group 11.14 aims to provide a forum for cross-disciplinary investigation of “secure services engineering” with attention also at the software and system aspects.
CONNEXION (2012 – 2016)
In this project the TRISKELL team investigates methods and tools to (i) automatically analyze and compare regulatory requirements evolutions and geographical differences; (ii) automatically generate test cases for interactive systems in variable environments.
This project is funded by the French ministry of industry as part of the investissement d’avenir.
DGA-RAPID MOTIV (2012 – 2014)
Innovative software test generation and management solutions to handle the very high degrees of variability in video processing algorithmic chains. The objective is to provide systematic criteria to qualify the testing activity when developing video processing software.
ITN RELATE (2011 – 2015)
Software engineering for cloud computing.
This project is funded by the ITN Marie Curie Actions
VaryMDE (2011 – 2014)
Variability management in languages and system models.
This project is a bilateral collaboration with Thales
FP7 NoE – NESSoS (2010 – 2014)
Software engineering for secured future internet. In this project I specifically investigate architecture and design of future internet applications. I also co-lead WP7 with Jean-Marc Jézéquel
European network of excellence
FP7 STREP – DIVA (2008 – 2011)
Dynamic variability in complex, adaptive systems. In this project I specifically investigated the verification of adaptation rules and of AOP as an adaptation mechanism.
IST STREP project
DOMINO (2007 – 2009)
This project aims at defining methods and evironments for validation in a model-driven development context.
OpenDevFactory (2006 – 2008)
In this project, we aim at integrating a requirements engineering module in a software factory for model-driven development.
System@tic cluster project
FP7 NoE – AOSD (2004 – 2008)
Aspect Oriented Software Development. In this network we have developped a collaboration with the Trinity College of Dublin (A. Jackson and S. Clarke) that focuses on testing issues for aspect-oriented modelling.
European network of excellence
Mutation 2 (2004 – 2005)
Automatic test generation from textual requirements.
A Carroll project.
Academic working group on Model-Driven Architecture
ITEA CAFE (2001 – 2003)
Software product lines. We specifically invstigated testing techniques for products and product lines.
An ITEA project.
2008-2011: Equipe associee MoCCA in collaboration with Colorado State University – SAL.
2008-2009: Associated researcher to the SENSORIA IP project.
2007-2008: Visiting researcher at the Computer Science Department, Colorado State University.
August 2003: visit Sita Ramakrishnan in Monash University, Melbourne in August 2003 to collaborate on mutation analysis of object-oriented programs.
Collaboration with Lionel Briand and Yvan Labiche from the SQUALL lab in Carleton University>, Ottawa on design by contract for testing object oriented software. Visited a month in 2001 and 2002.