الفريق 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
منذ 10 أشهر
ايمان بن ستيرة
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
منذ 4 سنوات
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ 5 سنوات
آخر 5 منشورات
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)
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)
Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021)
Amir Djenna; Saad Harous; Djamel Eddine Saidouni
Internet of Things Meet Internet of Threats: New Concern Cyber Security Issues of Critical Cyber Infrastructure. Applied Sciences 11(10): 4580 (2021)