أطروحات الدكتوراه
العنوان المؤلف
Architectures et protocoles applicatifs dans l'Internet des objets.
بذر الذين ميلس
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
رياض مطمط
Génération de cas de test pour la validation des diagrammes UML
Hettab Abdelkamel
Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language
إيمان بن سالم
Apport de l’Intelligence en Essaim et des Plans d’Expériences aux Protocoles de Routage pour les Réseaux Mobiles Ad-hoc : Application au Routage Géographique Inter-Couche
محمد سكندر دعاس
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
ايمان بن ستيرة
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
رضوان نوارة
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
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Layadi Saïd
Optimisation problem solving in the field of cellular networks
Dahi Zakaria Abdelmoiz
Génération d'expresions LOTOS à partir de diagrammes UML
Djaaboub Salim
Méthodes bio-inspirées pour le problème du plus court chemin multi-objectif
Bouzoubia Samira
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
عصـام بلغباط
Application de nouvelles approches d’optimisation pour la biométrie
Bouaziz Amira
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée
Bouneb Messaouda