Partenaires


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Membres > Membres Permanents > Maîtres de Conférences > Sylvain Rampacek

Sylvain Rampacek

Maître de conférences

Laboratoire Electronique Informatique et Image
Bureau BS-15
Faculté des Sciences Mirande
Université de Bourgogne
BP 47870
21078 Dijon Cedex

Tél : 03-80-39-68-49
Email : sylvain.rampacek u-bourgogne.fr
Web : http://www.rampacek.fr

Projets :


Domaine de recherche

Mots Clés : méthodes formelles, modélisation, vérification, model checking, services web, web sémantique.

Lire la suite


Publications

Revues (7)

  • "Mapping SPARQL Query to temporal logic query based on N?SMV Model Checker to Query Semantic Graphs", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, International Journal of Digital Information and Wireless Communications (IJDIWC) 1, 2 (2012) 366-380, 2012 lien sur HAL
  • "Temporal Logic To Query Semantic Graphs Using The Model Checking Method", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, Journal of Software 7, 7(2012) http://www.ojs.academypublisher.com/index.php/jsw/article/view/jsw070714621472, 2012 lien sur HAL
  • "Verifying Semantic Graphs With the Model Checker SPIN", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, International Journal of Digital Information and Wireless Communications (IJDIWC) 1, 1 (2011) 64-74, 2011 lien sur HAL
  • "An Integrated Framework for Web Services Orchestration", Céline Boutrous-Saab, Demba Coulibaly, Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek, International Journal of Web Services Research, Vol. 6 (No. 4), pp. 1-29, IGP, Oct.-Dec. 2009 lien sur HAL
  • "Formal Modeling and Discrete-Time Analysis of BPEL Web Services", Radu Mateescu, Sylvain Rampacek, In Lecture Notes in Business Information Processing, EOMAS 2008, SIGMAS Best Paper Award, Vol. 10 , pp. 179-193, Montpellier, France, Springer, Juin 2008 lien sur HAL http://checksem.u-bourgogne.fr/srampacek/www/IMG/pdf/eomas08.pdf
  • "A Formal Semantics and a Client Synthesis for a BPEL Service", Serge Haddad, Patrice Moreaux, Sylvain Rampacek, In Lecture Notes in Business Information Processing. ICEIS 2006 - Revised Selected Papers, Vol. 3 , pp. 388-401, Springer, February 2008
  • "Formal modelling and discrete-time analysis of BPEL web services", Radu Mateescu, Sylvain Rampacek, International Journal of Simulation and Process Modelling (IJSPM) (extended version), Vol. 4 (Issue 3/4), pp. 183-194, 2008 http://www.inderscience.com/search/index.php?action=record&rec_id=23680&prevQuery=&ps=10&m=or

Conférences internationales (11)

  • "INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING", Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle, The 8th International Conference on Web Information Systems and Technologies, Porto : Portugal, 2012 lien sur HAL
  • "RDF2NµSMV: MAPPING SEMANTIC GRAPHS TO NµSMV MODEL CHECKER", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, The Third International Conference on Advances in Future Internet (AFIN 2011), Nice/Saint Laurent du Var, France, Août 2011 lien sur HAL
  • "A NEW APPROACH BASED ON NµSMV MODEL TO QUERY SEMANTIC GRAPH", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, The International Conference on Digital Information Processing and Communications (ICDIPC 2011), Ostrava, République Tchèque, Springer-Verlag, Juillet 2011 lien sur HAL
  • "RDF2SPIN: MAPPING SEMANTIC GRAPHS TO SPIN MODEL CHECKER", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, The International Conference on Digital Information and Communication Technology (DICTAP), Dijon, France, Springer-Verlag, 21 Juin 2011 lien sur HAL
  • "SCALESEM: EVALUATION OF SEMANTIC GRAPH BASED ON MODEL CHECKING", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, Webist 2011- The 7th International Conference on Web Information Systems and Technologies , Noordwijkerhout, Hollande, INSTICC, ACM SIGMIS, May 2011 lien sur HAL
  • "QUALIFYING SEMANTIC GRAPHS USING MODEL CHECKING", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, 7th International Conference on Innovations in Information Technology (Innovations'11), Abu Dhabi, Emirats arabes Unis, Sponsored by IEEE, April 2011 lien sur HAL
  • "Formal Modeling and Discrete-Time Analysis of BPEL Web Services", Radu Mateescu, Sylvain Rampacek, EOMAS 2008, Montpellier : France (2008), 2008 lien sur HAL
  • "Verifying correctness of web services choreography", Tarak Melliti, Céline Boutrous-Saab, Sylvain Rampacek, IEEE European Conference on Web Services (ECOWS06), Zurich, Switzerland, IEEE, Décembre 2006 http://checksem.u-bourgogne.fr/srampacek/www/IMG/pdf/ecows06.pdf
  • "Client synthesis for web services by way of a timed semantics", Serge Haddad, Patrice Moreaux, Sylvain Rampacek, Int. Conf. on Enterprise Information Systems (ICEIS06), Paphos, Cyprus, May 2006 http://checksem.u-bourgogne.fr/srampacek/www/IMG/pdf/iceis06.pdf
  • "A dense time semantics for Web services specifications languages", Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek, Information & Communication Technologies: from Theory to Applications (ICTTA'04), pp. 647-648, Damascus, Syria, IEEE France, Avril 2004 http://iutdijon.u-bourgogne.fr/iq/srampacek/spip/IMG/pdf/ictta04.pdf
  • "Modelling web services interoperability", Serge Haddad, Tarak Melliti, Patrice Moreaux, Sylvain Rampacek, Int. Conf. on Enterprise Information Systems (ICEIS04), Porto, Portugal, Avril 2004 http://iutdijon.u-bourgogne.fr/iq/srampacek/spip/IMG/pdf/iceis04.pdf

Séminaires invités (3)

  • "Des outils pour la vérification des Graphes Sémantiques", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, JMFB (la Jeunesse Musulmane de France en Bourgogne), Dijon : France (2010), 2011 lien sur HAL
  • "Qualification de graphes sémantiques à l'aide du Model Checking", Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle, 17eme Forum des jeunes chercheurs (FJC 2011), Dijon : France (2011), 2011 lien sur HAL
  • "Formal Modeling and Discrete-Time Analysis of BPEL Web Services", Sylvain Rampacek, Séminaire INRIA-VASY, Monthieux, France, 2008

Thèses (1)

Autres (1)

  • "Extending SPARQL with Temporal Logic", Radu Mateescu, Sébastien Meriot, Sylvain Rampacek, 2009 lien sur HAL

Archives


LE2I - Laboratoire Electronique, Informatique et Image | webmestre : Antoine Trapet | info légales | logo SPIP 2