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 | CFSC | il y a 2 ans |
|
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 3 ans |
|
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
|
Nacer Tabib | CFSC | il y a 3 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 4 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 4 ans |
|
Conception des systèmes multi-agents à base de modèles formels intégrant le flou
|
Sofia Kouah | CFSC | il y a 4 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 4 ans |
|
Approches de Distribution de Graphes basées sur leurs Colorations
|
Nousseiba Guidoum | CFSC | il y a 4 ans |
|
Approches métaheuristiques à base de population pour la coloration de graphes
|
Meriem Bensouyad | CFSC | il y a 4 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 5 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 5 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 5 ans |
|
Caractérisation des performances des systèmes Concurents dans le contexte de la sémantique de maximalité
|
Mokdad Arous | CFSC | il y a 5 ans |
|
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
|
Kenza Bouaroudj | CFSC | il y a 5 ans |
|
Vérification comportementale des systèmes temporisés : Approches de Maximalité
|
Adel Benamira | CFSC | il y a 7 ans |
|
Modèles et algorithmes pour le test des systèmes temps réel
|
Ilham Kitouni | CFSC | il y a 7 ans |
|
Test formel des systèmes temps réel : Approche de transformation de graphes
|
Hiba Hachichi | CFSC | il y a 7 ans |
|
Modèles formels pour la conception des systèmes temps réel
|
Toufik Messaoud Maarouk | CFSC | il y a 8 ans |
|
Vérification symbolique des systèmes critiques : Approche distribuée
|
Zine El Abidine Bouneb | CFSC | il y a 9 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 9 ans |