L’équipe s’intéresse à la conception et à la vérification des systèmes critiques, tel que les protocoles de communication, les systèmes embarqués et les systèmes temps réel de manière particulière.
رياض مطمط
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
منذ 6 أشهر
|
|
ايمان بن ستيرة
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
منذ 3 سنوات
|
|
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ 3 سنوات
|
Bouchera Maati; Djamel Eddine Saidouni
CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. J. of Ambient Intelligence and Humanized Computing : 1-30 (2020) |
|
Ahmed-Chawki Chaouche; Jean-Michel Ilie; Fran\ccois Pêcheux
Dealing with Failures for Execution Consistency in Context-aware Systems. 11th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'20): 212-219 (2020) |
|
Radja Boukharrou; Ahmed-Chawki Chaouche; Khaoula Mahdjar
Toward a Privacy Guard for Cloud-Based Home Assistants and IoT Devices. Int. Conf. on Mobile, Secure, and Programmable Networking: 177-194 (2020) |
|
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020) |
|
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 530-538 (2020) |