Djamel-Eddine Saïdouni - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 63 from 63

2024

Failure recovery mechanism for BDI agents based on abilities and discovery protocolsHichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni. jaihc, 15(4):2269-2276, April 2024. [doi]

2023

CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacksBouchera Maati, Djamel-Eddine Saïdouni. jaihc, 14(11):15175-15204, 2023. [doi]

2020

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time ModelNadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi. cai, 39(5):1022-1060, 2020. [doi]

2018

A Context-Aware Distributed Protocol for Updating BDI Agents AbilitiesHichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni, Youcef Berkane, Hichem Chama. ebernburg 2019: 243-256 [doi]

Hierarchical System Design Using Refinable Recursive Petri NetMessaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié. cai, 37(3):635-655, 2018. [doi]

2017

Towards A Generic Predictive-Based Plan Selection Approach for BDI AgentsHichem Baitiche, Mourad Bouzenada, Djamel-Eddine Saïdouni. euspn 2017: 41-48 [doi]

Time and Space Reasoning for Ambient SystemsRadja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ijaci, 8(3):38-57, 2017. [doi]

2016

Solving preemptive job-shop scheduling problems using a true concurrency modelFarid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ijspm, 11(3/4):292-304, 2016. [doi]

Contextual time reasoning for mobile ambient agentsRadja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ijwmc, 10(3):250-260, 2016. [doi]

A Guidance of Ambient Agents Adapted to Opportunistic SituationsAhmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni. idc 2017: 47-56 [doi]

Learning from situated experiences for a contextual planning guidanceAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. jaihc, 7(4):555-566, 2016. [doi]

Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent SystemsSofia Kouah, Djamel-Eddine Saïdouni, Ilham Kitouni. ijiit, 12(1):63-94, 2016. [doi]

Relative time rates in dynamic timed automataSaid Layadi, Ilham Kitouni, Nabil Belala, Djamel-Eddine Saïdouni. ijcnds, 17(4):412-432, 2016. [doi]

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and DistributionRiadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni. ijdst, 7(3):21-41, 2016. [doi]

Towards a Comprehensive Formal Model for Business ProcessesKhalil Mecheraoui, Nabil Belala, Djamel-Eddine Saïdouni. ICIST 2016: 174-186 [doi]

Newton's Law of Universal Gravitation Based Genetic Algorithm for Graph DistributionNacer Tabib, Djamel-Eddine Saïdouni. ijcia, 15(4):1-17, 2016. [doi]

2015

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent SystemsMokdad Arous, Djamel-Eddine Saïdouni, Jean-Michel Ilié. ijssoe, 5(1):1-15, 2015. [doi]

A discrete flower pollination algorithm for graph coloring problemMeriem Bensouyad, Djamel-Eddine Saïdouni. cybconf 2015: 151-155 [doi]

Formal testing theory of stochastic systems under maximality semanticsKenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni. ijcaet, 7(3):348-377, 2015. [doi]

Spatio-Temporal Planning for Mobile Ambient AgentsRadja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni. fnc 2015: 96-103 [doi]

Dealing with temporal failure in ambient systems: a dynamic revision of plansRadja Boukharrou, Ahmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. jaihc, 6(3):325-336, 2015. [doi]

A reduced maximality labeled transition system generation for recursive Petri netsMessaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié. fac, 27(5-6):951-973, 2015. [doi]

Hierarchical Design Method for Multi-Agent SystemsMessaouda Bouneb, Djamel-Eddine Saïdouni. ijats, 7(2):105-134, 2015. [doi]

Formal Modeling and Analysis of Business Process Timed ConstraintsImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 149-172, Springer, 2015. [doi]

Spatio-Temporal Guidance for Ambient AgentsAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. cscs 2015: 719-726 [doi]

Improving the Contextual Selection of BDI Plans by Incorporating Situated ExperimentsAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ifip12 2015: 266-281 [doi]

A new and fast variant of the strict strong coloring based graph distribution algorithmNousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni. snpd 2015: 627-631 [doi]

Application of Fuzzy Labeled Transition System to Contract Net ProtocolSofia Kouah, Djamel-Eddine Saïdouni. ijssmet, 6(3):27-46, 2015. [doi]

Relative Timed Model for Coordinated Multi Agent SystemsSaid Layadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni. ciia 2015: 15-27 [doi]

Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time RatesSaid Layadi, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ecms 2015: 549-555 [doi]

2014

An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring ProblemMeriem Bensouyad, Nousseiba Guidoum, Djamel-Eddine Saïdouni. ijaec, 5(2):22-36, 2014. [doi]

Contextual-Timed Planning Management for Ambient SystemsRadja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ictai 2014: 107-114 [doi]

Formalizing Timed BPEL by D-LOTOSImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. ijertcs, 5(2):1-21, 2014. [doi]

