Thèses de doctorat
Titre Auteur
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 Bouaroudj
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
Sofiane Chemaa
Une approche de composition de services Web basée transformation de graphes
Fayçal Bachtarzi
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes
Mouna Aouag
Une approche de spécification des changements de besoins basée transformations de graphes
Khaled Khalfaoui
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
Vérification comportementale des systèmes temporisés : Approches de Maximalité
Adel Benamira
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
Said Labed
Méthodes de résolution de problèmes difficiles académiques
Amira Gherboudj
Modèles et algorithmes pour le test des systèmes temps réel
Ilham Kitouni
Test formel des systèmes temps réel : Approche de transformation de graphes
Hiba Hachichi
Modèles formels pour la conception des systèmes temps réel
Toufik Messaoud Maarouk