أطروحات الدكتوراه
العنوان المؤلف
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
Khalfaoui Khaled
Un cadre formel pour la modélisation et l'analyse des agents mobiles
Nardjes 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
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
السعيد لعابد
Extending Petri Nets for Modeling and Analysis of Reconfigurable Systems
Laid Kahloul
Distributed Causal Model-based Diagnosis; an Approach by Interacting Petri Nets
Hammadi Bennoui
Un cadre générique pour la détection et la résolution des interactions entre les aspects
Amel Boubendir
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
محمد غرزولي
Recherche d’information contextuelle et sémantique sur le web
Bouramoul Abdelkrim
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
Kerkouche Elhillali
Vérification symbolique des systèmes critiques : Approche distribuée
Bouneb Zine El Abidine
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
نبيل بلعلى
Reconnaissance des expressions faciales à base d’informations vidéo ; Estimation de l’intensité des expressions faciales
Ghanem Khadoudja
Recherche d’images par le contenu
Houari Kamel
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
محمد رضا بحري
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
Elmansouri Raida
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
مراد بوزنادة
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle
صالح مغنيز
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
سهام مسطفاي