Thèses de doctorat
Titre Auteur
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Bouchera Maati
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
Kamel Oussama
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
Guerrouf Fayçal
La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants
Mohamed Boubakir
Architectures et protocoles applicatifs dans l'Internet des objets
Badreddine Miles
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
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
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
Système Multi Agents adaptatif et composition des services ` dans un environnement d’intelligence ambiante
Chaib Aouatef
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
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
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Saïd Layadi
Génération d'expresions LOTOS à partir de diagrammes UML
Salim Djaaboub
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
Aissam Belghiat
Application de nouvelles approches d’optimisation pour la biométrie
Amira Bouaziz
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Seriel Rayene Boussalia