أطروحات الدكتوراه
نتائج البحث : الفريق = CFSC
العنوان المؤلف
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Maati Bouchera
Un cadre formel pour l'analyse et la vérification des processus métiers
خليل مشراوي
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
رياض مطمط
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
ايمان بن ستيرة
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
Layadi Saïd
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
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Boukharrou Radja
Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité
Guellati Souad
نهج متعدد الوكلاء لتصميم أنظمة الذكاء الاصطناعي المحيط: نموذج منهجي مبني على التخطيط والتعلم
أحمد شوقي شاوش
Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité
كنزة بوعروج
Vérification symbolique des systèmes critiques : Approche distribuée
Bouneb Zine El Abidine
Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel
نبيل بلعلى
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
مراد بوزنادة
Approche de vérification contextuelle des systèmes ambiants
Khennaoui Roumeissa
Développement de systèmes intégrés pour le smart campus
عبير نموشي
Elaboration d'une solution basé modèle pour l'élasticité des applications sur le cloud
Kadi Anfal
Planification événementielle dans un système d'intelligence ambiante
هشام بيطيش
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
فاروق مداح
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
محمد الامين دايخة
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
سلسبيل إيناس بوهيدل