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 | 88 | 2021 |
Sémantique de maximalité: application au raffinement d'actions dans LOTOS DE Saidouni Toulouse 3, 1996 | 61 | 1996 |
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 | 50 | 2003 |
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 |
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 | 37 | 2014 |
Actions duration in timed models DE Saïdouni, N Belala The International Arab Conference on Information Technology (ACIT), 2006 | 36 | 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 | 35 | 2007 |
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 | 29 | 1993 |
Non-atomicity in timed models N Belala, DE Saïdouni Proceedings of ACIT 2005, 2005 | 27 | 2005 |
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 |
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 |
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 |
Utilisation des Approches d’Optimisation Combinatoire pour la Vérification des Applications Temps Réel A Layeb Thèse de Doctorat, Université Mentouri de Constantine, 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 | 18 | 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 |
Dealing with temporal failure in ambient systems: a dynamic revision of plans R Boukharrou, AC Chaouche, A El Fallah Seghrouchni, JM Ilié, ... Journal of Ambient Intelligence and Humanized Computing 6, 325-336, 2015 | 16 | 2015 |