| TCTL model checking of time Petri nets H Boucheneb, G Gardey, OH Roux Journal of Logic and Computation 19 (6), 1509-1540, 2009 | 106 | 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 | 76 | 1993 |
| CTL* model checking for time Petri nets H Boucheneb, R Hadjidj Theoretical Computer Science 353 (1-3), 208-227, 2006 | 59 | 2006 |
| Occurrence graphs for interval timed coloured nets G Berthelot, H Boucheneb, U Alger Application and Theory of Petri Nets 1994: 15th International Conference …, 1994 | 38 | 1994 |
| Security as a service for public cloud tenants (SaaS) M Hawedi, C Talhi, H Boucheneb Procedia computer science 130, 1025-1030, 2018 | 37 | 2018 |
| Efficient reachability analysis for time Petri nets R Hadjidj, H Boucheneb IEEE Transactions on Computers 60 (8), 1085-1099, 2010 | 37 | 2010 |
| On-the-fly TCTL model checking for time Petri nets R Hadjidj, H Boucheneb Theoretical Computer Science 410 (42), 4241-4261, 2009 | 34 | 2009 |
| 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 | 32 | 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 | 31 | 2013 |
| 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 | 31 | 2006 |
| 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 | 30 | 2009 |
| 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 | 30 | 2007 |
| Analyse des réseaux temporels: Calcul des classes en O (n 2) et des temps de chemin en H Boucheneb, J Mullins | 29 | 2003 |
| 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 | 28 | 2009 |
| 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 | 27 | 2008 |
| 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 | 26 | 2008 |
| 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 | 24 | 2017 |
| On synthesizing a consistent operational transformation approach A Randolph, H Boucheneb, A Imine, A Quintero IEEE Transactions on Computers 64 (4), 1074-1089, 2014 | 24 | 2014 |
| On consistency of operational transformation approach A Randolph, H Boucheneb, A Imine, A Quintero arXiv preprint arXiv:1302.3292, 2013 | 21 | 2013 |
| A formalization of global simulation models for continuous/discrete systems. L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb SCSC, 559-566, 2007 | 21 | 2007 |
