Browsing LAMSADE (UMR CNRS 7243) by Author "Rampacek, Sylvain"
-
Client Synthesis for Web Services by way of a Timed Semantics
Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2006) Communication / Conférence -
A dense time semantics for Web services specifications languages
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence -
A Formal Semantics and a Client Synthesis for a BPEL Service
Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2008) Communication / Conférence -
An Integrated Framework for Web Services Orchestration
Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié -
Modelling Web Services Interoperability
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence -
Verifying Correctness of Web Services Choreography
Melliti, Tarak; Boutrous Saab, Céline; Rampacek, Sylvain (2006) Communication / Conférence