Action Refinement in LOTOS. - Jean-Pierre Courtiat; Djamel-Eddine Saïdouni (PSTV, 1993)

Syntactic Action Refinement in Presence of Multiway Synchronization. - Djamel-Eddine Saïdouni; Jean-Pierre Courtiat (Semantics of Specification Languages, 1993)

Relating maximality-based semantics to action refinement in process algebras. - Jean-Pierre Courtiat; Djamel-Eddine Saïdouni (FORTE, 1994)

Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. - Djamel-Eddine Saïdouni; Nabil Belala (Int. Arab J. Inf. Technol., 2005)

Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram. - Abdesslem Layeb; Djamel-Eddine Saïdouni (CSICC, 2008)

A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. - Abdesslem Layeb; Djamel-Eddine Saïdouni (HAIS, 2008)

Using maximality-based labelled transition system as a model for petri nets. - Djamel-Eddine Saïdouni; Nabil Belala; Messaouda Bouneb (Int. Arab J. Inf. Technol., 2009)

A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem. - Abdesslem Layeb; Djamel-Eddine Saïdouni (Int. J. Cogn. Informatics Nat. Intell., 2010)

Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales. - Adel Benamira; Djamel-Eddine Saïdouni (CIIA, 2011)

A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. - Djamel-Eddine Saïdouni; Riadh Matmat; Nacer Tabib (CIIA, 2011)

A Graph Transformation Approach for Testing Timed Systems. - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (ICIST, 2012)

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (CoRR, 2012)

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems - Kenza Bouaroudj; Ilham Kitouni; Hiba Hachichi; Djamel-Eddine Saïdouni (CoRR, 2012)

A Generalized Graph Strict Strong Coloring Algorithm. - Mourad Bouzenada; Meriem Bensouyad; Nousseiba Guidoum; Ahmed Reghioua; Djamel-Eddine Saïdouni (Int. J. Appl. Metaheuristic Comput., 2012)

Towards a Calculus for Distributed, Real-Time and Mobile Systems. - Toufik Messaoud Maarouk; Djamel-Eddine Saïdouni; Mohamed Khergag (J. Softw., 2012)

Maximality Semantic For Recursive Petri Nets. - Djamel-Eddine Saïdouni; Messaouda Bouneb; Jean-Michel Ilié (ECMS, 2013)

A Higher-order Agent Model for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (EUSPN/ICTH, 2013)

Testing Stochastic Systems Using MoVoS Tool: Case Studies. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (ICIST, 2013)

Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (QSHINE, 2013)

The Strict Strong Coloring Based Graph Distribution Algorithm. - Nousseiba Guidoum; Meriem Bensouyad; Djamel-Eddine Saïdouni (Int. J. Appl. Metaheuristic Comput., 2013)

Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. - Nabil Belala; Djamel-Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; A. Seraoui; A. Chachoua (Int. J. Embed. Real Time Commun. Syst., 2013)

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. - Sofia Kouah; Djamel-Eddine Saïdouni; Jean-Michel Ilié (J. Softw., 2013)

Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect Verification. - Mokdad Arous; Djamel-Eddine Saïdouni (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

Maximality-Based Labeled Transition Systems Normal Form. - Adel Benamira; Djamel-Eddine Saïdouni (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

A Dynamical Plan Revising for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ANT/SEIT, 2014)

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (CyberC, 2014)

A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IBERAMIA, 2014)

Maximality-based Region Graph: A Novel Alternative. - Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel-Eddine Saïdouni (ICAASE, 2014)

FMEBP: A Formal Modeling Environment of Business Process. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (ICIST, 2014)

Timed Automata with Action Durations - From Theory to Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (ICIST, 2014)

Contextual-Timed Planning Management for Ambient Systems. - Radja Boukharrou; Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ICTAI, 2014)

From Intentions to Plans: A Contextual Planning Guidance. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IDC, 2014)

Formalization and analysis of timed BPEL. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (IRI, 2014)

An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring Problem. - Meriem Bensouyad; Nousseiba Guidoum; Djamel-Eddine Saïdouni (Int. J. Appl. Evol. Comput., 2014)

Fuzzy Labeled Transition Refinement Tree: Application to Stepwise Designing Multi Agent Systems. - Sofia Kouah; Djamel-Eddine Saïdouni (Int. J. Agent Technol. Syst., 2014)

Formalizing Timed BPEL by D-LOTOS. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (Int. J. Embed. Real Time Commun. Syst., 2014)

True Concurrency Semantics: Towards a Verification of Timed Systems. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (Int. J. Embed. Real Time Commun. Syst., 2014)

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Trans. Comput. Collect. Intell., 2014)

