Internet of things meet internet of threats: New concern cyber security issues of critical cyber infrastructure A Djenna, S Harous, DE Saidouni Applied Sciences 11 (10), 4580, 2021 | 99 | 2021 |
Sémantique de maximalité: application au raffinement d'actions dans LOTOS DE Saidouni Toulouse 3, 1996 | 60 | 1996 |
Relating maximality-based semantics to action refinement in process algebras JP Courtiat, DE Saïdouni Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 49 | 1995 |
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 | 48 | 2003 |
A higher-order agent model with contextual planning management for ambient systems AC Chaouche, A El Fallah Seghrouchni, JM Ilié, DE Saidouni Transactions on Computational Collective Intelligence XVI, 146-169, 2014 | 36 | 2014 |
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 | 36 | 2007 |
Actions duration in timed models DE Saïdouni, N Belala The International Arab Conference on Information Technology (ACIT), 2006 | 34 | 2006 |
A new quantum evolutionary local search algorithm for MAX 3-SAT problem A Layeb, DE Saidouni Hybrid Artificial Intelligence Systems: Third International Workshop, HAIS …, 2008 | 33 | 2008 |
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 | 27 | 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 | 25 | 2008 |
Non-atomicity in timed models N Belala, DE Saïdouni Proceedings of ACIT 2005, 2005 | 25 | 2005 |
Synchronized Petri net: A formal specification model for multi agent systems. S Kouah, DE Saïdouni, JM Ilié J. Softw. 8 (3), 587-602, 2013 | 22 | 2013 |
Action refinement in LOTOS JP Courtiat, DE Saïdouni Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993 | 22 | 1993 |
A discrete flower pollination algorithm for graph coloring problem M Bensouyad, DE Saidouni 2015 IEEE 2nd international conference on cybernetics (CYBCONF), 151-155, 2015 | 21 | 2015 |
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 | 21 | 2005 |
Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel A Layeb, DE Saidouni | 20 | 2010 |
Modèles de temps et leur intérét à la vérification formelle des systèmes temps-réel N Belala Université Mentouri de Constantine, Algérie, 2010 | 19 | 2010 |
Syntactic action refinement in presence of multiway synchronization DE Saïdouni, JP Courtiat Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994 | 19 | 1994 |
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 | 17 | 2013 |
FOCOVE: Formal concurrency verification environment for complex systems DE Saïdouni, A Benamira, N Belala, F Arfi A||| A 5 (10), 4, 2008 | 16 | 2008 |