Djamel-Eddine Saïdouni

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 19

Top Topics

Business Processes

Stochastic Systems

Top Venues

J. Ambient Intell. Humaniz. Comput.

Comput. Informatics

Int. J. Embed. Real Time Commun. Syst.

Publications

Hichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni
Failure recovery mechanism for BDI agents based on abilities and discovery protocols. J. Ambient Intell. Humaniz. Comput. 15 (4) (2024)
Bouchera Maati, Djamel-Eddine Saïdouni
CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. J. Ambient Intell. Humaniz. Comput. 14 (11) (2023)
Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Comput. Informatics 39 (5) (2020)
Amir Djenna, Djamel-Eddine Saïdouni, Wafia Abada
A Pragmatic Cybersecurity Strategies for Combating IoT-Cyberattacks. ISNCC (2020)
Imene Bensetira, Djamel-Eddine Saïdouni, Mahfud Al-la Alamin
A state space distribution approach based on system behaviour. Int. J. Comput. Sci. Eng. 19 (3) (2019)
Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié
Hierarchical System Design Using Refinable Recursive Petri Net. Comput. Informatics 37 (3) (2018)
Amir Djenna, Djamel-Eddine Saïdouni
Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. CSNet (2018)
Hichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni, Youcef Berkane, Hichem Chama
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. MISC (2018)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Time and Space Reasoning for Ambient Systems. Int. J. Ambient Comput. Intell. 8 (3) (2017)
Hichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni
Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. EUSPN/ICTH (2017)
Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni
Towards a Comprehensive Formal Model for Business Processes. ICIST (2016)
Riadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. Int. J. Distributed Syst. Technol. 7 (3) (2016)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Learning from situated experiences for a contextual planning guidance. J. Ambient Intell. Humaniz. Comput. 7 (4) (2016)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Contextual time reasoning for mobile ambient agents. Int. J. Wirel. Mob. Comput. 10 (3) (2016)
Said Layadi, Ilham Kitouni, Nabil Belala, Djamel-Eddine Saïdouni
Relative time rates in dynamic timed automata. Int. J. Commun. Networks Distributed Syst. 17 (4) (2016)
Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Guidance of Ambient Agents Adapted to Opportunistic Situations. IDC (2016)
Nacer Tabib, Djamel-Eddine Saïdouni
Newton's Law of Universal Gravitation Based Genetic Algorithm for Graph Distribution. Int. J. Comput. Intell. Appl. 15 (4) (2016)
Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Solving preemptive job-shop scheduling problems using a true concurrency model. Int. J. Simul. Process. Model. 11 (3/4) (2016)
Sofia Kouah, Djamel-Eddine Saïdouni, Ilham Kitouni
Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. Int. J. Intell. Inf. Technol. 12 (1) (2016)
Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni
A new and fast variant of the strict strong coloring based graph distribution algorithm. SNPD (2015)
Maarouk Toufik Messaoud, Djamel-Eddine Saïdouni, Mahdaoui Rafik, Houassi Hichem
Interpretation of DD-LOTOS Specification by C-DATA. ADBIS (Short Papers and Workshops) (2015)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments. AIAI (2015)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Spatio-Temporal Planning for Mobile Ambient Agents. FNC/MobiSPC (2015)
Messaouda Bouneb, Djamel-Eddine Saïdouni
Hierarchical Design Method for Multi-Agent Systems. Int. J. Agent Technol. Syst. 7 (2) (2015)
Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni
Formal testing theory of stochastic systems under maximality semantics. Int. J. Comput. Aided Eng. Technol. 7 (3) (2015)
Sofia Kouah, Djamel-Eddine Saïdouni
Application of Fuzzy Labeled Transition System to Contract Net Protocol. Int. J. Serv. Sci. Manag. Eng. Technol. 6 (3) (2015)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Spatio-Temporal Guidance for Ambient Agents. CSCS (2015)
Said Layadi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. ECMS (2015)
Mokdad Arous, Djamel-Eddine Saïdouni, Jean-Michel Ilié
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. Int. J. Syst. Serv. Oriented Eng. 5 (1) (2015)
Radja Boukharrou, Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Dealing with temporal failure in ambient systems: a dynamic revision of plans. J. Ambient Intell. Humaniz. Comput. 6 (3) (2015)
Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié
A reduced maximality labeled transition system generation for recursive Petri nets. Formal Aspects Comput. 27 (5-6) (2015)
Said Layadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni
Relative Timed Model for Coordinated Multi Agent Systems. CIIA (2015)
Meriem Bensouyad, Djamel-Eddine Saïdouni
A discrete flower pollination algorithm for graph coloring problem. CYBCONF (2015)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. IBERAMIA (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
FMEBP: A Formal Modeling Environment of Business Process. ICIST (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Dynamical Plan Revising for Ambient Systems. ANT/SEIT (2014)
Meriem Bensouyad, Nousseiba Guidoum, Djamel-Eddine Saïdouni
An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring Problem. Int. J. Appl. Evol. Comput. 5 (2) (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. Trans. Comput. Collect. Intell. 16 (2014)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
Timed Automata with Action Durations - From Theory to Implementation. ICIST (2014)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. CyberC (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
From Intentions to Plans: A Contextual Planning Guidance. IDC (2014)
Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni
Maximality-based Region Graph: A Novel Alternative. ICAASE (2014)
Sofia Kouah, Djamel-Eddine Saïdouni
Fuzzy Labeled Transition Refinement Tree: Application to Stepwise Designing Multi Agent Systems. Int. J. Agent Technol. Syst. 6 (3) (2014)
Radja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Contextual-Timed Planning Management for Ambient Systems. ICTAI (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalization and analysis of timed BPEL. IRI (2014)
Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni
Formalizing Timed BPEL by D-LOTOS. Int. J. Embed. Real Time Commun. Syst. 5 (2) (2014)
Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni
True Concurrency Semantics: Towards a Verification of Timed Systems. Int. J. Embed. Real Time Commun. Syst. 5 (2) (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Higher-order Agent Model for Ambient Systems. EUSPN/ICTH (2013)
Djamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié
Maximality Semantic For Recursive Petri Nets. ECMS (2013)
Sofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. Softw. 8 (3) (2013)
Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. Embed. Real Time Commun. Syst. 4 (2) (2013)
Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni
The Strict Strong Coloring Based Graph Distribution Algorithm. Int. J. Appl. Metaheuristic Comput. 4 (1) (2013)
Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni
Testing Stochastic Systems Using MoVoS Tool: Case Studies. ICIST (2013)
Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. QSHINE (2013)
Mourad Bouzenada, Meriem Bensouyad, Nousseiba Guidoum, Ahmed Reghioua, Djamel-Eddine Saïdouni
A Generalized Graph Strict Strong Coloring Algorithm. Int. J. Appl. Metaheuristic Comput. 3 (1) (2012)
Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems CoRR (2012)
Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni
A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars CoRR (2012)
Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni
A Graph Transformation Approach for Testing Timed Systems. ICIST (2012)
Toufik Messaoud Maarouk, Djamel-Eddine Saïdouni, Mohamed Khergag
Towards a Calculus for Distributed, Real-Time and Mobile Systems. J. Softw. 7 (3) (2012)
Djamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. CIIA (2011)
Adel Benamira, Djamel-Eddine Saïdouni
Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales. CIIA (2011)
Abdesslem Layeb, Djamel-Eddine Saïdouni
A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem. Int. J. Cogn. Informatics Nat. Intell. 4 (4) (2010)
Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb
Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. Inf. Technol. 6 (5) (2009)
Abdesslem Layeb, Djamel-Eddine Saïdouni
Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram. CSICC (2008)
Abdesslem Layeb, Djamel-Eddine Saïdouni
A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. HAIS (2008)
Djamel-Eddine Saïdouni, Nabil Belala
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2 (3) (2005)
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
Relating maximality-based semantics to action refinement in process algebras. FORTE (1994)
Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
Action Refinement in LOTOS. PSTV (1993)
Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
Syntactic Action Refinement in Presence of Multiway Synchronization. Semantics of Specification Languages (1993)