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
Amine Benelallam

Amine Benelallam

Post-doctoral researcher

INRIA
Juliana Alves Pereira

Juliana Alves Pereira

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
Ludovic Mouline

Ludovic Mouline

Ph.D.

U. of Luxembourg / 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
Youssou Ndiaye

Youssou Ndiaye

Ph.D.

Orange / 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
Paul Temple

Paul Temple

Ph.D.

INRIA / U. of Rennes
Erwan Picard

Erwan Picard

Ph.D.

IODE / U. of Rennes
June Benvegnu-Sallou

June Benvegnu-Sallou

Ph.D.

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

Alif Akbar Pranata

Ph.D.

INRIA / U. of Rennes

Selected Publications

Recent Publications

More Publications

In CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, IEEE, 2018.
Details PDF Code

In SLE 2018 - International Conference on Software Language Engineering, 2018.
Details PDF Code

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

In SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, ACM, 2018.
Details PDF Code

In MODELS 2018 - 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, ACM Press, 2018.
Details PDF Code

In Frontiers of Computer Science, Springer Verlag, 2018.
Details PDF Code

In IEEE International Conference on Autonomic Computing (ICAC), 2018.
Details PDF Code

In ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, ACM Press, 2018.
Details PDF Code

In *22nd International Systems and Software Product Line Conference (SPLC2018) *, 2018.
Details PDF Code

In Computer Languages, Systems and Structures, Elsevier, 2018.
Details PDF Code

Recent & Upcoming Talks

More Talks

Hi all, We're happy to have Gauthier Lyan as our next DiverSE Coffee speaker. He'll be introducing a couple of frameworks for big data processing and use cases.
DiverSE Coffee , Dec 6, 2018
Details

Hi all, We're happy to have Gauthier Lyan as our next DiverSE Coffee speaker. He'll be introducing a couple of frameworks for big data processing and use cases.
DiverSE Coffee , Nov 29, 2018
Details

Hi all, Bring your laptop and join the band! Olivier Barais, CEO/CTO of DiverSE Inc. & Co. will be giving a tutorial on how to use your mouse, keyboard, and internet connexion to update your profile in the DiverSE portal.
DiverSE Coffee , Nov 22, 2018
Details

Hi all, We're happy to have Alexandre Rio as a speaker for our next DiverSE Coffee. He will be presenting his MODELS'18 paper entitled: Efficient use of local energy, An activity oriented modeling to guide Demand Side Management.
DiverSE Coffee , Nov 15, 2018
Details

Hi all, We're happy to have Antoine Cheron as a speaker for our next DiverSE Coffee. Enters Antoine: Today, the web we interact with is mostly composed of two kinds of components
DiverSE Coffee , Nov 8, 2018
Details

Hi all, As far as we can be from a world, an economy and a democracy without borders, let us enjoy for now language engineering without borders starring Fabien Coulon.
DiverSE Coffee , Oct 25, 2018
Details

We're happy to have Manuel Leduc as a speaker for our next DiverSE Coffee. He will be presenting his paper entitled Modular Language Composition for the Masses, accepted at SLE'18
DiverSE Coffee , Oct 18, 2018
Details

Welcoming the new PhDs, we're going to have quick talks by Alif and June about their curriculum and background.
DiverSE Coffee , Oct 4, 2018
Details

You've all already met Juliana, either in the corridor or during a team break. Regardless if you've already had the chance to discuss with her about her PhD topic or not, get to know more about her research activities in the DiverSE Coffee next week
DiverSE Coffee , Sep 27, 2018
Details

Hi all, We're happy to host a DiverSE Coffee this Thursday starring Mohamed GRAIET, an assistant associate professor at ENSAI
DiverSE Coffee , Sep 13, 2018
Details

Recent Posts

More Posts

1 min read

Olivier Barais published a new Blog Post: Quelques éléments pour le TP sur Docker

CONTINUE READING

1 min read

Olivier Barais published a new Blog Post: Quelques règles pour l’installation des portables

CONTINUE READING

1 min read

Olivier Barais published a new Blog Post: Migrating From Hibernate To EclipseLink On JHipster

CONTINUE READING

1 min read Web Site, INRIA, communication

Just launch new Web Site for DiverSE Team

CONTINUE READING

1 min read

Olivier Barais published a new Blog Post: Add wifi to any camera

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