Emmanuel Gaudin

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 8

Top Topics

Temporal Properties

Pspace Complete

Top Venues

Publications

Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli
Language Agnostic Model Checking for SDL. MoDELS (Companion) (2023)
Mihal Brumbulli, Emmanuel Gaudin
An attempt to convert BPMN models to SDL. SAM (2020)
Mihal Brumbulli, Emmanuel Gaudin, Frédéric Berre
Verification of BPMN Models. CSDM (2019)
Mihal Brumbulli, Emmanuel Gaudin
Towards Model-Driven Simulation of the Internet of Things. CSDM Asia (2016)
Mihal Brumbulli, Emmanuel Gaudin
Performance Analysis of SDL Systems. CSDM (2016)
Mihal Brumbulli, Emmanuel Gaudin
Optimizing Performance of SDL Systems. SAM (2016)
Emmanuel Gaudin, Alain Clouard
An Experiment to Introduce Interrupts in SDL. SDL Forum (2015)
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
SDL - The IoT Language. SDL Forum (2015)
Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. SAM (2014)
Emmanuel Gaudin, Eric Brunel
Property Verification with MSC. SDL Forum (2013)