Property Verification with MSC. - Emmanuel Gaudin; Eric Brunel (SDL Forum, 2013)

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. - Julien Deltour; Alain Faivre; Emmanuel Gaudin; Arnault Lapitre (SAM, 2014)

An Experiment to Introduce Interrupts in SDL. - Emmanuel Gaudin; Alain Clouard (SDL Forum, 2015)

SDL - The IoT Language. - Edel Sherratt; Ileana Ober; Emmanuel Gaudin; Pau Fonseca i Casas; Finn Kristoffersen (SDL Forum, 2015)

Towards Model-Driven Simulation of the Internet of Things. - Mihal Brumbulli; Emmanuel Gaudin (CSDM Asia, 2016)

Performance Analysis of SDL Systems. - Mihal Brumbulli; Emmanuel Gaudin (CSDM, 2016)

Optimizing Performance of SDL Systems. - Mihal Brumbulli; Emmanuel Gaudin (SAM, 2016)

Verification of BPMN Models. - Mihal Brumbulli; Emmanuel Gaudin; Frédéric Berre (CSDM, 2019)

An attempt to convert BPMN models to SDL. - Mihal Brumbulli; Emmanuel Gaudin (SAM, 2020)

Language Agnostic Model Checking for SDL. - Emmanuel Gaudin; Eric Brunel; Mihal Brumbulli (MoDELS (Companion), 2023)

Experimenting low code with SDL and BPMN. - Emmanuel Gaudin (MoDELS (Companion), 2024)