FMEBP: A Formal Modeling Environment of Business ProcessImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. ICIST 2014: 211-223 [doi]

Formalization and analysis of timed BPELImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. iri 2014: 483-491 [doi]

A Dynamical Plan Revising for Ambient SystemsA.-C. Chaouche, A. El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. ant 2014: 37-44 [doi]

From Intentions to Plans: A Contextual Planning GuidanceAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. idc 2015: 403-413 [doi]

A Formal Approach for Contextual Planning Management: Application to Smart Campus EnvironmentAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. iberamia 2014: 791-803 [doi]

A Higher-Order Agent Model with Contextual Planning Management for Ambient SystemsAhmed-Chawki Chaouche, Amal El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. tcci, 16:146-169, 2014. [doi]

True Concurrency Semantics: Towards a Verification of Timed SystemsSouad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni. ijertcs, 5(2):22-42, 2014. [doi]

Forward Analysis of Timed Automata with Action Durations: Theory and ImplementationSouad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni. cyberc 2014: 269-276 [doi]

Timed Automata with Action Durations - From Theory to ImplementationSouad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni. ICIST 2014: 94-109 [doi]

Fuzzy Labeled Transition Refinement Tree: Application to Stepwise Designing Multi Agent SystemsSofia Kouah, Djamel-Eddine Saïdouni. ijats, 6(3):1-31, 2014. [doi]

Maximality-based Region Graph: A Novel AlternativeRiadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni. icaase 2014: 125-132 [doi]

2013

Pruning Search Spaces of RATA Model for the Job-Shop SchedulingFarid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni. qshine 2013: 387-401 [doi]

Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect VerificationMokdad Arous, Djamel-Eddine Saïdouni. In Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche, editors, Modeling Approaches and Algorithms for Advanced Computer Applications. Volume 488 of Studies in Computational Intelligence, pages 367-377, Springer, 2013. [doi]

Time Petri Nets with Action Duration: A True Concurrency Real-Time ModelNabil Belala, Djamel-Eddine Saïdouni, R. Boukharrou, A.-C. Chaouche, A. Seraoui, A. Chachoua. ijertcs, 4(2):62-83, 2013. [doi]

Maximality-Based Labeled Transition Systems Normal FormAdel Benamira, Djamel-Eddine Saïdouni. In Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche, editors, Modeling Approaches and Algorithms for Advanced Computer Applications. Volume 488 of Studies in Computational Intelligence, pages 337-346, Springer, 2013. [doi]

Testing Stochastic Systems Using MoVoS Tool: Case StudiesKenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni. ICIST 2013: 310-321 [doi]

A Higher-order Agent Model for Ambient SystemsA.-C. Chaouche, A. El Fallah-Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni. euspn 2013: 156-163 [doi]

The Strict Strong Coloring Based Graph Distribution AlgorithmNousseiba Guidoum, Meriem Bensouyad, Djamel-Eddine Saïdouni. ijamc-igi, 4(1):50-66, 2013. [doi]

Synchronized Petri Net: A Formal Specification Model for Multi Agent SystemsSofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié. jsw, 8(3):587-602, 2013. [doi]

Maximality Semantic For Recursive Petri NetsDjamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié. ecms 2013: 544-550 [doi]

2012

2011

Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées MaximalesAdel Benamira, Djamel-Eddine Saïdouni. ciia 2011: [doi]

A Distributed Algorithm for MLTS Generation with Aggregation of TransitionsDjamel-Eddine Saïdouni, Riadh Matmat, Nacer Tabib. ciia 2011: [doi]

2008

Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision DiagramAbdesslem Layeb, Djamel-Eddine Saïdouni. csicc 2009: 942-945 [doi]

2005

Using Maximality-Based Labeled Transition System Model for Concurrency Logic VerificationDjamel-Eddine Saïdouni, Nabil Belala. iajit, 2(3):199-205, 2005. [doi]

1994

Relating maximality-based semantics to action refinement in process algebrasJean-Pierre Courtiat, Djamel-Eddine Saïdouni. forte 1995: 293-308

1993

Action Refinement in LOTOSJean-Pierre Courtiat, Djamel-Eddine Saïdouni. pstv 1993: 341-354

Syntactic Action Refinement in Presence of Multiway SynchronisationDjamel-Eddine Saïdouni, Jean-Pierre Courtiat. sosl 1994: 289-303

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Djamel-Eddine Saïdouni'

Viewing Publication 1 - 63 from 63

2024

2023

2020

2018

2017

2016

2015

2014

2013

2012

2011

2008

2005

1994

1993

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Djamel-Eddine Saïdouni'

Viewing Publication 1 - 63 from 63

2024

2023

2020

2018

2017

2016

2015

2014

2013

2012

2011

2008

2005

1994

1993

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1