Thèses de doctorat
Titre Auteur
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
Simulation multi-agents de marchés financiers: Un modèle pour l’étude des bulles spéculatives Sadek Benhammada
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante Aouatef Chaib
Efficient, Scalable and Economic-based Resource Management in Peer-To-Peer Grids Nabila Chergui
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
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes Saïd Layadi
Approches bio-inspirées pour le pré-traitement, l’extraction et la fusion de données biométriques Lamis Ghoualmi
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels Nacer Tabib
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables Rabah Mokhtari
Optimisation problem solving in the field of cellular networks Zakaria Abdelmoiz Dahi
Analyse structurelle et comportementale automates cellulaires:application au problème de la classification de densité Zakaria Laboudi
Carte cognitive floue avec apprentissage hybride pour la modélisation et la conception des systèmes adaptatifs complexes Ahmed Tlili
Une architecture logicielle à base de composants guidées par la qualité des besoins Khalil Elbaz