Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gaudin, Emmanuel
348  Ergebnisse:
Personensuche X
?
1

Language Agnostic Model Checking for SDL:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Gaudin, Emmanuel ; Brunel, Eric ; Brumbulli, Mihal - p. 231-240 , 2023
Link: https://doi.org/10.1109/..
 
?
2

An attempt to convert BPMN models to SDL:

, In: Proceedings of the 12th System Analysis and Modelling Conference,
Brumbulli, Mihal ; Gaudin, Emmanuel - p. 45-53 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Verification of BPMN Models:

, In: Complex Systems Design & Management,
Brumbulli, Mihal ; Gaudin, Emmanuel ; Berre, Frédéric - p. 27-36 , 2019
Link: https://doi.org/10.1007/..
 
?
4

SDL 2007: design for dependable systems 

13th International SDL Forum, Paris, France, September 18 -...  Lecture notes in computer science ; 4745
Gaudin, Emmanuel ; Najm, Elie ; Reed, Rick , 2007
Link: http://dx.doi.org/10.100..
 
?
5

Automatic Verification of BPMN Models:

Brumbulli, Mihal ; Gaudin, Emmanuel ; Teodorov, Ciprian
hal-02441878.  , 2020
Link: https://hal.science/hal-..
 
?
6

Automatic Verification of BPMN Models:

Brumbulli, Mihal ; Gaudin, Emmanuel ; Teodorov, Ciprian
hal-02441878.  , 2020
Link: https://hal.science/hal-..
 
?
7

Automatic Verification of BPMN Models:

Brumbulli, Mihal ; Gaudin, Emmanuel ; Teodorov, Ciprian
hal-02441878.  , 2020
Link: https://hal.archives-ouv..
 
?
8

System Optimization: A Use Case in the Space Domain:

Brumbulli, Mihal ; Gaudin, Emmanuel ; Cortier, Alexandre.
hal-01708355.  , 2018
Link: https://hal.science/hal-..
 
?
9

Asynchronous modeling in railway systems:

Gaudin, Emmanuel
hal-01289462.  , 2016
Link: https://hal.archives-ouv..
 
?
10

Automatic Interleaving for Testing Distributed Systems:

Brumbulli, Mihal ; Gaudin, Emmanuel
hal-01257942.  , 2016
Link: https://hal.archives-ouv..
 
?
11

SDL - the IoT Language:

Sherratt, Edel ; Ober, Ileana ; Gaudin, Emmanuel..
hal-01332271.  , 2015
Link: https://hal.science/hal-..
 
?
12

SDL - the IoT Language:

Sherratt, Edel ; Ober, Ileana ; Gaudin, Emmanuel..
hal-01332271.  , 2015
Link: https://hal.archives-ouv..
 
?
13

SDL - the IoT Language:

Sherratt, Edel ; Ober, Ileana ; Gaudin, Emmanuel..
hal-01332271.  , 2015
Link: https://hal.science/hal-..
 
?
14

SDL - the IoT Language:

Sherratt, Edel ; Ober, Ileana ; Gaudin, Emmanuel..
https://oatao.univ-toulouse.fr/15419/1/sherratt_15419.pdf.  , 2015
Link: https://oatao.univ-toulo..
 
?
15

SDL to Fiacre translation:

Rangra, Subeer ; Gaudin, Emmanuel
hal-02271321.  , 2014
Link: https://hal.archives-ouv..
 
1-15