Sylvain Rampacek

According to our database, Sylvain Rampacek authored at least 12 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Temporal Logic To Query Semantic Graphs Using The Model Checking Method.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

J. Softw., 2012

Inconsistency Identification in Dynamic Ontologies based on Model Checking.

Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

2011

Scalesem - Evaluation of Semantic Graph based on Model Checking.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the WEBIST 2011, 2011

A New Approach Based on NμSMV Model to Query Semantic Graph.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the Digital Information Processing and Communications, 2011

RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker.

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle

Proceedings of the Digital Information and Communication Technology and Its Applications, 2011

2009

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

2008

Formal modelling and discrete-time analysis of BPEL web services.

Radu Mateescu, Sylvain Rampacek

Int. J. Simul. Process. Model., 2008

Formal Modeling and Discrete-Time Analysis of BPEL Web Services.

Radu Mateescu, Sylvain Rampacek

Proceedings of the Advances in Enterprise Engineering I, 2008

2006

A Formal Semantics and a Client Synthesis for a BPEL Service.

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

Proceedings of the Enterprise Information Systems, 8th International Conference, 2006

Client Synthesis for Web Services by Way of a Timed Semantics.

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

Proceedings of the ICEIS 2006, 2006

Verifying Correctness of Web Services Choreography.

Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2004

Modelling Web Services Interoperability.

Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek

Proceedings of the ICEIS 2004, 2004