Emmanuel Gaudin

According to our database, Emmanuel Gaudin authored at least 10 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Language Agnostic Model Checking for SDL.

Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2020

An attempt to convert BPMN models to SDL.

Mihal Brumbulli, Emmanuel Gaudin

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019

Verification of BPMN Models.

Mihal Brumbulli, Emmanuel Gaudin, Frédéric Berre

Proceedings of the Tenth International Conference on Complex Systems Design & Management, 2019

2016

Optimizing Performance of SDL Systems.

Mihal Brumbulli, Emmanuel Gaudin

Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

Performance Analysis of SDL Systems.

Mihal Brumbulli, Emmanuel Gaudin

Proceedings of the Complex Systems Design & Management, 2016

Towards Model-Driven Simulation of the Internet of Things.

Mihal Brumbulli, Emmanuel Gaudin

Proceedings of the Complex Systems Design & Management Asia - Smart Nations, 2016

2015

SDL - The IoT Language.

Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

An Experiment to Introduce Interrupts in SDL.

Emmanuel Gaudin, Alain Clouard

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

2014

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY.

Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

2013

Property Verification with MSC.

Emmanuel Gaudin, Eric Brunel

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013