PhD theses
Title Author
Distributed construction of state spaces for an efficient verification of untimed systems
Nacer Tabib
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
Rabah Mokhtari
Analyse structurelle et comportementale automates cellulaires:application au problème de la classification de densité
Zakaria Laboudi
Une architecture logicielle à base de composants guidées par la qualité des besoins
Khalil Elbaz
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
Recherche adaptative d’images par contenu: Application à l’aide au diagnostic en dermatologie
Khadidja Belattar
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
Reconnaissance et identification des caractères manuscrits manquants sur des manuscrits anciens détériorés
Aïcha Eutamène
Application de nouvelles approches d’optimisation pour la biométrie
Amira Bouaziz
Optimization Methods for Logistics Routing
Meryem Ammi
Behavioural verification of extended Petri nets under a maximality semantics
Messaouda Bouneb
Definition of formal models for heterogeneous timed systems and ther application for job-shop scheduling problem
Farid Arfi
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Seriel Rayene Boussalia
Designing of Multi Agent Systems based on Formal Models Integrating Fuzziness
Sofia Kouah
Approches adaptatives et techniques d'apprentissage automatique pour la segmentation et la reconnaissance dynamiques de l'écriture hors-ligne appliquées aux mots manuscripts en arabe
Maamar Kef
Contribution à la résolution de problèmes bio-informatiques par les algorithmes évolutionnaires
Widad Kartous
Agents adaptatifs et méta-heuristiques pour la recherche d’information personnalisée
Tarek Alloui
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Radja Boukharrou