PhD theses
Title Author
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
Saïd Layadi
Optimisation problem solving in the field of cellular networks
Zakaria Abdelmoiz Dahi
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables
Mokhtari Rabah
Une architecture logicielle à base de composants guidée par la qualité des besoins
Elbaz Khalil
Génération d'expresions LOTOS à partir de diagrammes UML
Salim Djaaboub
Méthodes bio-inspirées pour le problème du plus court chemin multi-objectif
Samira Bouzoubia
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
Behavioural verification of extended Petri nets under a maximality semantics
Messaouda Bouneb
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Seriel Rayene Boussalia
Agents adaptatifs et meta-heuristiques pour la recherche d’information personnalisée
Alloui Tarek
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Radja Boukharrou
Une approche de transformation des diagrammes UML vers les spécifications B
Seidali Rehab
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
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 des Services Web Basée Transformation de Graphes
Bachtarzi Fayçal
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes
Aouag Mouna
Une approche de spécification des changements de besoins basée transformations de graphes
Khaled Khalfaoui