( en | de | ru )

 

Disambiguation of "Boucheneb, Hanifa"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-Tenant Intrusion Detection Framework as a Service for SaaS.

, , , and . IEEE Trans. Serv. Comput., 15 (5): 2925-2938 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hanifa Jusi

Hanifa Moursi Sayed Ali

 

Other publications of authors with the same name

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools., and . Trans. Comput. Sci., (2009)Time based deadlock prevention for Petri nets., , , , , and . Autom., (2022)On Multi-enabledness in Time Petri Nets., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 130-149. Springer, (2013)Applying Formal Methods into Safety-Critical Health Applications., and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 195-208. Springer, (2014)Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis., , , and . Ingénierie des Systèmes d Inf., 19 (6): 9-32 (2014)Transactional Petri nets: a semantic framework for UML2 activities., , , and . Int. J. Crit. Comput. Based Syst., 5 (3/4): 241-267 (2014)TCTL Model Checking of Time Petri Nets., , and . J. Log. Comput., 19 (6): 1509-1540 (2009)Partial order reduction for checking soundness of time workflow nets., and . Inf. Sci., (2014)On-the-fly TCTL model checking for Time Petri Nets using state class graphs., and . ACSD, page 111-122. IEEE Computer Society, (2006)Symbolic Model-Checking of Optimistic Replication Algorithms., , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 89-104. Springer, (2010)