أطروحات الدكتوراه
العنوان المؤلف
Dissémination robuste des messages de sécurité routière dans le cadre des réseaux véhiculaires
Hafi Houda
Systèmes multi-agents normatifs pour la mise en oeuvre de la sécurité dans des applications complexes (vers la pertinence des politiques de sécurité)
Cheribi Haoua
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
السعيد مغزيلي
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
Hamdane Mohamed Elkamel
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
Bensetira Imene
Simulation multi-agents de marchés financiers: Un modèle pour l’étude des bulles spéculatives
Benhammada Sadek
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante
Chaib Aouatef
Efficient, Scalable and Economic-based Resource Management in Peer-To-Peer Grids
Chergui Nabila
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi
Messaoudi Nabil
Vérification de la composition de services par la transformation de modèles
Nouara Redouane
Recherche d'information géographique à l‘aide des ontologies spatiales de localisation
Abdelkoui Fériel
Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées
Kout Akram
Reconstruction des cartes géographiques endommagées à partir d'éléments existants
Fergani Baha
Traitement de l'hétérogénéité sémantique pour l'exploration des sources de données multimédias
Aggoune Aïcha
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML
Chama Wafa
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Layadi Saïd
Approches bio-inspirées pour le pré-traitement, l’extraction et la fusion de données biométriques
Ghoualmi Lamis
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
Tabib Nacer
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables
Mokhtari Rabah
Optimisation problem solving in the field of cellular networks
Dahi Zakaria Abdelmoiz