( en | de | ru )

 

Disambiguation of "Saïdouni, Djamel-Eddine"

Author of the publication

copydeleteadd this publication to your clipboard
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems.

, , and . Int. J. Syst. Serv. Oriented Eng., 5 (1): 1-15 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Djamel Eddine Lachachi

Djamel-Eddine Benarab

Nour-Eddine Zine-Eddine

Djamel Boubetra

Djamel Belaïd

 

Other publications of authors with the same name

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems, , , and . CoRR, (2012)True Concurrency Semantics: Towards a Verification of Timed Systems., , , and . Int. J. Embed. Real Time Commun. Syst., 5 (2): 22-42 (2014)An Efficient Evolutionary Algorithm for Strict Strong Graph Coloring Problem., , and . Int. J. Appl. Evol. Comput., 5 (2): 22-36 (2014)Solving preemptive job-shop scheduling problems using a true concurrency model., , and . Int. J. Simul. Process. Model., 11 (3/4): 292-304 (2016)A Context-Aware Distributed Protocol for Updating BDI Agents Abilities., , , , and . MISC, volume 64 of Lecture Notes in Networks and Systems, page 243-256. Springer, (2018)A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems., , , and . Trans. Comput. Collect. Intell., (2014)Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales., and . CIIA, volume 825 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Spatio-Temporal Planning for Mobile Ambient Agents., , and . FNC/MobiSPC, volume 56 of Procedia Computer Science, page 96-103. Elsevier, (2015)A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem., and . HAIS, volume 5271 of Lecture Notes in Computer Science, page 172-179. Springer, (2008)A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment., , , and . IBERAMIA, volume 8864 of Lecture Notes in Computer Science, page 791-803. Springer, (2014)