Accueil > Publications > Publications

[BCHMMR09] An Integrated Framework for Web Services Orchestration

Par Sylvain Rampacek le mardi 16 mars 2010 à 14h44

[BCHMMR09] Céline Boutrous-Saab, Demba Coulibaly, Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek. An Integrated Framework for Web Services Orchestration. International Journal of Web Services Research. IGP, Vol. 6 (No. 4), pp. 1-29, Oct.-Dec. 2009.

Suite...

[MMR09] Extending SPARQL with Temporal Logic

Par Sylvain Rampacek le lundi 12 octobre 2009 à 09h54

[MMR09] Radu Mateescu, Sébastien Meriot, Sylvain Rampacek. Extending SPARQL with Temporal Logic. Rapport Interne INRIA, 2009.

Suite...

[Rampacek08] Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Par Sylvain Rampacek le juin 2008 à 10h07

[Rampacek08] Rampacek Sylvain. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. Séminaire INRIA-VASY, Monthieux, France, June 2008.

Suite...

[MR08a] Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Par Sylvain Rampacek le juin 2008 à 00h00

[MR08a] Radu Mateescu, Sylvain Rampacek. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. In Lecture Notes in Business Information Processing, EOMAS 2008, SIGMAS Best Paper Award, Springer, Montpellier, France, Vol. 10, pp. 179-193, June 2008.

Suite...

[HMR08] A Formal Semantics and a Client Synthesis for a BPEL Service

Par Sylvain Rampacek le février 2008 à 00h00

[HMR08] Serge Haddad, Patrice Moreaux, Sylvain Rampacek. A Formal Semantics and a Client Synthesis for a BPEL Service. In Lecture Notes in Business Information Processing, Volume 3, Springer, 2008, page 388-401. ICEIS 2006, Revised Selected Papers.

Suite...