Djamel Eddine Saïdouni
Djamel Eddine Saïdouni
Professeur d'informatique, Université Abdelhamid Mehri - Constantine 2
Verified email at univ-constantine2.dz - Homepage
Title
Cited by
Cited by
Year
Sémantique de maximalité: application au raffinement d'actions dans LOTOS
D Saidouni
571996
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
472003
Relating maximality-based semantics to action refinement in process algebras
JP Courtiat, DE Saïdouni
Formal Description Techniques VII, 293-308, 1995
451995
Actions duration in timed models
DE Saïdouni, N Belala
The International Arab Conference on Information Technology (ACIT), 2006
322006
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
292007
Non-atomicity in timed models
N Belala, DE Saïdouni
Proceedings of ACIT 2005, 2005
262005
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
242008
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
232005
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
231993
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
222008
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
212014
Action refinement in LOTOS
JP Courtiat, DE Saïdouni
Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993
211993
Synchronized Petri net: A formal specification model for multi agent systems.
S Kouah, DE Saïdouni, JM Ilié
JSW 8 (3), 587-602, 2013
182013
Syntactic action refinement in presence of multiway synchronization
DE Saïdouni, JP Courtiat
Semantics of Specification Languages (SoSL), 289-303, 1994
171994
A discrete flower pollination algorithm for graph coloring problem
M Bensouyad, DE Saidouni
2015 IEEE 2nd international conference on cybernetics (CYBCONF), 151-155, 2015
152015
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
152008
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
122013
Maximality semantics based stochastic process algebra for performance evaluation
M Arous, DE Saidouni, JM Ilié
2011 International Conference on Communications, Computing and Control …, 2011
122011
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
112015
Towards a calculus for distributed, real-time and mobile systems
TM Maarouk, DE Saidouni, M Khergag
Journal of Software 7 (3), 564-574, 2012
102012
The system can't perform the operation now. Try again later.
Articles 1–20