Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés

Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions

rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes

Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles

Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité

نهج متعدد الوكلاء لتصميم أنظمة الذكاء الاصطناعي المحيط: نموذج منهجي مبني على التخطيط والتعلم

Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel

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

Approche de vérification contextuelle des systèmes ambiants

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

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

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

Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau

Proposition et développement d’un cloud privé pour le framework SLS

Protection de la vie privée dans les environnements IoT : Application aux smart-cities

Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier