الفريق 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 a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles. Computing and Informatics (CAI) 42(3): 716-740 (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)
Bouzenada Ahmed; Bouhamed Mohammed Mounir; Kamel Oussama; Macià Hermenegilda; Díaz Gregorio; Chaoui Allaoua
An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques. Modelling and Implementation of Complex Systems: 220-233 (2022)