Djamel-Eddine Saïdouni

74 papers B 1C 6Misc 6Journal 34Unranked 22

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