Follow
Hanifa Boucheneb
Title
Cited by
Cited by
Year
TCTL model checking of time Petri nets
H Boucheneb, G Gardey, OH Roux
Journal of Logic and Computation 19 (6), 1509-1540, 2009
1022009
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
721993
CTL* model checking for time Petri nets
H Boucheneb, R Hadjidj
Theoretical Computer Science 353 (1-3), 208-227, 2006
592006
On-the-fly TCTL model checking for time Petri nets
R Hadjidj, H Boucheneb
Theoretical Computer Science 410 (42), 4241-4261, 2009
352009
Occurrence graphs for interval timed coloured nets
G Berthelot, H Boucheneb, U Alger
Application and Theory of Petri Nets 1994: 15th International Conference …, 1994
341994
Security as a service for public cloud tenants (SaaS)
M Hawedi, C Talhi, H Boucheneb
Procedia computer science 130, 1025-1030, 2018
332018
Efficient reachability analysis for time Petri nets
R Hadjidj, H Boucheneb
IEEE Transactions on Computers 60 (8), 1085-1099, 2010
332010
On multi-enabledness in time Petri nets
H Boucheneb, D Lime, OH Roux
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
322013
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
312006
Security analysis of role based access control models using colored petri nets and cpntools
H Rakkay, H Boucheneb
Transactions on Computational Science IV: Special Issue on Security in …, 2009
292009
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, 172-179, 2007
292007
Modelling and analysis of time-constrained flexible workflows with time recursive ecatnets
K Barkaoui, H Boucheneb, A Hicheur
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 …, 2009
282009
Analyse des réseaux temporels: Calcul des classes en O (n 2) et des temps de chemin en
H Boucheneb, J Mullins
282003
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, 167-184, 2008
252008
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
252008
A formalization of global simulation models for continuous/discrete systems.
L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb
SCSC, 559-566, 2007
212007
Exploring formal strategy framework for the security in IoT towards e-health context using computational intelligence
Y Ould-Yahia, S Banerjee, S Bouzefrane, H Boucheneb
Internet of things and Big data technologies for next generation healthcare …, 2017
202017
SQLIIDaaS: A SQL injection intrusion detection framework as a service for SaaS providers
M Yassin, H Ould-Slimane, C Talhi, H Boucheneb
2017 IEEE 4th International Conference on Cyber Security and Cloud Computing …, 2017
192017
Stubborn sets for time Petri nets
H Boucheneb, K Barkaoui
ACM Transactions on Embedded Computing Systems (TECS) 14 (1), 1-25, 2015
192015
The system can't perform the operation now. Try again later.
Articles 1–20