Filtrer
Thèses
Titre Auteur Soutenance
Modèles et algorithmes pour le test des systèmes temps réel Kitouni Ilhem 17/03/2013
Méthodes bio-inspirés hybrides pour la résolution des systemes complexes Labed Said 09/04/2013
Vérification comportementale des systèmes temporisés : Approches de Maximalité Benamira Adel 18/04/2013
Un cadre formel pour la modélisation et l'analyse des agents mobiles Dehimi Nardjes-Tessilia 28/04/2013
Sécurisation d'images médicales par des méthodes hybrides : cryptage et insertion de données cachées Brahimi Zahia 21/09/2014
Intelligence computationnelle pour les problèmes de routage adaptatif efficace en énergie et multicritères dans les réseaux mobiles Ad-Hoc Chettibi Saloua 08/01/2015
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité Arous Mokdad 05/04/2015
Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage Chaouche Ahmed-Chawki 14/05/2015
Une approche de transformation des diagrammes UML vers les spécifications B Rehab Seidali 20/09/2015
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles Boukharrou Radja 10/12/2015
Extraction de protocoles de conversation des web services à partir des fichiers Logs Moudjari Abdelkader 07/01/2016
Approches adaptatives et techniques d'apprentissage automatique pour la segmentation et la reconnaissance dynamiques de l'écriture hors-ligne appliquées aux mots manuscripts en arabe Kef Maamar 31/01/2016
Conception des systèmes multi-agents à base de modèles formels integant le Flou Kouah Sofia 03/02/2016
Définition de modèles formels pour les systèmes temporisés hétérogènes et leur application au problème d'ordonnancement de type JOB-SHOP Arfi Farid 29/05/2016
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée Bouneb Messaouda 29/05/2016
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et TT Calcul Belghiat Issam 07/02/2017
Génération d'expresions LOTOS à partir de diagrammes UML Djaaboub Salim 28/02/2017
Une architecture logicielle à base de composants guidées par la qualité des besoins Elbaz Khalil 09/03/2017