Hanifa Boucheneb

897 total citations
60 papers, 404 citations indexed

About

Hanifa Boucheneb is a scholar working on Computational Theory and Mathematics, Software and Computer Networks and Communications. According to data from OpenAlex, Hanifa Boucheneb has authored 60 papers receiving a total of 404 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Computational Theory and Mathematics, 21 papers in Software and 12 papers in Computer Networks and Communications. Recurrent topics in Hanifa Boucheneb's work include Petri Nets in System Modeling (34 papers), Formal Methods in Verification (34 papers) and Model-Driven Software Engineering Techniques (19 papers). Hanifa Boucheneb is often cited by papers focused on Petri Nets in System Modeling (34 papers), Formal Methods in Verification (34 papers) and Model-Driven Software Engineering Techniques (19 papers). Hanifa Boucheneb collaborates with scholars based in Canada, France and China. Hanifa Boucheneb's co-authors include Rachid Hadjidj, Kamel Barkaoui, Olivier Roux, Guillaume Gardey, Chamseddine Talhi, Gabriela Nicolescu, G Berthelot, Samuel Pierre, Hakima Ould‐Slimane and John J. Mullins and has published in prestigious journals such as SHILAP Revista de lepidopterología, Automatica and IEEE Access.

In The Last Decade

Hanifa Boucheneb

54 papers receiving 365 citations

Peers

Hanifa Boucheneb

CTM

CNC

SOFTW

MIS

Giacomo Bucci Italy

Kurt Lautenbach Germany

Jonathan Billington Australia

Franck Cassez France

Lou Somers Netherlands

Rami R. Razouk United States

Alain Finkel France

Hartmann J. Genrich Germany

Nikola Trčka Netherlands

Philippe Schnoebelen France

Giacomo Bucci Italy

Hanifa Boucheneb

252 ×0.9

CTM

171 ×1.6

70 ×0.8

CNC

68 ×0.8

SOFTW

56 ×0.6

MIS

Citations per year, relative to Hanifa Boucheneb Hanifa Boucheneb (= 1×) peers Giacomo Bucci

Countries citing papers authored by Hanifa Boucheneb

Since Specialization

Citations

This map shows the geographic impact of Hanifa Boucheneb's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hanifa Boucheneb with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hanifa Boucheneb more than expected).

Fields of papers citing papers by Hanifa Boucheneb

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hanifa Boucheneb. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hanifa Boucheneb. The network helps show where Hanifa Boucheneb may publish in the future.

Co-authorship network of co-authors of Hanifa Boucheneb

This figure shows the co-authorship network connecting the top 25 collaborators of Hanifa Boucheneb. A scholar is included among the top collaborators of Hanifa Boucheneb based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Hanifa Boucheneb. Hanifa Boucheneb is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Boucheneb, Hanifa, et al.. (2023). Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC). Neural Computing and Applications. 35(13). 9739–9751. 4 indexed citations

Bouzefrane, Samia, et al.. (2022). A data-owner centric privacy model with blockchain and adapted attribute-based encryption for internet-of-things and cloud environment. International Journal of Information and Computer Security. 17(3/4). 261–261.

Torres‐Moreno, Juan‐Manuel, et al.. (2020). FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora. PolyPublie (École Polytechnique de Montréal). 202–209.

Talhi, Chamseddine, et al.. (2019). ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS. Journal of Information Security and Applications. 49. 102395–102395. 6 indexed citations

Barkaoui, Kamel & Hanifa Boucheneb. (2018). Introduction to special issue on verification and evaluation of computer systems. Innovations in Systems and Software Engineering. 14(2). 81–82. 1 indexed citations

Ould‐Slimane, Hakima, et al.. (2014). A formal framework for verifying inter-firewalls consistency. PolyPublie (École Polytechnique de Montréal). 64. 1–7. 1 indexed citations

Boucheneb, Hanifa & Kamel Barkaoui. (2014). On combining the ready sets with the covering steps methods. PolyPublie (École Polytechnique de Montréal). 5(1/2). 55–55. 2 indexed citations

Barkaoui, Kamel, et al.. (2014). Transactional Petri nets: a semantic framework for UML2 activities. HAL (Le Centre pour la Communication Scientifique Directe). 5(3/4). 241–241. 3 indexed citations

Boucheneb, Hanifa, et al.. (2013). Maximally permissive controller synthesis for time Petri nets. International Journal of Control. 86(3). 493–511. 9 indexed citations

10.

Boucheneb, Hanifa, et al.. (2013). Controller Synthesis of Time Petri Nets Using Stopwatch. Journal of Engineering. 2013. 1–13. 3 indexed citations

11.

Boucheneb, Hanifa, et al.. (2013). On Consistency of Operational Transformation Approach. SHILAP Revista de lepidopterología. 107. 45–59. 5 indexed citations

12.

Heidari, Parisa & Hanifa Boucheneb. (2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. PolyPublie (École Polytechnique de Montréal). 201–210. 5 indexed citations

13.

Hadjidj, Rachid & Hanifa Boucheneb. (2009). On-the-flyTCTLmodel checking for time Petri nets. Theoretical Computer Science. 410(42). 4241–4261. 11 indexed citations

14.

Boucheneb, Hanifa, et al.. (2008). A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundamenta Informaticae. 88(4). 469–495. 12 indexed citations

15.

Nicolescu, Gabriela, et al.. (2008). Semantics for Model-Based Validation of Continuous/Discrete Systems. 2008 Design, Automation and Test in Europe. 498–503.

16.

Nicolescu, Gabriela, et al.. (2007). A formalization of global simulation models for continuous/discrete systems. Summer Computer Simulation Conference. 559–566. 8 indexed citations

17.

Boucheneb, Hanifa, et al.. (2006). Timed secure colored Petri net based analysis of information flow. Annals of Telecommunications. 61(11-12). 1314–1346. 1 indexed citations

18.

Hadjidj, Rachid & Hanifa Boucheneb. (2006). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. PolyPublie (École Polytechnique de Montréal). 120. 224–233. 5 indexed citations

19.

Boucheneb, Hanifa & Rachid Hadjidj. (2005). CTL* model checking for time Petri nets. Theoretical Computer Science. 353(1-3). 208–227. 25 indexed citations

20.

Boucheneb, Hanifa, et al.. (2002). Towards a simplified building of time Petri Nets reachability graph. 46–47. 19 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact