PhD theses
Title Author
Symbolic Verification of Critical Systems: A Distributed Approach
Zine El Abidine Bouneb
Time Models and their interst for the Formal Verification of Real Time Systems
Nabil Belala
Reconnaissance des expressions faciales à base d’informations vidéo ; Estimation de l’intensité des expressions faciales
Khadoudja Ghanem
Recherche d’images par le contenu
Kamel Houari
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
Mohamed Redha Bahri
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
Raida Elmansouri
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
Mourad Bouzenada
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle
Salah Merniz
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
Sihem Mostefai
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
Amira Sairi
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Farouk Meddah
Planification événementielle dans un système d'intelligence ambiante
Hichem Baitiche
Optimizing Vehicular traffic management: A SDN based Approach
Soufyane Guerza
Approche de vérification contextuelle des systèmes ambiants
Roumeissa Khennaoui
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle
Abir Bitat
Elaboration d'une solution basé modèle pour l'élasticité des applications sur le cloud
Anfal Kadi
Développement de systèmes intégrés pour le smart campus
Abir Nemouchi
Collecte, prétraitement et visualisation des données sur les effets des substances psychoactives dans les addictions multiples
Wafia Abada
Analyse et synthèse d’opinion multilingue dans le Big Social Data
Mohamed Raouf Kanfoud
Proposition de nouvelles approches basées "soft-computing" pour la résolution des problèmes en "Computational Linguistics"
Khadidja Chettah