| |
| 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 | |
| 1 | Céline Boutrous-Saab | [4] |
| 2 | Serge Haddad | [1] [2] [3] |
| 3 | Tarek Melliti | [1] [4] |
| 4 | Patrice Moreaux | [1] [2] [3] |