| 2008 |
|---|
| 5 | EE | Radu Mateescu,
Sylvain Rampacek:
Formal Modeling and Discrete-Time Analysis of BPEL Web Services.
CIAO! / EOMAS 2008: 179-193 |
| 2006 |
|---|
| 4 | EE | Tarek Melliti,
Céline Boutrous-Saab,
Sylvain Rampacek:
Verifying Correctness of Web Services Choreography.
ECOWS 2006: 306-318 |
| 3 | | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
Client Synthesis for Web Services by Way of a Timed Semantics.
ICEIS (4) 2006: 19-26 |
| 2 | EE | Serge Haddad,
Patrice Moreaux,
Sylvain Rampacek:
A Formal Semantics and a Client Synthesis for a BPEL Service.
ICEIS (Selected Papers) 2006: 388-401 |
| 2004 |
|---|
| 1 | | Serge Haddad,
Tarek Melliti,
Patrice Moreaux,
Sylvain Rampacek:
Modelling Web Services Interoperability.
ICEIS (4) 2004: 287-295 |
