PhD theses
Title Author
Un cadre formel pour la modélisation et l'analyse des agents mobiles
Dehimi Nardjes
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
Bouarioua Mouna
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
Said Labed
Extending Petri Nets for Modeling and Analysis of Reconfigurable Systems
Kahloul Laid
Distributed Causal Model-based Diagnosis; an Approach by Interacting Petri Nets
Bennoui Hammadi
Un cadre générique pour la détection et la résolution des interactions entre les aspects
Boubendir Amel
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
Mohamed Gharzouli
Recherche d’information contextuelle et sémantique sur le web
Abdelkrim Bouramoul
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
De la modélisation produit dans les technologies XAO au PLM: Une contribution à l’intégration des applications d’ingénierie dans un cadre de gestion du cycle de vie produit
Sihem Mostefai
Analyse et synthèse d’opinion multilingue dans le Big Social Data
Mohamed Raouf Kanfoud
Approche de vérification contextuelle des systèmes ambiants
Roumeissa Khennaoui