المسؤول
إحصائيات
الفريق 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 أطروحات مناقشة
|
رياض مطمط
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
منذ سنة
|
|
|
ايمان بن ستيرة
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
منذ 3 سنوات
|
|
|
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ 4 سنوات
|
آخر 5 منشورات
|
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) |
|
|
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) (2021) |
|
|
Nadia Chabbat; Djamel Eddine Saidouni; Radja Boukharrou; Salim Ghanemi
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Computing and Informatics 39(5): 1022-1060 (2020) |
|
|
Bouchera Maati; Djamel Eddine Saidouni
CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. J. of Ambient Intelligence and Humanized Computing : 1-30 (2020) |
|
|
Amir Djenna; Djamel Eddine Saidouni; Wafia Abada
A Pragmatic Cybersecurity Strategies for Combating IoT-Cyberattacks. Int. Symp. on Networks, Computers and Communications (ISNCC'20): 1-6 (2020) |