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