المسؤول
إحصائيات
الفريق 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
منذ 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) |
|
|
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) |
|
|
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) |