Titre	Auteur	Equipe	Soutenance
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 11 mois
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 1 an
Simulation multi-agents de marchés financiers: Un modèle pour l’étude des bulles spéculatives	Sadek Benhammada	SCAL	il y a 1 an
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante	Aouatef Chaib	MFGL	il y a 1 an
Efficient, Scalable and Economic-based Resource Management in Peer-To-Peer Grids	Nabila Chergui	SCAL	il y a 1 an
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 1 an
Vérification de la composition de services par la transformation de modèles	Redouane Nouara	MFGL	il y a 1 an
Recherche d'information géographique à l‘aide des ontologies spatiales de localisation	Fériel Abdelkoui	OSSIG	il y a 1 an
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 1 an
Reconstruction des cartes géographiques endommagées à partir d'éléments existants	Baha Fergani	OSSIG	il y a 1 an
Traitement de l'hétérogénéité sémantique pour l'exploration des sources de données multimédias	Aïcha Aggoune	OSSIG	il y a 1 an
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML	Wafa Chama	MFGL	il y a 1 an
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes	Saïd Layadi	CFSC	il y a 1 an
Approches bio-inspirées pour le pré-traitement, l’extraction et la fusion de données biométriques	Lamis Ghoualmi	SCAL	il y a 1 an
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels	Nacer Tabib	CFSC	il y a 2 ans
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables	Rabah Mokhtari	MFGL	il y a 2 ans
Optimisation problem solving in the field of cellular networks	Zakaria Abdelmoiz Dahi	OSSIG	il y a 2 ans
Analyse structurelle et comportementale automates cellulaires:application au problème de la classification de densité	Zakaria Laboudi	SCAL	il y a 2 ans
Carte cognitive floue avec apprentissage hybride pour la modélisation et la conception des systèmes adaptatifs complexes	Ahmed Tlili	SCAL	il y a 2 ans
Une architecture logicielle à base de composants guidées par la qualité des besoins	Khalil Elbaz	MFGL	il y a 2 ans