Hanifa Boucheneb
Author
Alternate names Hanifa Boucheneb, H. Boucheneb
Institution Polytechnique Montréal
Past institutions Polytechnique Montréal, Université de Montréal, Conservatoire National des Arts et Métiers, Centre d'Etudes et De Recherche en Informatique et Communications, École Normale Supérieure - PSL
ORCID: Yes
H-index: 16
I10-index: 29
Works count: 119
Citations count: 863
TCTL Model Checking of Time Petri Nets
2009 · Hanifa Boucheneb, Guillaume Gardey, et al. · Journal of Logic and Computation
Towards a simplified building of time Petri Nets reachability graph
2002 · Hanifa Boucheneb, Usthb Alger, et al.
CTL* model checking for time Petri nets
2005 · Hanifa Boucheneb, Rachid Hadjidj · Theoretical Computer Science