Hanifa Boucheneb
Hanifa Boucheneb
Adresse e-mail validée de polymtl.ca
Citée par
Citée par
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
Towards a simplified building of Time Petri Nets reachability graph
H Boucheneb, U Alger, G Berthelot
Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993
CTL* model checking for time Petri nets
H Boucheneb, R Hadjidj
Theoretical Computer Science 353 (1-3), 208-227, 2006
Occurrence graphs for interval timed coloured nets
G Berthelot, H Boucheneb, U Alger
International Conference on Application and Theory of Petri Nets, 79-98, 1994
A security protocol for mobile agents based upon the cooperation of sedentary agents
A Ouardani, S Pierre, H Boucheneb
Journal of Network and Computer Applications 30 (3), 1228-1243, 2007
Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool
L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb
Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06 …, 2006
Modeling, verification and testing using timed and hybrid automata
S Tripakis, T Dang
Model-Based Design for Embedded Systems, 383-436, 2008
On-the-fly TCTL model checking for time Petri nets
R Hadjidj, H Boucheneb
Theoretical Computer Science 410 (42), 4241-4261, 2009
Security analysis of role based access control models using colored petri nets and cpntools
H Rakkay, H Boucheneb
Transactions on Computational Science IV, 149-176, 2009
Modelling and analysis of time-constrained flexible workflows with time recursive ecatnets
K Barkaoui, H Boucheneb, A Hicheur
International Workshop on Web Services and Formal Methods, 19-36, 2008
Methodology for efficient design of continuous/discrete-events co-simulation tools
G Nicolescu, H Boucheneb, L Gheorghe, F Bouchhima
High Level Simulation Languages and Applications-HLSLA. SCS, San Diego, CA …, 2007
Analyse des réseaux temporels: Calcul des classes en O (n 2) et des temps de chemin en
H Boucheneb, J Mullins
Improving state class constructions for CTL* model checking of time Petri nets
R Hadjidj, H Boucheneb
International Journal on Software Tools for Technology Transfer 10 (2), 167-184, 2008
A more efficient time Petri net state space abstraction useful to model checking timed linear properties
H Boucheneb, H Rakkay
Fundamenta Informaticae 88 (4), 469-495, 2008
A formalization of global simulation models for continuous/discrete systems
L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb
Proceedings of the 2007 Summer Computer Simulation Conference, 559-566, 2007
On multi-enabledness in time Petri nets
H Boucheneb, D Lime, OH Roux
International Conference on Applications and Theory of Petri Nets and …, 2013
Efficient reachability analysis for time Petri nets
R Hadjidj, H Boucheneb
IEEE Transactions on Computers 60 (8), 1085-1099, 2010
On model-checking optimistic replication algorithms
H Boucheneb, A Imine
Formal Techniques for Distributed Systems, 73-89, 2009
On-the-fly TCTL model checking for Time Petri Nets using state class graphs
R Hadjidj, H Boucheneb
Sixth International Conference on Application of Concurrency to System …, 2006
On synthesizing a consistent operational transformation approach
A Randolph, H Boucheneb, A Imine, A Quintero
IEEE Transactions on Computers 64 (4), 1074-1089, 2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20