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.
Maati Bouchera
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
منذ سنتين
|
|
ايمان بن ستيرة
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
منذ 6 سنوات
|
|
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ 7 سنوات
|
Ahmed-Chawki Chaouche; Jean-Michel Ilié; Assem Hebik; François Pêcheux
Integration of a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles. Computing and Informatics (CAI) 42(3): 716-740 (2023) |
|
Mohammed-Lamine Daikha; Radja Boukharrou; Ahmed-Chawki Chaouche
A Decentralized Negotiation-based Protocol for Cooperative Smart Environments. 5th Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS'2023): 1-8 (2023) |
|
Zine El Abidine Bouneb; Djamel Eddine Saidouni
Toward an IoT-Based Software-Defined Plumbing Network System With Fault Tolerance. Int. J. of Hyperconnectivity and the Internet of Things (IJHIoT) 6(1): 1-18 (2022) |
|
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation. Int. J. of Ambient Computing and Intelligence (IJACI) 13(1): 1-19 (2022) |
|
Khaoula Mahdjar; Radja Boukharrou; Ahmed-Chawki Chaouche
A Privacy Guard Mechanism for Cloud-based Home Assistants. Int. Conf. on Managing Business through Web analytics (ICMBWA'21): 295–306 (2022) |