Modelling Web Services Interoperability. - Serge Haddad; Tarek Melliti; Patrice Moreaux; Sylvain Rampacek (ICEIS (4), 2004)

Verifying Correctness of Web Services Choreography. - Tarek Melliti; Céline Boutrous-Saab; Sylvain Rampacek (ECOWS, 2006)

Client Synthesis for Web Services by Way of a Timed Semantics. - Serge Haddad; Patrice Moreaux; Sylvain Rampacek (ICEIS (4), 2006)

A Formal Semantics and a Client Synthesis for a BPEL Service. - Serge Haddad; Patrice Moreaux; Sylvain Rampacek (ICEIS (Selected Papers), 2006)

Formal Modeling and Discrete-Time Analysis of BPEL Web Services. - Radu Mateescu 001; Sylvain Rampacek (CIAO! / EOMAS, 2008)

Formal modelling and discrete-time analysis of BPEL web services. - Radu Mateescu 001; Sylvain Rampacek (Int. J. Simul. Process. Model., 2008)

An Integrated Framework for Web Services Orchestration. - Céline Boutrous-Saab; D. Coulibaly; Serge Haddad; Tarek Melliti; Patrice Moreaux; Sylvain Rampacek (Int. J. Web Serv. Res., 2009)

RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (DICTAP (2), 2011)

A New Approach Based on NμSMV Model to Query Semantic Graph. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (ICDIPC (1), 2011)

Scalesem - Evaluation of Semantic Graph based on Model Checking. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (WEBIST, 2011)

Inconsistency Identification in Dynamic Ontologies based on Model Checking. - Mahdi Gueffaz; Perrine Pittet; Sylvain Rampacek; Christophe Cruz; Christophe Nicolle (WEBIST, 2012)

Temporal Logic To Query Semantic Graphs Using The Model Checking Method. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (J. Softw., 2012)