Thèses de doctorat
Titre Auteur
Approches de Distribution de Graphes basées sur leurs Colorations
Nousseiba Guidoum
Approches métaheuristiques à base de population pour la coloration de graphes
Meriem Bensouyad
Une approche de transformation des diagrammes UML vers les spécifications B
Seidali Rehab
Optimizing multi-constrained skyline queries using view materialization
Samiha Brahimi
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps
Imed Eddine Chama
Approche bio-inspirées pour la résolution du problème de coloration de graphes
Halima Djelloul
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité
Souad Guellati
Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage
Ahmed-Chawki Chaouche
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité
Mokdad Arous
Intelligence computationnelle pour les problèmes de routage adaptatif efficace en énergie et multicritères dans les réseaux mobiles Ad-Hoc
Saloua Chettibi
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
Kenza Bouarroudj
Une approche de composition de services Web basée transformation de graphes
Fayçal Bachtarzi
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
Sofiane Chemaa
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes
Mouna Aouag
Sécurisation d'images médicales par des méthodes hybrides : cryptage et insertion de données cachées
Zahia Brahimi
Une approche de spécification des changements de besoins basée transformations de graphes
Khaled Khalfaoui
Détection de communautés et identification de leaders dans les réseaux sociaux de confiance:Plateforme de recommandation collaborative
Nassira Chekkai
Résolution de problèmes d’optimisation combinatoire par les algorithmes du calcul évolutionnaire
Sara Sabba
Un cadre formel pour la modélisation et l'analyse des agents mobiles
Nardjes-Tessilia Dehimi
Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML
Mouna Bouarioua