Modeling and Language Engineering

Advanced testing

DevOps for distributed and heterogeneous systems

Variability Engineering

Recent Publications

See all

Deep Software Variability: Towards Handling Cross-Layer Configuration

Lesoil, Luc and Acher, Mathieu and Blouin, Arnaud and Jézéquel, Jean-Marc
VaMoS 2021 - 15th International Working Conference on Variability Modelling of Software-Intensive Systems,, 2021
Details

IDE as Code: Reifying Language Protocols as First-Class Citizens

Jeanjean, Pierre and Combemale, Benoit and Barais, Olivier
ISEC 2021 - Innovations in Software Engineering Conference,, 2021
Details

Asset-Oriented Threat Modeling

Messe, Nan and Chiprianov, Vanea and Belloir, Nicolas and El-Hachem, Jamal and Fleurquin, Régis and Sadou, Salah
TrustCom 2020 - 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications,IEEE, 2020
Details

Recent Talks

See all

Modular and distributed IDE

Fabien Coulon
DiverSE Coffee - 08/10/2020

Fabien presented his last paper accepted at SLE 2020. This paper present his work on distributing IDE services localy and on servers in a smart way.

Details

Presentation of TrustCom and APSEC accepted papers

Nan Zhang Messe
DiverSE Coffee - 01/10/2020

Nan briefly presented her papers about modeling of asset vulnerabilities and how mine information in the CAPEC classification to identify vulnerabilities at design time.

Details

GCP MODEL, an inferred formal model-driven specification of Google Cloud Platform (GCP)

Stéphanie Challita
DiverSE Coffee - 24/09/2020

Stéphanie presented her work on inferring formal model-driven specifications for the Google Cloud platform from its documentation.

Details

Recent Posts

See all

Secret Santa for Java Programmers

by Manuel Leduc on 28/11/2019
Read

ClojureScript Quil Demo

by Manuel Leduc on 12/06/2019
Read

Does javac cleanup useless type casts?

by Manuel Leduc on 20/03/2019
Read

Latest Video

Modular and Distributed IDE, SLE 2020, Fabien Coulon