Titre | Auteur | ||
---|---|---|---|
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
|
Bouchera Maati | CFSC | il y a 2 ans |
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 6 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 7 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 8 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 9 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 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 14 ans |
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
|
Mourad Bouzenada | CFSC | il y a 16 ans |
Approche de vérification contextuelle des systèmes ambiants
|
Roumeissa Khennaoui | CFSC | En cours |
Contribution à la sécurisation des données dans le cloud
|
Akram Lichani | CFSC | En cours |
Développement de systèmes intégrés pour le smart campus
|
Abir Nemouchi | CFSC | En cours |
Planification événementielle dans un système d'intelligence ambiante
|
Hichem Baitiche | CFSC | En cours |
Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
|
Farouk Meddah | CFSC | En cours |
Proposition et développement d’un cloud privé pour le framework SLS
|
Imane Khoums | CFSC | En cours |
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
|
Mohammed Lamine Daikha | CFSC | En cours |
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
|
Selsabil Ines Bouhidel | CFSC | En cours |