Thèses de doctorat
Titre Auteur
Vérification comportementale des systèmes temporisés : Approches de Maximalité
Adel Benamira
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
Said Labed
Méthodes de résolution de problèmes difficiles académiques
Amira Gherboudj
Combinaison de classificateurs pour la reconnaissance de mots arabes manuscrits
Leila Chergui
Modèles et algorithmes pour le test des systèmes temps réel
Ilham Kitouni
Test formel des systèmes temps réel : Approche de transformation de graphes
Hiba Hachichi
Modèles formels pour la conception des systèmes temps réel
Toufik Messaoud Maarouk
Un cadre générique pour la détection et la résolution des interactions entre les aspects
Amel Boubendir
Recherche d’information contextuelle et sémantique sur le web
Abdelkrim Bouramoul
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
Mohamed Gharzouli
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
Elhilali Kerkouche
Recherche sur la résolution des problèmes complexes d’affection de fréquences basses bandes pour les opérateurs de la téléphonie mobile
Chaker Mezioud
Vérification symbolique des systèmes critiques : Approche distribuée
Zine El Abidine Bouneb
Modèles pour les systèmes complexes adaptatifs pour la résolution de problèmes : Automates cellulaires apprenants quantiques et évolution différentielle quantique
Amer Draa
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
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
Islam : Système d’information pour l’aide à la décision spatiale basé sur une ontologie
Hacène Belhadef
Utilisation des approches d’optimisation combinatoire pour la vérification des applications temps-réel
Abdesslem Layeb
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
Mohammed Redha Bahri