Our Team

Mathieu Acher

Mathieu Acher

Associate Professor

ISTIC, Université de Rennes 1
Olivier Barais

Olivier Barais

Professor, acting head of the team

ISTIC, Université de Rennes 1
Benoit Baudry

Benoit Baudry

Senior Researcher INRIA, Professor at KTH, Head of the team

KTH, Sweden
Arnaud Blouin

Arnaud Blouin

Associate Professor

INSA Rennes
Johann Bourcier

Johann Bourcier

Associate Professor

ESIR, Université de Rennes 1
Benoît Combemale

Benoît Combemale

Professor

UT2J, Toulouse
Fanny Banor

Fanny Banor

Administrative Assistant

CNRS
Jean-Marc Jézéquel

Jean-Marc Jézéquel

Professor, head of the IRISA lab

ISTIC, Université de Rennes 1
Noel Plouzeau

Noel Plouzeau

Associate Professor

ISTIC, Université de Rennes 1
Didier Vojtisek

Didier Vojtisek

Research Engineer

INRIA Rennes
Caroline Landry

Caroline Landry

Research Engineer

INRIA
Djamel E. Khelladi

Djamel E. Khelladi

CNRS Researcher

IRISA, Université Rennes 1
Juliana Alves Pereira

Juliana Alves Pereira

Post-doctoral researcher

INRIA
Amine Benelallam

Amine Benelallam

Post-doctoral researcher

INRIA
Fabien Coulon

Fabien Coulon

Ph.D. CIFRE, Obeo

UT2J, Toulouse
Manuel Leduc

Manuel Leduc

Pôle d’Excellence Cyber Grant

U. of Rennes
Dorian Leroy

Dorian Leroy

Ph.D. Austrian Tetrabox project

TU Wien, Austria
Alexandre Rio

Alexandre Rio

Ph.D. CIFRE OKWind

U. of Rennes
Oscar Luis Vera Pérez

Oscar Luis Vera Pérez

Ph.D.

INRIA / U. of Rennes
Jean Emile DARTOIS

Jean Emile DARTOIS

Ph.D.

B-COM / U. of Rennes
Gauthier LYAN

Gauthier LYAN

Ph.D.

Keolis / U. of Rennes
Antoine Cheron

Antoine Cheron

Ph.D.

FABERNOVEL / U. of Rennes
Alejandro G. Gómez-Boix

Alejandro G. Gómez-Boix

Ph.D.

INRIA / U. of Rennes
Erwan Picard

Erwan Picard

Ph.D.

IODE / U. of Rennes
June Sallou

June Sallou

Ph.D. Student

U. of Rennes (IRISA & OSUR)
Alif Akbar Pranata

Alif Akbar Pranata

Ph.D.

INRIA / U. of Rennes
Hugo Martin

Hugo Martin

Ph.D.

IRISA / U. of Rennes
Pierre Jeanjean

Pierre Jeanjean

Ph.D.

INRIA
Ludovic Mouline

Ludovic Mouline

Ph.D.

U. of Luxembourg / U. of Rennes
Youssou Ndiaye

Youssou Ndiaye

Ph.D.

Orange / U. of Rennes
Paul Temple

Paul Temple

Ph.D.

INRIA / U. of Rennes

Selected Publications

Recent Publications

More Publications

In working paper or preprint, 2019.
Details PDF Code

In Inria Rennes - Bretagne Atlantique ; IRISA, 2019.
Details PDF Code

In Software Testing, Verification and Reliability, Wiley, 2019.
Details PDF Code

In MTD 2019 - 6th ACM Workshop on Moving Target Defense, 2019.
Details PDF Code

In working paper or preprint, 2019.
Details PDF Code

In Université Rennes 1 ; Université du Luxembourg, 2019.
Details PDF Code

In SmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, IEEE, 2019.
Details PDF Code

In SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, ACM, 2019.
Details PDF Code

In DSM 2019 - 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, ACM Press, 2019.
Details PDF Code

In SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, ACM, 2019.
Details PDF Code

Recent & Upcoming Talks

More Talks

Continuation of the discussion we had two weeks ago about video games and SE, they will present some intriguing state-of-the-art approaches in this direction.
DiverSE Coffee , Nov 28, 2019
Details

Rehearsal of Ludovic's defense in front of all the team.
DiverSE Coffee , Nov 21, 2019
Details

A brainstorm about video games and SE.
DiverSE Coffee , Nov 14, 2019
Details

Alejandro is presenting his paper: 'A Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting'.
DiverSE Coffee , Nov 7, 2019
Details

Alejandro is presenting his paper: 'A Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting'.
DiverSE Coffee , Oct 28, 2019
Details

