Maya Benabdelhafid
Orcid: 0000-0002-6135-3761Affiliations:
- Université du Québec en Outaouais, Department of Computer Science and Engineering, Gatineau, Canada
- Abdelhamid Mehri Constantine 2 University, School of Accounting and Finances, LIRE Laboratory, Constantine, Algeria
According to our database1,
Maya Benabdelhafid authored at least 11 papers
between 2015 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2026
Hierarchical colored Petri nets for enforcing security patterns in software architecture.
J. Inf. Secur. Appl., 2026
IEEE Access, 2026
2025
Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures.
Proceedings of the 22nd International Conference on Security and Cryptography, 2025
2023
AI-LMS: AI-Based Long-Term Monitoring System for Patients in Pandemics: COVID-19 Case Study.
Proceedings of the Model and Data Engineering - 12th International Conference, 2023
C-STSS: A Context-based Short Text Semantic Similarity approach applied to biomedical named entity linking.
Proceedings of the 6th International Hybrid Conference On Informatics And Applied Mathematics (IAM 2023), 2023
2020
Int. J. Web Serv. Res., 2020
Int. J. Web Eng. Technol., 2020
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
2018
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
2017
Int. J. Crit. Comput. Based Syst., 2017
2015
The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application.
Int. J. E Bus. Res., 2015