Hanifa Boucheneb

Polytechnique Montréal — Canada

Computer Science · Physical Sciences

16h-index895citations124works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Petri Nets in System Modeling(65), Formal Methods in Verification(62), Model-Driven Software Engineering Techniques(33), Business Process Modeling and Analysis(29), Service-Oriented Architecture and Web Services(17)

Publications124 total

Self-organised map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment
International Journal of Advanced Intelligence Paradigms·2024
Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC)
Neural Computing and Applications·2023· 5 cited
Brain Tumor Detection using Cellular Automata based image Segmentation techniques
International Journal of Scientific Research in Computer Sciences and Engineering·2022Open Access
Time based deadlock prevention for Petri nets
Automatica·2022· 14 cited
Expressiveness and analysis of Delayable Timed Petri Net*
IFAC-PapersOnLine·2022Open Access
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·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·2022· 2 citedOpen Access
Multi-Tenant Intrusion Detection Framework as a Service for SaaS
IEEE Transactions on Services Computing·2021· 13 cited
Teaching Operating Systems Concepts with Execution Visualization
2020· 7 citedOpen Access
Toward a Formalization of BPEL 2.0 : An Algebra Approach
International journal of web service computing·2020Open Access
Toward a Formalization of BPEL 2.0 : An Algebra Approach
Zenodo (CERN European Organization for Nuclear Research)·2020Open Access
Exploiting local persistency for reduced state-space generation
Innovations in Systems and Software Engineering·2020· 9 citedOpen Access
FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora
2020
Towards Efficient Partial Order Techniques for Time Petri Nets
Lecture notes in computer science·2020· 3 cited
FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora
2020· 1 citedOpen Access
ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS
Journal of Information Security and Applications·2019· 9 cited
Self Organized Map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment.
International Journal of Advanced Intelligence Paradigms·2019
Maximal Good Step Graph Methods for Reducing the Generation of the State Space
IEEE Access·2019· 9 citedOpen Access
Multi-tenant intrusion detection system for public cloud (MTIDS)
The Journal of Supercomputing·2018· 16 cited
A Formal Property Verification For Aspect-Oriented Programs In Software Development
Zenodo (CERN European Organization for Nuclear Research)·2018Open Access
page 1 of 7Next →

Frequent Co-authors

Kamel Barkaoui(11), Rachid Hadjidj(10), Chamseddine Talhi(5), Gabriela Nicolescu(4), Olivier Roux(3), Hind Rakkay(3), L. Gheorghe(3), F. Bouchhima(3), Abdessamad Imine(3), Mohamed Yassin(3), Usthb Alger(2), G Berthelot(2), Didier Lime(2), Samuel Pierre(2), Mohamed Hawedi(2), A. Hicheur(2), Zhiwu Li(2), Hakima Ould‐Slimane(2), Aurel Randolph(2), Alejandro Quintero(2)