Thèses de doctorat
| Titre | Auteur | ||
|---|---|---|---|
|
Dynamic Business Process Change
|
Mohammed Mounir Bouhamed | MFGL | il y a 4 semaines |
|
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
|
Bouchera Maati | CFSC | il y a 5 mois |
|
Un cadre formel pour l'analyse et la vérification des processus métiers
|
Khalil Mecheraoui | CFSC | il y a 8 mois |
|
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
|
Kamel Oussama | MFGL | il y a 1 an |
|
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
|
Guerrouf Fayçal | MFGL | il y a 1 an |
|
UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués
|
Meliouh Amel | MFGL | il y a 1 an |
|
La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants
|
Mohamed Boubakir | MFGL | il y a 1 an |
|
Architectures et protocoles applicatifs dans l'Internet des objets
|
Badreddine Miles | SCAL | il y a 1 an |
|
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
|
Riad Matmat | CFSC | il y a 1 an |
|
Génération de cas de test pour la validation des diagrammes UML
|
Abdelkamel Hettab | MFGL | il y a 2 ans |
|
Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language
|
Imène Bensalem | SCAL | il y a 2 ans |
|
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 | il y a 2 ans |
|
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 | il y a 3 ans |
|
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 | il y a 3 ans |
|
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 | il y a 4 ans |
|
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 | il y a 4 ans |
|
Système Multi Agents adaptatif et composition des services ` dans un environnement d’intelligence ambiante
|
Chaib Aouatef | MFGL | il y a 4 ans |
|
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 | il y a 4 ans |
|
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | il y a 4 ans |
|
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 | il y a 5 ans |