Hanifa Boucheneb
Hanifa Boucheneb
Dirección de correo verificada de polymtl.ca
TítuloCitado porAño
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
752009
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
681993
CTL* model checking for time Petri nets
H Boucheneb, R Hadjidj
Theoretical Computer Science 353 (1-3), 208-227, 2006
482006
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
341994
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
312007
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
262006
On-the-fly TCTL model checking for time Petri nets
R Hadjidj, H Boucheneb
Theoretical Computer Science 410 (42), 4241-4261, 2009
242009
Modeling, verification and testing using timed and hybrid automata
S Tripakis, T Dang
Model-Based Design for Embedded Systems, 383-436, 2008
242008
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
222009
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
212008
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
212007
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
202008
Analyse des réseaux temporels: Calcul des classes en O (n 2) et des temps de chemin en
H Boucheneb, J Mullins
202003
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
192007
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
182008
Efficient reachability analysis for time Petri nets
R Hadjidj, H Boucheneb
IEEE Transactions on Computers 60 (8), 1085-1099, 2010
172010
On model-checking optimistic replication algorithms
H Boucheneb, A Imine
Formal Techniques for Distributed Systems, 73-89, 2009
162009
On multi-enabledness in time Petri nets
H Boucheneb, D Lime, OH Roux
International Conference on Applications and Theory of Petri Nets and …, 2013
152013
Reducing interleaving semantics redundancy in reachability analysis of time Petri nets
H Boucheneb, K Barkaoui
ACM Transactions on Embedded Computing Systems (TECS) 12 (1), 7, 2013
142013
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
132006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20