RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (DICTAP (2), 2011)

A New Approach Based on NμSMV Model to Query Semantic Graph. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (ICDIPC (1), 2011)

Scalesem - Evaluation of Semantic Graph based on Model Checking. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (WEBIST, 2011)

Inconsistency Identification in Dynamic Ontologies based on Model Checking. - Mahdi Gueffaz; Perrine Pittet; Sylvain Rampacek; Christophe Cruz; Christophe Nicolle (WEBIST, 2012)

Temporal Logic To Query Semantic Graphs Using The Model Checking Method. - Mahdi Gueffaz; Sylvain Rampacek; Christophe Nicolle (J. Softw., 2012)

ScaleSem : model checking et web sémantique. (ScaleSem : model checking and semantic web). - Mahdi Gueffaz (2012)

Curriculum data enrichment with ontologies. - Mahdi Gueffaz; Jirasri Deslis; Jean-Claude Moissinac (WIMS, 2014)