Titre	Auteur	Equipe	Soutenance
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
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
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
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	CFSC	il y a 2 ans
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	CFSC	il y a 2 ans
Conception des systèmes multi-agents à base de modèles formels intégrant le flou	Sofia Kouah	CFSC	il y a 3 ans
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles	Radja Boukharrou	CFSC	il y a 3 ans
Approches métaheuristiques à base de population pour la coloration de graphes	Meriem Bensouyad	CFSC	il y a 3 ans
Approches de Distribution de Graphes basées sur leurs Colorations	Nousseiba Guidoum	CFSC	il y a 3 ans
Formalisation et analyse des processus BPEL temporellement temporisés par l’utilisation des modèles de temps	Imed Eddine Chama	CFSC	il y a 3 ans
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité	Souad Guellati	CFSC	il y a 3 ans
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	CFSC	il y a 3 ans
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité	Mokdad Arous	CFSC	il y a 4 ans
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité	Kenza Bouarroudj	CFSC	il y a 4 ans
Vérification comportementale des systèmes temporisés : Approches de Maximalité	Adel Benamira	CFSC	il y a 6 ans
Test formel des systèmes temps réel : Approche de transformation de graphes	Hiba Hachichi	CFSC	il y a 6 ans
Modèles et algorithmes pour le test des systèmes temps réel	Ilham Kitouni	CFSC	il y a 6 ans
Modèles formels pour la conception des systèmes temps réel	Toufik Messaoud Maarouk	CFSC	il y a 6 ans
Vérification symbolique des systèmes critiques : Approche distribuée	Zine El Abidine Bouneb	CFSC	il y a 8 ans
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel	Nabil Belala	CFSC	il y a 8 ans