Partenaires


Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Membres > Membres Permanents > Maîtres de Conférences > Sylvain Rampacek > Domaine de recherche

Domaine de recherche

par Sylvain Rampacek - 22 mars 2010

Mots Clés : méthodes formelles, modélisation, vérification, model checking, services web, web sémantique.

Dans le cadre de la du projet transversal « CheckSem », je suis responsable de l’axe concernant la qualification sémantique. Cet axe est à cheval sur deux domaines : le domaine des méthodes formelles et le domaine du web sémantique. Mon activité consiste à utiliser de façon adaptée les différents algorithmes issus du domaine des méthodes formelles au domaine du web sémantique, qui ont pour point commun de représenter leurs ensembles de données sous formes de graphes. Cela permet d’envisager de faire des requêtes de types logiques temporelles dans le domaine du web sémantique et également de traiter des problèmes de tailles importantes pour lesquels, à l’aide du web sémantique seul, nous n’avons pas, à l’heure actuelle, de réponse en un temps raisonnable.


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