Title | Author | ||
---|---|---|---|
An Elaboration of a Diagnostic Approach that Operates in a Connected Objects Environment
|
Bouchera Maati | CFSC | 1 year ago |
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 | 5 years ago |
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
|
Saïd Layadi | CFSC | 6 years ago |
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
|
Radja Boukharrou | CFSC | 7 years ago |
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
|
Souad Guellati | CFSC | 8 years ago |
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
|
Ahmed-Chawki Chaouche | CFSC | 8 years ago |
Time Models and their interst for the Formal Verification of Real Time Systems
|
Nabil Belala | CFSC | 13 years ago |
Incrustation d’objets virtuels dans des séquences vidéo pour la réalité augmentée temps réel
|
Mourad Bouzenada | CFSC | 15 years ago |
Approche de vérification contextuelle des systèmes ambiants
|
Roumeissa Khennaoui | CFSC | In progress |
Développement de systèmes intégrés pour le smart campus
|
Abir Nemouchi | CFSC | In progress |
Planification événementielle dans un système d'intelligence ambiante
|
Hichem Baitiche | CFSC | In progress |
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 | In progress |
Protection de la vie privée dans les environnements IoT : Application aux smart-cities
|
Mohammed Lamine Daikha | CFSC | In progress |
Utilisation des techniques de Process Mining pour l’analyse, la vérification et l’amélioration des processus métier
|
Selsabil Ines Bouhidel | CFSC | In progress |