PhD theses
Search result : Team = CFSC
Title Author
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
Riad Matmat
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
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
Saïd Layadi
Behavioural verification of extended Petri nets under a maximality semantics
Messaouda Bouneb
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Radja Boukharrou
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
Souad Guellati
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
Ahmed-Chawki Chaouche
Formal testing of stochastic real time systems under a maximality semantics
Kenza Bouaroudj
Symbolic Verification of Critical Systems: A Distributed Approach
Zine El Abidine Bouneb
Time Models and their interst for the Formal Verification of Real Time Systems
Nabil Belala
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
Mourad Bouzenada
Approche de vérification contextuelle des systèmes ambiants
Roumeissa Khennaoui
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Bouchera Maati
Elaboration d'une solution basé modèle pour l'élasticité des applications sur le cloud
Anfal Kadi
Planification événementielle dans un système d'intelligence ambiante
Hichem Baitiche
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Farouk Meddah
Un cadre formel pour l'analyse et la vérification des processus métiers
Khalil Mecheraoui
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
Selsabil Ines Bouhidel