Sylvain Rampacek

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Formal Specification

Reactive Systems

Reachability Analysis

Top Venues

Publications

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