جمال الدين سعيدوني
Research Gate DBLP Google Scholar LinkedIn
التفاصيل
آخر 5 منشورات
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)
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)
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni; Youcef Berkane; Hichem Chama
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. 5th Int. Symp. on Modelling and Implementation of Complex Systems (MISC'18): 243-256 (2019)
Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics (CAI) 37(3): 635-655 (2018)
Amir Djenna; Djamel Eddine Saïdouni
Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. 2nd Cyber Security in Networking Conf. (CSNet): 1-4 (2018)
طالب دكتوراه العنوان
مداح فاروق Prise en compte de la variabilité sémantique dans la génération de code à partir de spécifications de haut niveau
Boumezber Youcef Proposition d’une architecture pour les systèmes ambiants à grand nombre d’agents coopératifs à planification évolutive et contextuelle
Maati Bouchera Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
الموضوع تاريخ التقييم
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