PhD theses
Title Author
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Seriel Rayene Boussalia
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 spécification des changements de besoins basée transformations de graphes
Khaled Khalfaoui
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
Said Labed
Recherche d’information contextuelle et sémantique sur le web
Abdelkrim Bouramoul
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
Mohamed Gharzouli
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
Elhillali Kerkouche
Symbolic Verification of Critical Systems: A Distributed Approach
Zine El Abidine Bouneb
Time Models and their interst for the Formal Verification of Real Time Systems
Nabil Belala
Reconnaissance des expressions faciales à base d’informations vidéo ; Estimation de l’intensité des expressions faciales
Khadoudja Ghanem
Recherche d’images par le contenu
Kamel Houari
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
Mohamed Redha Bahri
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
Raida Elmansouri
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
Mourad Bouzenada
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle
Salah Merniz