Thèses de doctorat
Résultat de la recherche : Equipe = CFSC
Titre Auteur
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
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes Saïd Layadi
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels Nacer Tabib
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 Farid Arfi
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 Messaouda Bouneb
Conception des systèmes multi-agents à base de modèles formels intégrant le flou Sofia Kouah
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles Radja Boukharrou
Approches métaheuristiques à base de population pour la coloration de graphes Meriem Bensouyad
Approches de Distribution de Graphes basées sur leurs Colorations Nousseiba Guidoum
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps Imed Eddine Chama
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité Souad Guellati
Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage Ahmed-Chawki Chaouche
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité Mokdad Arous
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité Kenza Bouarroudj
Vérification comportementale des systèmes temporisés : Approches de Maximalité Adel Benamira
Test formel des systèmes temps réel : Approche de transformation de graphes Hiba Hachichi
Modèles et algorithmes pour le test des systèmes temps réel Ilham Kitouni
Modèles formels pour la conception des systèmes temps réel Toufik Messaoud Maarouk
Vérification symbolique des systèmes critiques : Approche distribuée Zine El Abidine Bouneb
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel Nabil Belala