Presentation of Mathieu's talk at Open Source Summit 2019: Learning the Linux Kernel Configuration Space: Results and Challenges
DiverSE Coffee , Oct 23, 2019
Details

Presentation of Mathieu's talk at Open Source Summit 2019: Learning the Linux Kernel Configuration Space: Results and Challenges
DiverSE Coffee , Oct 23, 2019
Details

Pierre talks about the work he will present during SLE the following week.
DiverSE Coffee , Oct 17, 2019
Details

A summary of the latest news of the team.
DiverSE Coffee , Oct 10, 2019
Details

Nelly Bencomo is presenting her research work.
DiverSE Coffee , Oct 3, 2019
Details

Recent Posts

More Posts

1 min read artificial intelligence, chess, learning, natural language, gpt2

Mathieu Acher published a new Blog Post: GPT-2 and Chess

CONTINUE READING

1 min read scholar, publications, review

Mathieu Acher published a new Blog Post: (Academic) Failures and Successes in 2019

CONTINUE READING

1 min read java, xmass, gifts, Choco

Manuel Leduc published a new Blog Post: Secret Santa for Java Programmers

CONTINUE READING

1 min read artificial intelligence, chess, learning

Mathieu Acher published a new Blog Post: MuZero: A new revolution for Chess?

CONTINUE READING

1 min read linux, open source, lyon, dissemination

Mathieu Acher published a new Blog Post: Talk at Embedded Linux Conference Europe 2019

CONTINUE READING

Projects

All projects

All Languages & Models Testing DevOps Variability

Chaos Engineering for IoT and Network Services. PhD shared between Inria and Bell Labs

The main objectives of the PhD will be to Integrate a chaos engineering principles to IoT Services frameworks to improve the robustness of the software-defined network services using this approach and to explore the concept of equivalence for software-defined network services and propose an approach to constantly evolve the attack surface of the network services.

Faber Novel PhD grant

In this project (2018-2021) with the FaberNovel company (ex ZenGularity) we investigate the abstraction to facilitate the developmennt of hypermedia API

GEMOC Initiative

GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.

GLOSE INRIA/SAFRAN Labs 2017-2021

The GLOSE project develops new techniques for heterogeneous modeling and simulation in the context of systems engineering. It aims to provide formal and operational tools and methods to formalize the behavioral semantics of the various modeling languages used at system-level. These semantics will be used to extract behavioral language interfaces supporting the definition of coordination patterns. These patterns, in turn, can systematically be used to drive the coordination of any model conforming to these languages. The project is structured according to the following tasks: concurrent xDSML engineering, coordination of discrete models, and coordination of discrete/continuous models. The project is funded in the context of the network DESIR, and supported by the GEMOC initiative.

ICT COST Action MPM4CPS (IC1404) 2014-2018

Truly complex, designed systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. Multi-paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). Modelling languages’ engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS. This COST Action promotes the sharing of foundations, techniques and tools, and provide educational resources, to both academia and industry. This is achieved by bringing together and disseminating knowledge and experiments on CPS problems and MPM solutions. Benoit Combemale is a member of the management committee.

Inria Associate Teams **ALE**: Agile Language Engineering (2017-2020)

Software engineering faces new challenges with the advent of modern software-intensive systems such as complex critical embedded systems, cyber-physical systems and the Internet of things. Application domains range from robotics, transportation systems, defense to home automation, smart cities, and energy management, among others. Software is more and more pervasive, integrated into large and distributed systems, and dynamically adaptable in response to a complex and open environment. As a major consequence, the engineering of such systems involves multiple stakeholders, each with some form of domain-specific knowledge, and with an increasingly use of software as an integration layer. Hence more and more organizations are adopting Domain Specific Languages (DSLs) to allow domain experts to express solutions directly in terms of relevant domain concepts. This new trend raises new challenges about designing DSLs, evolving a set of DSLs and coordinating the use of multiple DSLs for both DSL designers and DSL users. ALE will contribute to the field of Software Language Engineering, aiming to provide more agility to both language designers and language users. The main objective is twofold. First, we aim to help language designers to leverage previous DSL implementation efforts by reusing and combining existing language modules. Second, we aim to provide more flexibility to language users by ensuring interoperability between different DSLs and offering live feedback about how the model or program behaves while it is being edited (aka. live programming/modeling).

Keolis PhD grant

In this project (2018-2021) with the Keolis company we investigate the design of smart city transport simulators that combine top-down modelling and IA techniques. In this context, Jean-Marc Jézéquel acts as Ph.D advisor for Gauthier Lyan with David Gross-Amblard.

OKWind PhD grant

In this project with the OKWind company we investigate the design of solutions in favor of self-consumption for small industries or city districts. In this context, Olivier Barais acts as Ph.D advisor for Alexandre Rio with Yoann Maurel.

