Accueil > Publications > Publications

0 | 5 | 10

[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.

Résumé et téléchargement

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

Résumé et téléchargement

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

Résumé et téléchargement

[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.

Résumé et téléchargement

[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.

Résumé et téléchargement

0 | 5 | 10


Design downloaded from free website templates.