Djamel Eddine SAIDOUNI
Research Gate DBLP Google Scholar LinkedIn
Détails
5 dernières publications
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)
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)
Imene Bensetira; Djamel Eddine Saidouni; Mahfud Al-la Alamin
A state space distribution approach based on system behaviour. Int. J. of Computational Science and Engineering (IJCSE) 19(3): 418-429 (2019)
Doctorant Titre
Meddah Farouk Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Maati Bouchera Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Thème Soutenance
mp-SAVE v0.1 : A Multi-Paradigm Environment for systems Specification and Verification 2016
Nom Lien
MP-SAVE: Multi-Paradigm Specification And Verification Environment
Formal Concurrency Verification Environment