Partenaires


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Membres > Anciens Membres > Mahdi Gueffaz

Mahdi Gueffaz

ATER

LE2I UMR CNRS 5158
Bureau BS-15
UFR Sciences et Techniques
Université de Bourgogne
21078 Dijon Cedex

Tél : 03-80-39-68-49
Email : gueffaz.mahdi yahoo.fr
Web : http://checksem.u-bourgogne.fr/mgueffaz/


Publications

Revues (3)

  • "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

Conférences internationales (6)

  • "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

Séminaires invités (5)

  • "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
  • "La logique temporelle pour interroger et qualifier des graphes sémantiques", Mahdi Gueffaz, Réseau Grand Est (RGE),, Strasbourg : France (2011), 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
  • "Qualification et interrogation de graphes sémantiques à l'aide du Model Checking", Mahdi Gueffaz, Assemblé général du LE2I, Creusot (Centre universitaire du Condorcet) : France (2011), 2011 lien sur HAL
  • "L'interrogation des graphes sémantiques à l'aide de la logique temporelle", Mahdi Gueffaz, Séminaire Université de Franche-Comté., Besançon : France (2010), 2010 lien sur HAL

Thèses (1)

  • "ScaleSem : Model Checking et Web Sémantique", Mahdi Gueffaz, 2012 lien sur HAL

Derniers billets publiés


Archives


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