Folgen
Djamel Eddine Saïdouni
Djamel Eddine Saïdouni
Professeur d'informatique, Université Abdelhamid Mehri - Constantine 2
Bestätigte E-Mail-Adresse bei univ-constantine2.dz - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
782021
Sémantique de maximalité: application au raffinement d'actions dans LOTOS
DE Saidouni
Toulouse 3, 1996
611996
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
502003
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
491995
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
372014
Actions duration in timed models
DE Saïdouni, N Belala
The International Arab Conference on Information Technology (ACIT), 2006
362006
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
352007
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
332008
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
291993
Non-atomicity in timed models
N Belala, DE Saïdouni
Proceedings of ACIT 2005, 2005
272005
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
252008
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
222013
Action refinement in LOTOS
JP Courtiat, DE Saïdouni
Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993
221993
A discrete flower pollination algorithm for graph coloring problem
M Bensouyad, DE Saidouni
2015 IEEE 2nd international conference on cybernetics (CYBCONF), 151-155, 2015
212015
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
212005
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
192010
Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel
A Layeb, DE Saidouni
182010
Syntactic action refinement in presence of multiway synchronization
DE Saïdouni, JP Courtiat
Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994
181994
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
172013
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
162015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20