- 11
Christophe Nicolle
11
Documents
Publications
- 6
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 11
- 11
- 1
- 1
- 2
- 1
|
Temporal Logic To Query Semantic Graphs Using The Model Checking MethodJournal 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 GraphsInternational 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 SPINInternational 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 CHECKINGThe 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421
Communication dans un congrès
hal-00704586v1
|
|
RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model CheckerInternational 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 graphInternational 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 Checking7th International Conference on Web Information Systems and Technologies (WEBIST 2011), May 2011, Netherlands. pp.395-398
Communication dans un congrès
hal-00617998v1
|
Qualification de graphes sémantiques à l'aide du Model Checking17eme Forum des jeunes chercheurs (FJC 2011), Jun 2011, Dijon, France
Communication dans un congrès
hal-00636774v1
|
|
|
Qualifying Semantic graphs using Model CheckingInternational 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 CheckerInternational Conference on Digital Information and Communication Technology and its Applications, Jun 2011, France. pp.519-598
Communication dans un congrès
hal-00617983v1
|
|
Des outils pour la vérification des Graphes SémantiquesJMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24
Communication dans un congrès
hal-00620997v1
|