Thèses de doctorat
Résultat de la recherche : Equipe = CFSC
Titre Auteur
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Bouchera Maati
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
Imene Bensetira
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Saïd Layadi
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Radja Boukharrou
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité
Souad Guellati
Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage
Ahmed-Chawki Chaouche
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
Nabil Belala
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
Mourad Bouzenada
Approche de vérification contextuelle des systèmes ambiants
Roumeissa Khennaoui
Développement de systèmes intégrés pour le smart campus
Abir Nemouchi
Planification événementielle dans un système d'intelligence ambiante
Hichem Baitiche
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Farouk Meddah
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
Mohammed Lamine Daikha
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
Selsabil Ines Bouhidel