Modeling and Language Engineering

Advanced testing

DevOps for distributed and heterogeneous systems

Variability Engineering

Recent Publications

See all

Salamander: a Holistic Scheduling of MapReduce Jobs on Ephemeral Cloud Resources

Handaoui, Mohamed and Dartois, Jean-Emile and Lemarchand, Laurent and Boukhobza, Jalil
CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing,IEEE, 2020

Towards an Assessment Grid for Intelligent Modeling Assistance

Mussbacher, Gunter and Combemale, Benoit and Abrahão, Silvia and Bencomo, Nelly and Burgueño, Loli and Engels, Gregor and Kienzle, Jörg and Kühn, Thomas and Mosser, Sébastien and Sahraoui, Houari and Weyssow, Martin
MDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering,, 2020

A Language Agnostic Approach to Modeling Requirements: Specification and Verification

Alidra, Abdelghani and BEUGNARD, Antoine and Godfroy, Hubert and Kimmel, Pierre and Le Guernic, Gurvan
MODELS ’20 Companion,, 2020

Recent Talks

See all

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.


Domain-Specific Language Protocols

Pierre Jeanjean
DiverSE Coffee - 17/09/2020

Pierre introduced, in this talk, his vision on domain-specific language protocols.


Evolution of VaryLaTeX

Corentin Ollivier
DiverSE Coffee - 10/09/2020

Corentin showed us the results of his internship on VaryLaTeX.


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

Leveraging model-based product lines for systems engineering (PhD defense) Joao Bosco Ferreira-Filho