( en | de | ru )

 

Disambiguation of "Boucheneb, Hanifa"

Author of the publication

copydeleteadd this publication to your clipboard
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets.

, and . Int. J. Embed. Syst., 2 (1/2): 128-139 (2006)

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

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)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)Contraction of the ITCPN State Space., and . Theory and Practice of Timed Systems @ ETAPS, volume 65 of Electronic Notes in Theoretical Computer Science, page 1-15. Elsevier, (2002)Covering Steps Graphs of Time Petri Nets., and . INFINITY, volume 239 of Electronic Notes in Theoretical Computer Science, page 155-165. Elsevier, (2009)Symbolic Model-Checking of Optimistic Replication Algorithms., , and . IFM, volume 6396 of Lecture Notes in Computer Science, page 89-104. Springer, (2010)RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets., and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 247-254. CEUR-WS.org, (2013)Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs., and . Discrete Event Dynamic Systems, 21 (2): 171-204 (2011)Verification of Workflow processes under multilevel security considerations., , , and . CRiSIS, page 77-84. IEEE, (2008)