Modeling and Language Engineering

Advanced testing

DevOps for distributed and heterogeneous systems

Variability Engineering

Recent Publications

See all

ChaT: Evaluation of Reconfigurable Distributed Network Systems Using Metamorphic Testing

Pranata, Alif Akbar and Barais, Olivier and Bourcier, Johann and Noirie, Ludovic
GLOBCOM 2021 - IEEE Global Communications Conference,IEEE, 2021

Towards Self-Adaptable Languages

Jouneaux, Gwendal and Barais, Olivier and Combemale, Benoit and Mussbacher, Gunter
Onward! 2021 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,ACM, 2021

DataTime: a Framework to smoothly Integrate Past, Present and Future into Models

Lyan, Gauthier and Jézéquel, Jean-Marc and Gross-Amblard, David and Combemale, Benoit
MODELS 2021 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems,, 2021

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.


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.


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.


Recent Posts

See all

Secret Santa for Java Programmers

by Manuel Leduc on 28/11/2019

ClojureScript Quil Demo

by Manuel Leduc on 12/06/2019

Does javac cleanup useless type casts?

by Manuel Leduc on 20/03/2019

Latest Video

BURST a benchmarking platform for uniform random sampling techniques