الفريق CFSC : Conception Formelle des Systèmes Complexes

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.

آخر 3 أطروحات مناقشة
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
منذ 5 سنوات
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ 6 سنوات
آخر 5 منشورات
Ahmed-Chawki Chaouche; Jean-Michel Ilié; Assem Hebik; Fran\ccois 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)