PhD theses
Title Author
Génération de cas de test pour la validation des diagrammes UML
Abdelkamel Hettab
Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language
Imène Bensalem
Security Mechanisms for Cloud Computing Infrastructures: An Operational Strategy and Technical Methodology
Abdelwahhab Satta
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
Mohamed Skander Daas
Dissémination robuste des messages de sécurité routière dans le cadre des réseaux véhiculaires
Houda Hafi
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é)
Haoua Cheribi
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
Said Meghzili
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
Mohamed Elkamel Hamdane
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
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
Nabil Messaoudi
Vérification de la composition de services par la transformation de modèles
Redouane Nouara
Recherche d'information géographique à l‘aide des ontologies spatiales de localisation
Fériel Abdelkoui
Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées
Akram Kout
Reconstruction des cartes géographiques endommagées à partir d'éléments existants
Baha Fergani
Traitement de l'hétérogénéité sémantique pour l'exploration des sources de données multimédias
Aïcha Aggoune
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML
Wafa Chama
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
Saïd Layadi
Distributed construction of state spaces for an efficient verification of untimed systems
Nacer Tabib
Optimisation problem solving in the field of cellular networks
Zakaria Abdelmoiz Dahi
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables
Rabah Mokhtari