( en | de | ru )

 

Disambiguation of "Boucheneb, Hanifa"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)Transactional Petri nets: a semantic framework for UML2 activities., , , and . Int. J. Crit. Comput. Based Syst., 5 (3/4): 241-267 (2014)Partial order reduction for checking soundness of time workflow nets., and . Inf. Sci., (2014)Applying Formal Methods into Safety-Critical Health Applications., and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 195-208. Springer, (2014)On Multi-enabledness in Time Petri Nets., , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 130-149. Springer, (2013)TCTL Model Checking of Time Petri Nets., , and . J. Log. Comput., 19 (6): 1509-1540 (2009)Time based deadlock prevention for Petri nets., , , , , and . Autom., (2022)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)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)