جمال الدين سعيدوني
Research Gate DBLP Google Scholar LinkedIn
التفاصيل
آخر 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)
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)
طالب دكتوراه العنوان
مداح فاروق Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
نموشي عبير Développement de systèmes intégrés pour le smart campus
الموضوع تاريخ التقييم
mp-SAVE v0.1 : A Multi-Paradigm Environment for systems Specification and Verification 2016
الإسم الرابط
MP-SAVE: Multi-Paradigm Specification And Verification Environment
Formal Concurrency Verification Environment