Documentation
Français (FR)

Anglais (EN)

Christophe Nicolle

11

Documents

Publications

908946

	Temporal Logic To Query Semantic Graphs Using The Model Checking Method Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle Journal of Software, 2012, 7 (7), http://www.ojs.academypublisher.com/index.php/jsw/article/view/jsw070714621472 Article dans une revue hal-00783744v1
	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), 2012, 1 (2), pp.366-380 Article dans une revue hal-00639255v1
	Verifying Semantic Graphs With the Model Checker SPIN Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle International journal of digital information and wireless communications (IJDIWC), 2011, 1 (1), pp.64-74 Article dans une revue hal-00639247v1

	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, Apr 2012, Porto, Portugal. pp.418-421 Communication dans un congrès hal-00704586v1
	Qualification de graphes sémantiques à l'aide du Model Checking Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle 17eme Forum des jeunes chercheurs (FJC 2011), Jun 2011, Dijon, France Communication dans un congrès hal-00636774v1
	Qualifying Semantic graphs using Model Checking Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle International Conference On Innovations In Information Technology 2011, Apr 2011, United Arab Emirates. pp.1569402529 Communication dans un congrès hal-00618006v1
	RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle International Conference on Digital Information and Communication Technology and its Applications, Jun 2011, France. pp.519-598 Communication dans un congrès hal-00617983v1
	RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model Checker Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle International Conference on Advances in Future Internet (AFIN 2011), Aug 2011, Nice/Saint Laurent du Var, France. pp.5 Communication dans un congrès hal-00617722v1
	A new approach based on NμSMV Model to query semantic graph Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle International Conference on Digital Information Processing and Communications, Jul 2011, Ostrava, Czech Republic. pp.510-524 Communication dans un congrès hal-00617975v1
	SCALESEM : Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle 7th International Conference on Web Information Systems and Technologies (WEBIST 2011), May 2011, Netherlands. pp.395-398 Communication dans un congrès hal-00617998v1
	Des outils pour la vérification des Graphes Sémantiques Mahdi Gueffaz , Sylvain Rampacek , Christophe Nicolle JMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24 Communication dans un congrès hal-00620997v1