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.
Bouchera Maati
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
3 months ago
|
|
Riad Matmat
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
1 year ago
|
|
Imene Bensetira
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 years ago
|
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) |