Emmanuel Gaudin

14 papers A 1Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Optimizing Industrial Operations through Business Process Formalization.
MODELS-C
Mihal Brumbulli, Emmanuel Gaudin
2025 A conf
The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort.
MODELS
Stein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel
2024 — conf
Experimenting low code with SDL and BPMN.
MoDELS (Companion)
Emmanuel Gaudin
2023 — conf
Language Agnostic Model Checking for SDL.
MoDELS (Companion)
Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli
2020 — conf
An attempt to convert BPMN models to SDL.
SAM
Mihal Brumbulli, Emmanuel Gaudin
2019 — conf
Verification of BPMN Models.
CSDM
Mihal Brumbulli, Emmanuel Gaudin, Frédéric Berre
2016 — conf
Optimizing Performance of SDL Systems.
SAM
Mihal Brumbulli, Emmanuel Gaudin
2016 — conf
Performance Analysis of SDL Systems.
CSDM
Mihal Brumbulli, Emmanuel Gaudin
2016 — conf
Towards Model-Driven Simulation of the Internet of Things.
CSDM Asia
Mihal Brumbulli, Emmanuel Gaudin
2015 — conf
An Experiment to Introduce Interrupts in SDL.
SDL Forum
Emmanuel Gaudin, Alain Clouard
2015 — conf
SDL - The IoT Language.
SDL Forum
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
2014 — conf
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY.
SAM
Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
2013 — conf
Property Verification with MSC.
SDL Forum
Emmanuel Gaudin, Eric Brunel
2007 — ed.
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
SDL Forum
Emmanuel Gaudin, Elie Najm, Rick Reed