Fiche de RAMPACEK Sylvain

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Temporal Logic To Query Semantic Graphs Using The Model Checking Method. Journal of Software, 2012, 7 (7), http://www.ojs.academypublisher.com/index.php/jsw/article/view/jsw070714621472. ⟨hal-00783744⟩

Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle. INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING. The 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421. ⟨hal-00704586⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs. International journal of digital information and wireless communications (IJDIWC), 2012, 1 (2), pp.366-380. ⟨hal-00639255⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Verifying Semantic Graphs With the Model Checker SPIN. International journal of digital information and wireless communications (IJDIWC), 2011, 1 (1), pp.64-74. ⟨hal-00639247⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Qualification de graphes sémantiques à l'aide du Model Checking. 17eme Forum des jeunes chercheurs (FJC 2011), Jun 2011, Dijon, France. ⟨hal-00636774⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Des outils pour la vérification des Graphes Sémantiques. JMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24. ⟨hal-00620997⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Qualifying Semantic graphs using Model Checking. International Conference On Innovations In Information Technology 2011, Apr 2011, United Arab Emirates. pp.1569402529. ⟨hal-00618006⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. SCALESEM : Evaluation of Semantic Graph based on Model Checking. 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), May 2011, Netherlands. pp.395-398. ⟨hal-00617998⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker. International Conference on Digital Information and Communication Technology and its Applications, Jun 2011, France. pp.519-598. ⟨hal-00617983⟩

Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. A new approach based on NμSMV Model to query semantic graph. International Conference on Digital Information Processing and Communications, Jul 2011, Ostrava, Czech Republic. pp.510-524. ⟨hal-00617975⟩