PhD theses
Search result : Team = MFGL
Title Author
Dynamic Business Process Change
Mohammed Mounir Bouhamed
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
Kamel Oussama
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
Guerrouf Fayçal
La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants
Mohamed Boubakir
Génération de cas de test pour la validation des diagrammes UML
Abdelkamel Hettab
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
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
Mohamed Elkamel Hamdane
Système Multi Agents adaptatif et composition des services ` dans un environnement d’intelligence ambiante
Chaib Aouatef
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
Vérification de la composition de services par la transformation de modèles
Redouane Nouara
Génération d'expresions LOTOS à partir de diagrammes UML
Salim Djaaboub
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
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
Seriel Rayene Boussalia
Une approche de transformation des diagrammes UML vers les spécifications B
Seidali Rehab
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
Sofiane Chemaa
Une approche de spécification des changements de besoins basée transformations de graphes
Khaled Khalfaoui
Un cadre formel pour la modélisation et l'analyse des agents mobiles
Dehimi Nardjes
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
Mohamed Gharzouli
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
Elhillali Kerkouche
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