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