Projects

H2020 – STAMP (2016 – 2019)

stamp-logo

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)

clarity-logo

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)

heads-logo

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)

diversify-logo

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.

This project is funded by the Future Emerging Technologies program of the FP7.

ANR – GEMOC (2012 – 2016)

gemoc-logo

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.

GEMOC project

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.

IFIP working group on Secure Engineering

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.

CONNEXION project

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

RELATE project

VaryMDE (2011 – 2014)

Variability management in languages and system models.

This project is a bilateral collaboration with Thales

VaryMDE project

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

http://www.nessos-project.eu/

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

http://www.ict-diva.eu/

DOMINO (2007 – 2009)

This project aims at defining methods and evironments for validation in a model-driven development context.

ANR project.

http://www.domino-rntl.org

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

http://www.usine-logicielle.org/

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

http://www.aosd-europe.net/

Mutation 2 (2004 – 2005)

Automatic test generation from textual requirements.

A Carroll project.

AS-MDA (2004)

Academic working group on Model-Driven Architecture

CNRS project

ITEA CAFE (2001 – 2003)

Software product lines. We specifically invstigated testing techniques for products and product lines.

An ITEA project.

http://www.esi.es/Cafe/

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.