Djamel Eddine SAIDOUNI
...
Professeur
Univ. Constantine 2
Equipe : CFSC
CV

Research Gate DBLP Google Scholar
Détails
5 dernières publications
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)
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)
Radja Boukharrou; Jean-Michel Ilié; Djamel Eddine Saïdouni
Time and Space Reasoning for Ambient Systems. Int. J. of Ambient Computing and Intelligence (IJACI) 8(3): 38-57 (2017)
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni
Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. 8th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'17): 41-48 (2017)
Sofia Kouah; Djamel Eddine Saidouni; Ilham Kitouni
Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. Int. J. of Intelligent Information Technologies (IJIIT) 12(1): 63-94 (2016)
Doctorant Titre
Maati Bouchera Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
Boumezber Youcef Proposition d’une architecture pour les systèmes ambiants à grand nombre d’agents coopératifs à planification évolutive et contextuelle
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