One Shot Software (OSS) 2017-2019

The OSS project investigates an extreme version of moving target defense where a slightly different version of the application is deployed each time it is used (e.g., for crypto functions or payment services). We investigate the analysis, synthesis and transformation techniques to support diversification at 5 points of a software construction pipeline, which, once combined yield up to billions of variants. We also evaluate the support of diversification as a first class property in DevOps.

Orange PhD grant

In this project with the Orange company we investigate the security of user interfaces. In this context, Olivier Barais acts as Ph.D advisor for Youssou Ndaye with Arnaud Blouin.

PROFILE (Cominlabs) 2016-2019

The PROFILE project brings together experts from law, computer science and sociology to address the challenges raised by online profiling, following a multidisciplinary approach. More precisely, the project will pursue two complementary and mutually informed lines of research: (i) Investigate, design, and introduce a new right of opposition into the legal framework of data protection to better regulate profiling and to modify the behavior of commercial companies towards being more respectful of the privacy of their users; (ii)S Provide users with the technical means they need to detect stealthy profiling techniques as well as to control the extent of the digital traces they routinely produce. As a case study, we focus on browser fingerprinting, a new profiling technique for targeted advertisement. The project will develop a generic framework to reason on the data collected by profiling algorithms, to uncover their inner working, and make them more accountable to users. PROFILE will also propose an innovative protection to mitigate browser fingerprinting, based on the collaborative reconfiguration of browsers.

Stamp EU Project

STAMP stands for Software Testing AMPlification. Leveraging advanced research in automatic test generation, STAMP aims at pushing automation in DevOps one step further through innovative methods of test amplification. December 1, 2016 - November 31, 2019

VaryVary ANR JCJC (2017-2021)

Most modern software systems (operating systems like Linux, Web browsers like Firefox or Chrome, video encoders like x264 or ffmpeg, servers, mobile applications, etc.) are subject to variation or come in many variants. Hundreds of configuration options, features, or plugins can be combined, each potentially with distinct functionality and effects on execution time, memory footprint, etc. Among configurations, some of them are chosen and do not compile, crash at runtime, do not pass a test suite, or do not reach a certain performance quality (e.g., energy consumption, security). In this JCJC ANR project, we follow a thought-provocative and unexplored direction: We consider that the variability boundary of a software system can be specialized and should vary when needs be. The goal of this project is to provide theories, methods and techniques to make vary variability. Specifically, we consider machine learning and software engineering techniques for narrowing the space of possible configurations to a good approximation of those satisfying the needs of users. Based on an oracle (e.g., a runtime test) that tells us whether a given configuration meets the requirements (e.g. speed or memory footprint), we leverage machine learning to retrofit the acquired constraints into a variability that can be used to automatically specialize the configurable system. Based on a relative small number of configuration samples, we expect to reach high accuracy for many different kinds of oracles and subject systems. Our preliminary experiments suggest that varying variability can be practically useful and effective. However, much more work is needed to investigate sampling, testing, and learning techniques within a variety of cases and application scenarios. We plan to further collect large experimental data and apply our techniques on popular, open-source, configurable software (like Linux, Firefox, ffmpeg, VLC, Apache or JHipster) and generators for media content (like videos, models for 3D printing, or technical papers written in LaTeX).

Thesis

Ph.D. & M.Sc.

All Current Previous Ph.D. M.Sc. Industrial Grant Co-Diplomation
Hugo Martin , since Sep, 2018. Project VaryVary.
June Benvegnu-Sallou , since Oct, 2018. Collaboration with the DIMENV@risce team (Geosciences Rennes Unit, OSUR) on modeling for decision making in environmental and hydrological information systems. Supervisors : Johann Bourcier and Jean-Raynald de Dreuzy..
Paul Temple "Investigate the Matrix : Leveraging Variability to Specialize Software and Test Suites" , since Sep, 2015. MESR Grant (National Government of University Ministry; Director: Jean-Marc Jézéquel; Advisor: Mathieu Acher.
Ludovic Mouline "PhD Candidate" , since Nov, 2015. Joint supervision thesis with University of Luxembourg. Co-director: Y. lE TRAON.
Fabien Coulon , since Dec, 2017. Project Kaulua, CIFRE grant with Obeo.
Manuel Leduc , since Nov, 2016. Grant from the Pôle d’Excellence Cyber. Advisor: B. Combemale; Co-advisor: O. Barais.
Dorian Leroy , since Nov, 2016. Funded by the Austrian Tetrabox project. Co-supervision with Manuel Wimmer and Erwan Bousse at TU Wien.
Alexandre Rio , since Oct, 2016. Advisor: O. Barais; Co-advisor: Y. Maurel.

Tags

Contact