Interpretation of DD-LOTOS Specification by C-DATA. - Maarouk Toufik Messaoud; Djamel-Eddine Saïdouni; Mahdaoui Rafik; Houassi Hichem (ADBIS (Short Papers and Workshops), 2015)

Relative Timed Model for Coordinated Multi Agent Systems. - Said Layadi; Jean-Michel Ilié; Ilham Kitouni; Djamel-Eddine Saïdouni (CIIA, 2015)

Spatio-Temporal Guidance for Ambient Agents. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (CSCS, 2015)

A discrete flower pollination algorithm for graph coloring problem. - Meriem Bensouyad; Djamel-Eddine Saïdouni (CYBCONF, 2015)

Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. - Said Layadi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ECMS, 2015)

Spatio-Temporal Planning for Mobile Ambient Agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (FNC/MobiSPC, 2015)

Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (AIAI, 2015)

A new and fast variant of the strict strong coloring based graph distribution algorithm. - Nousseiba Guidoum; Meriem Bensouyad; Djamel-Eddine Saïdouni (SNPD, 2015)

A reduced maximality labeled transition system generation for recursive Petri nets. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Formal Aspects Comput., 2015)

Hierarchical Design Method for Multi-Agent Systems. - Messaouda Bouneb; Djamel-Eddine Saïdouni (Int. J. Agent Technol. Syst., 2015)

Formal testing theory of stochastic systems under maximality semantics. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (Int. J. Comput. Aided Eng. Technol., 2015)

Application of Fuzzy Labeled Transition System to Contract Net Protocol. - Sofia Kouah; Djamel-Eddine Saïdouni (Int. J. Serv. Sci. Manag. Eng. Technol., 2015)

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. - Mokdad Arous; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Int. J. Syst. Serv. Oriented Eng., 2015)

Dealing with temporal failure in ambient systems: a dynamic revision of plans. - Radja Boukharrou; Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2015)

Formal Modeling and Analysis of Business Process Timed Constraints. - Imed Eddine Chama; Nabil Belala; Djamel-Eddine Saïdouni (Formalisms for Reuse and Systems Integration, 2015)

Towards a Comprehensive Formal Model for Business Processes. - Khalil Mecheraoui; Nabil Belala; Djamel-Eddine Saïdouni (ICIST, 2016)

A Guidance of Ambient Agents Adapted to Opportunistic Situations. - Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IDC, 2016)

Newton's Law of Universal Gravitation Based Genetic Algorithm for Graph Distribution. - Nacer Tabib; Djamel-Eddine Saïdouni (Int. J. Comput. Intell. Appl., 2016)

Relative time rates in dynamic timed automata. - Said Layadi; Ilham Kitouni; Nabil Belala; Djamel-Eddine Saïdouni (Int. J. Commun. Networks Distributed Syst., 2016)

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. - Riadh Matmat; Ilham Kitouni; Djamel-Eddine Saïdouni (Int. J. Distributed Syst. Technol., 2016)

Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. - Sofia Kouah; Djamel-Eddine Saïdouni; Ilham Kitouni (Int. J. Intell. Inf. Technol., 2016)

Solving preemptive job-shop scheduling problems using a true concurrency model. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Simul. Process. Model., 2016)

Contextual time reasoning for mobile ambient agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Wirel. Mob. Comput., 2016)

Learning from situated experiences for a contextual planning guidance. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2016)

Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. - Hichem Baitiche; Mourad Bouzenada; Djamel-Eddine Saïdouni (EUSPN/ICTH, 2017)

Time and Space Reasoning for Ambient Systems. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Ambient Comput. Intell., 2017)

Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. - Amir Djenna; Djamel-Eddine Saïdouni (CSNet, 2018)

A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. - Hichem Baitiche; Mourad Bouzenada; Djamel-Eddine Saïdouni; Youcef Berkane; Hichem Chama (MISC, 2018)

Hierarchical System Design Using Refinable Recursive Petri Net. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Comput. Informatics, 2018)

A state space distribution approach based on system behaviour. - Imene Bensetira; Djamel-Eddine Saïdouni; Mahfud Al-la Alamin (Int. J. Comput. Sci. Eng., 2019)

A Pragmatic Cybersecurity Strategies for Combating IoT-Cyberattacks. - Amir Djenna; Djamel-Eddine Saïdouni; Wafia Abada (ISNCC, 2020)

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. - Nadia Chabbat; Djamel-Eddine Saïdouni; Radja Boukharrou; Salim Ghanemi (Comput. Informatics, 2020)

CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. - Bouchera Maati; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2023)

Failure recovery mechanism for BDI agents based on abilities and discovery protocols. - Hichem Baitiche; Mourad Bouzenada; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2024)