Djamel Eddine Saïdouni
Djamel Eddine Saïdouni
Professeur d'informatique, Université Abdelhamid Mehri - Constantine 2
Verified email at - Homepage
Cited by
Cited by
Sémantique de maximalité: application au raffinement d'actions dans LOTOS
D Saidouni
Prise en compte des durées d’action dans les algèbres de processus par l’utilisation de la sémantique de maximalité
DE Saïdouni, JP Courtiat
Proceedings of CFIP’2003, 301-310, 2003
Relating maximality-based semantics to action refinement in process algebras
JP Courtiat, DE Saïdouni
Formal Description Techniques VII, 293-308, 1995
Actions duration in timed models
DE Saïdouni, N Belala
The International Arab Conference on Information Technology (ACIT), 2006
Quantum genetic algorithm for binary decision diagram ordering problem
A Layeb, DE Saidouni
International Journal of Computer Science and Network Security 7 (9), 130-135, 2007
Non-atomicity in timed models
N Belala, DE Saïdouni
Proceedings of ACIT 2005, 2005
A new quantum evolutionary local search algorithm for MAX 3-SAT problem
A Layeb, DE Saidouni
International Workshop on Hybrid Artificial Intelligence Systems, 172-179, 2008
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.
DE Saïdouni, N Belala
Int. Arab J. Inf. Technol. 2 (3), 199-205, 2005
RT-LOTOS: LOTOS temporisé pour la spécification de systèmes temps réel
JP Courtiat, MS De Camargo, DE Saidouni
Proceedings of Colloque Francophone pour l'ingénierie des protocoles (CFIP), 1993
Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets
DE Saïdouni, N Belala, M Bouneb
Second International Workshop on Verification and Evaluation of Computer and …, 2008
A higher-order agent model with contextual planning management for ambient systems
AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saidouni
Transactions on Computational Collective Intelligence XVI, 146-169, 2014
Action refinement in LOTOS
JP Courtiat, DE Saïdouni
Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993
Synchronized Petri net: A formal specification model for multi agent systems.
S Kouah, DE Saïdouni, JM Ilié
JSW 8 (3), 587-602, 2013
Syntactic action refinement in presence of multiway synchronization
DE Saïdouni, JP Courtiat
Semantics of Specification Languages (SoSL), 289-303, 1994
A discrete flower pollination algorithm for graph coloring problem
M Bensouyad, DE Saidouni
2015 IEEE 2nd international conference on cybernetics (CYBCONF), 151-155, 2015
FOCOVE: Formal concurrency verification environment for complex systems
DE Saïdouni, A Benamira, N Belala, F Arfi
AIP Conference Proceedings 1019 (1), 375-380, 2008
Time petri nets with action duration: a true concurrency real-time model
N Belala, DE Saїdouni, R Boukharrou, AC Chaouche, A Seraoui, ...
International Journal of Embedded and Real-Time Communication Systems …, 2013
Maximality semantics based stochastic process algebra for performance evaluation
M Arous, DE Saidouni, JM Ilié
2011 International Conference on Communications, Computing and Control …, 2011
Dealing with temporal failure in ambient systems: a dynamic revision of plans
R Boukharrou, AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saïdouni
Journal of Ambient Intelligence and Humanized Computing 6 (3), 325-336, 2015
Towards a calculus for distributed, real-time and mobile systems
TM Maarouk, DE Saidouni, M Khergag
Journal of Software 7 (3), 564-574, 2012
The system can't perform the operation now. Try again later.
Articles 1–20