Djamel Eddine Saïdouni
Djamel Eddine Saïdouni
Professeur d'informatique, Université Abdelhamid Mehri - Constantine 2
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
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
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
Actions duration in timed models
DE Saïdouni, N Belala
The International Arab Conference on Information Technology (ACIT), 2006
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
Non-atomicity in timed models
N Belala, DE Saïdouni
Proceedings of ACIT 2005, 2005
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
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
Action refinement in LOTOS
JP Courtiat, DE Saïdouni
Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993
RT-LOTOS: LOTOS temporisé pour la spécification de systèmes temps réel
JP Courtiat, MS De Camargo, DE Saidouni
Ingénierie des Protocoles (CFIP’93), 427-441, 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
A discrete flower pollination algorithm for graph coloring problem
M Bensouyad, DE Saidouni
2015 IEEE 2nd international conference on cybernetics (CYBCONF), 151-155, 2015
Syntactic action refinement in presence of multiway synchronization
DE Saïdouni, JP Courtiat
Semantics of Specification Languages (SoSL), 289-303, 1994
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
A dynamical plan revising for ambient systems
AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saïdouni
Procedia Computer Science 32, 37-44, 2014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20