PhD theses
| Title | Author | ||
|---|---|---|---|
|
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
|
Radja Boukharrou | CFSC | 7 years ago |
|
Une approche de transformation des diagrammes UML vers les spécifications B
|
Seidali Rehab | MFGL | 7 years ago |
|
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
|
Souad Guellati | CFSC | 8 years ago |
|
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
|
Ahmed-Chawki Chaouche | CFSC | 8 years ago |
|
Une approche de spécification des changements de besoins basée transformations de graphes
|
Khaled Khalfaoui | MFGL | 8 years ago |
|
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes
|
Said Labed | SCAL | 10 years ago |
|
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
|
Mohamed Gharzouli | MFGL | 11 years ago |
|
Recherche d’information contextuelle et sémantique sur le web
|
Abdelkrim Bouramoul | OSSIG | 11 years ago |
|
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
|
Elhillali Kerkouche | MFGL | 11 years ago |
|
Time Models and their interst for the Formal Verification of Real Time Systems
|
Nabil Belala | CFSC | 12 years ago |
|
Recherche d’images par le contenu
|
Kamel Houari | OSSIG | 12 years ago |
|
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 | MFGL | 13 years ago |
|
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
|
Raida Elmansouri | MFGL | 13 years ago |
|
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
|
Mourad Bouzenada | CFSC | 15 years ago |
|
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle
|
Salah Merniz | SCAL | 15 years ago |
|
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 | SCAL | 15 years ago |
|
Analyse et synthèse d’opinion multilingue dans le Big Social Data
|
Mohamed Raouf Kanfoud | OSSIG | In progress |
|
Approche de vérification contextuelle des systèmes ambiants
|
Roumeissa Khennaoui | CFSC | In progress |
|
Collecte, prétraitement et visualisation des données sur les effets des substances psychoactives dans les addictions multiples
|
Wafia Abada | OSSIG | In progress |
|
Développement de systèmes intégrés pour le smart campus
|
Abir Nemouchi | CFSC | In progress |