Filter your results
- 13
- 2
- 9
- 5
- 1
- 15
- 3
- 7
- 1
- 2
- 2
- 13
- 2
- 15
- 3
- 3
- 1
- 1
- 1
- 1
- 15
- 11
- 11
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 Results
|
|
sorted by
|
|
Extending SPARQL with Temporal Logic2009
Preprints, Working Papers, ...
inria-00404761v2
|
||
|
RDF2SPIN: Mapping Semantic Graphs to SPIN Model CheckerInternational Conference on Digital Information and Communication Technology and its Applications, Jun 2011, France. pp.519-598
Conference papers
hal-00617983v1
|
||
|
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
Conference papers
hal-00617722v1
|
||
|
An Integrated Framework for Web Services OrchestrationInternational Journal of Web Services Research, 2009, 6 (4), pp.1--29. ⟨10.4018/jwsr.2009071301⟩
Journal articles
hal-00441818v1
|
||
|
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
Journal articles
hal-00639255v1
|
||
|
Verifying Semantic Graphs With the Model Checker SPINInternational journal of digital information and wireless communications (IJDIWC), 2011, 1 (1), pp.64-74
Journal articles
hal-00639247v1
|
||
|
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
Conference papers
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
Conference papers
hal-00617998v1
|
||
|
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
Journal articles
hal-00783744v1
|
||
|
Formal Modeling and Discrete-Time Analysis of BPEL Web ServicesInternational Journal of Simulation and Process Modelling, 2008, ⟨10.1504/IJSPM.2008.023680⟩
Journal articles
inria-00381551v1
|
||
|
Des outils pour la vérification des Graphes SémantiquesJMFB (la Jeunesse Musulmane de France en Bourgogne), Jun 2010, Dijon, France. pp.24
Conference papers
hal-00620997v1
|
||
Qualification de graphes sémantiques à l'aide du Model Checking17eme Forum des jeunes chercheurs (FJC 2011), Jun 2011, Dijon, France
Conference papers
hal-00636774v1
|
|||
|
Qualifying Semantic graphs using Model CheckingInternational Conference On Innovations In Information Technology 2011, Apr 2011, United Arab Emirates. pp.1569402529
Conference papers
hal-00618006v1
|
||
|
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
Conference papers
hal-00704586v1
|
||
|
Formal Modeling and Discrete-Time Analysis of BPEL Web ServicesEOMAS 2008, Jun 2008, Montpellier, France. pp.179-193, ⟨10.1007/978-3-540-68644-6_13⟩
Conference papers
inria-00319100v1
|