Djamel Eddine SAIDOUNI
Research Gate DBLP Google Scholar LinkedIn
Détails
5 dernières publications
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)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017)
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
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
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