PhD theses
Title Author
Une approche de transformation des diagrammes UML vers les spécifications B
Seidali Rehab
Formalisation and Analysis of Time and Timed BPEL Processes by means of Time Models
Imed Eddine Chama
Approche bio-inspirées pour la résolution du problème de coloration de graphes
Halima Djelloul
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
Souad Guellati
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
Ahmed-Chawki Chaouche
Caracterization of Concurrent Systems Perfomances in the Context of the Maximality Semantics
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
Formal testing of stochastic real time systems under a maximality semantics
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
Behavioral Verification of Timed Systems: Maximality Approache
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
Models and Algorithms for Testing Real Time Systems
Ilham Kitouni
Formal Testing of Real Time Systems: Transformation Graphs Approach
Hiba Hachichi