default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDjamel-Eddine Saïdouni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j32]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): 2269-2276 (2024)- 2023
- [j31]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): 15175-15204 (2023) - 2020
- [j30]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): 1022-1060 (2020) - 2019
- [j29]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): 418-429 (2019) - 2018
- [j28]Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié:
Hierarchical System Design Using Refinable Recursive Petri Net. Comput. Informatics 37(3): 635-655 (2018) - 2017
- [j27]Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Time and Space Reasoning for Ambient Systems. Int. J. Ambient Comput. Intell. 8(3): 38-57 (2017) - 2016
- [j26]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): 1650022:1-1650022:17 (2016) - [j25]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): 412-432 (2016) - [j24]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): 21-41 (2016) - [j23]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): 63-94 (2016) - [j22]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): 292-304 (2016) - [j21]Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Contextual time reasoning for mobile ambient agents. Int. J. Wirel. Mob. Comput. 10(3): 250-260 (2016) - [j20]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): 555-566 (2016) - 2015
- [j19]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): 951-973 (2015) - [j18]Messaouda Bouneb, Djamel-Eddine Saïdouni:
Hierarchical Design Method for Multi-Agent Systems. Int. J. Agent Technol. Syst. 7(2): 105-134 (2015) - [j17]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): 348-377 (2015) - [j16]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): 27-46 (2015) - [j15]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): 1-15 (2015) - [j14]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): 325-336 (2015) - 2014
- [j13]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): 22-36 (2014) - [j12]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): 1-31 (2014) - [j11]Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni:
Formalizing Timed BPEL by D-LOTOS. Int. J. Embed. Real Time Commun. Syst. 5(2): 1-21 (2014) - [j10]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): 22-42 (2014) - [j9]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: 146-169 (2014) - 2013
- [j8]Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni:
The Strict Strong Coloring Based Graph Distribution Algorithm. Int. J. Appl. Metaheuristic Comput. 4(1): 50-66 (2013) - [j7]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): 62-83 (2013) - [j6]Sofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié:
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. Softw. 8(3): 587-602 (2013) - 2012
- [j5]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): 24-33 (2012) - [j4]Toufik Messaoud Maarouk, Djamel-Eddine Saïdouni, Mohamed Khergag:
Towards a Calculus for Distributed, Real-Time and Mobile Systems. J. Softw. 7(3): 564-574 (2012) - 2010
- [j3]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): 47-61 (2010) - 2009
- [j2]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): 440-446 (2009) - 2005
- [j1]Djamel-Eddine Saïdouni, Nabil Belala:
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2(3): 199-205 (2005)
Conference and Workshop Papers
- 2020
- [c35]Amir Djenna, Djamel-Eddine Saïdouni, Wafia Abada:
A Pragmatic Cybersecurity Strategies for Combating IoT-Cyberattacks. ISNCC 2020: 1-6 - 2018
- [c34]Amir Djenna, Djamel-Eddine Saïdouni:
Cyber Attacks Classification in IoT-Based-Healthcare Infrastructure. CSNet 2018: 1-4 - [c33]Hichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni, Youcef Berkane, Hichem Chama:
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. MISC 2018: 243-256 - 2017
- [c32]Hichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni:
Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. EUSPN/ICTH 2017: 41-48 - 2016
- [c31]Khalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni:
Towards a Comprehensive Formal Model for Business Processes. ICIST 2016: 174-186 - [c30]Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
A Guidance of Ambient Agents Adapted to Opportunistic Situations. IDC 2016: 47-56 - 2015
- [c29]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: 414-423 - [c28]Said Layadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni:
Relative Timed Model for Coordinated Multi Agent Systems. CIIA 2015: 15-27 - [c27]Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Spatio-Temporal Guidance for Ambient Agents. CSCS 2015: 719-726 - [c26]Meriem Bensouyad, Djamel-Eddine Saïdouni:
A discrete flower pollination algorithm for graph coloring problem. CYBCONF 2015: 151-155 - [c25]Said Layadi, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. ECMS 2015: 549-555 - [c24]Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Spatio-Temporal Planning for Mobile Ambient Agents. FNC/MobiSPC 2015: 96-103 - [c23]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: 266-281 - [c22]Nousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni:
A new and fast variant of the strict strong coloring based graph distribution algorithm. SNPD 2015: 627-631 - 2014
- [c21]Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
A Dynamical Plan Revising for Ambient Systems. ANT/SEIT 2014: 37-44 - [c20]Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni:
Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. CyberC 2014: 269-276 - [c19]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: 791-803 - [c18]Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni:
Maximality-based Region Graph: A Novel Alternative. ICAASE 2014: 125-132 - [c17]Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni:
Timed Automata with Action Durations - From Theory to Implementation. ICIST 2014: 94-109 - [c16]Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni:
FMEBP: A Formal Modeling Environment of Business Process. ICIST 2014: 211-223 - [c15]Radja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Contextual-Timed Planning Management for Ambient Systems. ICTAI 2014: 107-114 - [c14]Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
From Intentions to Plans: A Contextual Planning Guidance. IDC 2014: 403-413 - [c13]Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni:
Formalization and analysis of timed BPEL. IRI 2014: 483-491 - 2013
- [c12]Djamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié:
Maximality Semantic For Recursive Petri Nets. ECMS 2013: 544-550 - [c11]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: 156-163 - [c10]Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni:
Testing Stochastic Systems Using MoVoS Tool: Case Studies. ICIST 2013: 310-321 - [c9]Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. QSHINE 2013: 387-401 - 2012
- [c8]Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni:
A Graph Transformation Approach for Testing Timed Systems. ICIST 2012: 123-137 - 2011
- [c7]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 - [c6]Djamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib:
A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. CIIA 2011 - 2008
- [c5]Abdesslem Layeb, Djamel-Eddine Saïdouni:
Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram. CSICC 2008: 942-945 - [c4]Abdesslem Layeb, Djamel-Eddine Saïdouni:
A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. HAIS 2008: 172-179 - 1994
- [c3]Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Relating maximality-based semantics to action refinement in process algebras. FORTE 1994: 293-308 - 1993
- [c2]Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Action Refinement in LOTOS. PSTV 1993: 341-354 - [c1]Djamel-Eddine Saïdouni, Jean-Pierre Courtiat:
Syntactic Action Refinement in Presence of Multiway Synchronization. Semantics of Specification Languages 1993: 289-303
Parts in Books or Collections
- 2015
- [p3]Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni:
Formal Modeling and Analysis of Business Process Timed Constraints. Formalisms for Reuse and Systems Integration 2015: 149-172 - 2013
- [p2]Adel Benamira, Djamel-Eddine Saïdouni:
Maximality-Based Labeled Transition Systems Normal Form. Modeling Approaches and Algorithms for Advanced Computer Applications 2013: 337-346 - [p1]Mokdad Arous, Djamel-Eddine Saïdouni:
Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications 2013: 367-377
Editorship
- 2021
- [e2]Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni, Mohamed-Khireddine Kholladi:
Modelling and Implementation of Complex Systems - Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020. Lecture Notes in Networks and Systems 156, Springer 2021, ISBN 978-3-030-58860-1 [contents] - 2019
- [e1]Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel-Eddine Saïdouni:
Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018. Lecture Notes in Networks and Systems 64, Springer 2019, ISBN 978-3-030-05481-6 [contents]
Informal and Other Publications
- 2012
- [i2]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 abs/1209.5257 (2012) - [i1]Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni:
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. CoRR abs/1211.2708 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
