PhD theses
| Title | Author | ||
|---|---|---|---|
|
Architectures et protocoles applicatifs dans l'Internet des objets.
|
Badreddine Miles | SCAL | 8 months ago |
|
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
|
Riad Matmat | CFSC | 11 months ago |
|
Génération de cas de test pour la validation des diagrammes UML
|
Abdelkamel Hettab | MFGL | 1 year ago |
|
Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language
|
Imène Bensalem | SCAL | 1 year ago |
|
Apport de l’Intelligence en Essaim et des Plans d’Expériences aux Protocoles de Routage pour les Réseaux Mobiles Ad-hoc : Application au Routage Géographique Inter-Couche
|
Mohamed Skander Daas | SCAL | 1 year ago |
|
Systèmes multi-agents normatifs pour la mise en oeuvre de la sécurité dans des applications complexes (vers la pertinence des politiques de sécurité)
|
Haoua Cheribi | OSSIG | 2 years ago |
|
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
|
Said Meghzili | MFGL | 2 years ago |
|
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
|
Mohamed Elkamel Hamdane | MFGL | 3 years ago |
|
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions
|
Imene Bensetira | CFSC | 3 years ago |
|
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi
|
Nabil Messaoudi | MFGL | 3 years ago |
|
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | 3 years ago |
|
Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées
|
Akram Kout | SCAL | 4 years ago |
|
Reconstruction des cartes géographiques endommagées à partir d'éléments existants
|
Baha Fergani | OSSIG | 4 years ago |
|
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
|
Saïd Layadi | CFSC | 4 years ago |
|
Optimisation problem solving in the field of cellular networks
|
Zakaria Abdelmoiz Dahi | OSSIG | 4 years ago |
|
Génération d'expresions LOTOS à partir de diagrammes UML
|
Salim Djaaboub | MFGL | 4 years ago |
|
Méthodes bio-inspirées pour le problème du plus court chemin multi-objectif
|
Samira Bouzoubia | SCAL | 4 years ago |
|
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 | MFGL | 4 years ago |
|
Application de nouvelles approches d’optimisation pour la biométrie
|
Amira Bouaziz | SCAL | 5 years ago |
|
Behavioural verification of extended Petri nets under a maximality semantics
|
Messaouda Bouneb | CFSC | 5 years ago |