Une approche de spécification des changements de besoins basée transformations de graphes

Méthodes bio-inspirés hybrides pour la résolution des systemes complexes

Composition des Web services sémantiques dans les systèmes Peer-to-Peer

Recherche d’information contextuelle et sémantique sur le web

Modélisation multi-paradigme : Une approche basée sur la transformation de graphes

Time Models and their interst for the Formal Verification of Real Time Systems

Recherche d’images par le contenu

Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles

Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes

Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle

Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel

De la modélisation produit dans les technologies XAO au PLM: Une contribution à l’intégration des applications d’ingénierie dans un cadre de gestion du cycle de vie produit

Approche de vérification contextuelle des systèmes ambiants

Collecte, prétraitement et visualisation des données sur les effets des substances psychoactives dans les addictions multiples

Contribution à la sécurisation des données dans le cloud

Développement de systèmes intégrés pour le smart campus

Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle

Optimisation et déploiement d’un système communicant intelligent basé IoT et exploitant les technologies LPWAN pour la prévention et la détection des feux de forêts

Optimizing Vehicular traffic management: A SDN based Approach

Planification événementielle dans un système d'intelligence ambiante