Projects

SSF – CHAINS (2022-2027)

Consistent Hardening and Analysis of Software Supply Chains

VR – Clade (2021-2025)

Automatically specialize software libraries for a specific application

Browser Chance Music (2020 – 2021)

Interactive sonification of web browsing

re|thread

Making sense of software through art

DEBLOAT WASP Expedition (2019 – 2021)

Remove unnecessary code across the software stack

Internet of DevOps (2018 – 2021)

Lifecycle visualization tools for continuous developer feedback

SSF – Trustful (2018 – 2023)

Strengthen the security of real life application stacks

WASP chair (2017 – 2023)

Testing and Diversifying Software to Build Reliable Autonomous Systems

H2020 – STAMP (2016 – 2019)

Automatic test amplification to boost QA in DevOps

Cominlabs – PROFILE (2016 – 2019)

Online digital profiling: a multi-disciplinary approach

FP7 – HEADS (2013 – 2017)

New agile software engineering for future computing continuum

FP7 FET – DIVERSIFY (2013 – 2016)

Resilient software through spontaneous diversification

ANR – GEMOC (2012 – 2016)

A Language Workbench for Heterogeneous Modeling

CONNEXION (2012 – 2016)

Requirements modeling for systems engineering

DGA-RAPID MOTIV (2012 – 2014)

Software diversity for moving targets

ITN RELATE (2011 – 2015)

Software engineering for cloud computing

VaryMDE (2011 – 2014)

Variability management in languages and system models

FP7 NoE – NESSoS (2010 – 2014)

Software engineering for secured future internet

FP7 STREP – DIVA (2008 – 2011)

Dynamic variability in complex, adaptive systems

DOMINO (2007 – 2009)

Validation in a model-driven development context

OpenDevFactory (2006 – 2008)

requirements engineering in a software factory for model-driven development

FP7 NoE – AOSD (2004 – 2008)

network on aspect-oriented development

Mutation 2 (2004 – 2005)

Automatic test generation from textual requirements

ITEA CAFE (2001 – 2003)

Software product line testing

International collaborations

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.

2006-2009: Equipe associee MATT in collaboration with Colorado State University – SAL. This is a three year program funded by INRIA – DREI.

2005: Grant from the INRIA – DREI to collaborate with Sudipto Ghosh and Robert France from the CSU – SAL Collaboration on model composition, model transformation and model testing.

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.