Sylvain Rampacek
Sylvain Rampacek
Maître de Conférences, Université de Bourgogne, LE2I (UMR CNRS 6306)
Verified email at u-bourgogne.fr - Homepage
Title
Cited by
Cited by
Year
Formal modelling and discrete-time analysis of BPEL web services
R Mateescu, S Rampacek
International Journal of Simulation and Process Modelling 4 (3-4), 183-194, 2008
412008
Modelling Web Services Interoperability.
S Haddad, T Melliti, P Moreaux, S Rampacek
ICEIS (4), 287-295, 2004
402004
Verifying correctness of web services choreography
M Tarek, C Boutrous-Saab, S Rampacek
2006 European Conference on Web Services (ECOWS'06), 306-318, 2006
332006
Sémantique, interactions et langages de description des services web complexes
S Rampacek
Doctorate dissertation, University of Reims ChampagneArdenne, 2006
232006
An integrated framework for web services orchestration
CB Saab, D Coulibaly, S Haddad, T Melliti, P Moreaux, S Rampacek
Innovations, Standards and Practices of Web Services: Emerging Research …, 2012
172012
Client Synthesis for Web Services by Way of a Timed Semantics.
S Haddad, P Moreaux, S Rampacek
ICEIS (4), 19-26, 2006
162006
Inconsistency identification in dynamic ontologies based on model checking
M Gueffaz, P Pittet, S Rampacek, C Cruz, C Nicolle
122012
A dense time semantics for Web services specifications languages
S Haddad, T Melliti, P Moreaux, S Rampacek
Proceedings. 2004 International Conference on Information and Communication …, 2004
112004
Temporal logic to query semantic graphs using the model checking method
M Gueffaz, S Rampacek, C Nicolle
92012
Extending SPARQL with Temporal logic
R Mateescu, S Meriot, S Rampacek
92009
Rdf2spin: Mapping semantic graphs to spin model checker
M Gueffaz, S Rampacek, C Nicolle
International Conference on Digital Information and Communication Technology …, 2011
42011
SCALESEM: Evaluation of Semantic graph based on Model Checking
M Gueffaz, S Rampacek, C Nicolle
42011
RDF2NµSMV: mapping semantic graphs to NµSMV model checker
M Gueffaz, S Rampacek, C Nicolle
The Third International Conference on Advances in Future Internet (AFIN 2011), 2011
32011
A formal semantics and a client synthesis for a BPEL service
S Haddad, P Moreaux, S Rampacek
International Conference on Enterprise Information Systems, 388-401, 2006
32006
Qualifying semantic graphs using model checking
M Gueffaz, S Rampacek, C Nicolle
2011 International Conference on Innovations in Information Technology, 276-281, 2011
22011
RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model Checker
M Gueffaz, S Rampacek, C Nicolle
12011
A New Approach Based on NμSMV Model to Query Semantic Graph
M Gueffaz, S Rampacek, C Nicolle
International Conference on Digital Information Processing and …, 2011
12011
ScaleSem Approach to Check and to Query Semantic Graphs
M Gueffaz, S Rampacek, C Nicolle
Encyclopedia of Information Science and Technology, Third Edition, 7301-7309, 2015
2015
Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs
M Gueffaz, S Rampacek, C Nicolle
2012
Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs
M Gueffaz, S Rampacek, C Nicolle
2012
The system can't perform the operation now. Try again later.
Articles 1–20