Sylvain Rampacek

12 papers C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2012 C conf
Inconsistency Identification in Dynamic Ontologies based on Model Checking.
WEBIST
Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle
2012 J jnl
Temporal Logic To Query Semantic Graphs Using The Model Checking Method.
J. Softw.
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle
2011 — conf
A New Approach Based on NμSMV Model to Query Semantic Graph.
ICDIPC (1)
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle
2011 — conf
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker.
DICTAP (2)
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle
2011 C conf
Scalesem - Evaluation of Semantic Graph based on Model Checking.
WEBIST
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle
2009 J jnl
An Integrated Framework for Web Services Orchestration.
Int. J. Web Serv. Res.
Céline Boutrous-Saab, D. Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek
2008 — conf
Formal Modeling and Discrete-Time Analysis of BPEL Web Services.
CIAO! / EOMAS
Radu Mateescu, Sylvain Rampacek
2008 J jnl
Formal modelling and discrete-time analysis of BPEL web services.
Int. J. Simul. Process. Model.
Radu Mateescu, Sylvain Rampacek
2006 — conf
A Formal Semantics and a Client Synthesis for a BPEL Service.
ICEIS (Selected Papers)
Serge Haddad, Patrice Moreaux, Sylvain Rampacek
2006 — conf
Client Synthesis for Web Services by Way of a Timed Semantics.
ICEIS (4)
Serge Haddad, Patrice Moreaux, Sylvain Rampacek
2006 — conf
Verifying Correctness of Web Services Choreography.
ECOWS
Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek
2004 — conf
Modelling Web Services Interoperability.
ICEIS (4)
Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek