Sylvain Rampacek

[MR08b] Radu Mateescu, Sylvain Rampacek. Formal modelling and discrete-time analysis of BPEL web. International Journal of Simulation and Process Modelling (IJSPM) (extended version), Vol. 4 (Issue 3/4), pp. 183-194, 2008.

[MBSR06] Tarek Melliti, Céline Boutrous-Saab and Sylvain Rampacek. Verifying correctness of web services choreography. In Procedings of the forth IEEE European Conference on Web Services (ECOWS06), Zurich, Switzerland, December 4-6 2006.

[Rampacek06] Sylvain RAMPACEK. Sémantique, interactions et langages de description des services web complexes. Thèse de doctorat, Reims, France, 10 Novembre 2006.

[HMR06] Serge Haddad, Patrice Moreaux, Sylvain Rampacek. Client synthesis for web services by way of a timed semantics. In Proc. of the 8th Int. Conf. on Enterprise Information Systems (ICEIS06), Paphos, Cyprus, May 23-27 2006.

[HMMR04a] Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek. A dense time semantics for Web services specifications languages. In Proc. of the 1st Int. Conf. on Information & Communication Technologies : from Theory to Applications (ICTTA’04), pages 647—648, Damascus, Syria, April 19-23 2004. IEEE France.