Concepedia

Hanifa Boucheneb

HB

22

Publications

442

Citations

13

H-Index

2002

Active since

Affiliations

Polytechnique Montréal(Current)

Conservatoire National des Arts et Métiers

Centre d'Etudes et De Recherche en Informatique et Communications

École de Technologie Supérieure

Hanifa Boucheneb is an author at Polytechnique Montréal specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationComputer EngineeringVerificationProcess ControlAutomated ReasoningNetwork Analysis

Publications per year

2002–2022

22

Publications

22

TCTL Model Checking of Time Petri Nets

Hanifa Boucheneb, Guillaume Gardey, Olivier Roux · Journal of Logic and Computation · 2009 · 78 citations · Full text

Towards a simplified building of time Petri Nets reachability graph

Hanifa Boucheneb, Usthb Alger, G Berthelot · 2002 · 42 citations

Petri Net, Engineering, Reachability Problem +17

Efficient Reachability Analysis for Time Petri Nets

Rachid Hadjidj, Hanifa Boucheneb · IEEE Transactions on Computers · 2010 · 37 citations

Petri Net, Reachability Analysis, Engineering +14

Improving state class constructions for CTL* model checking of time Petri nets

Rachid Hadjidj, Hanifa Boucheneb · International Journal on Software Tools for Technology Transfer · 2007 · 23 citations

Petri Net, Engineering, Program Analysis +13

A security protocol for mobile agents based upon the cooperation of sedentary agents

Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb · Journal of Network and Computer Applications · 2006 · 22 citations

Mobile Security, Engineering, Security Protocol +12

Rows per page

1–5 of 22