Maya Souilah Benabdelhafid

According to our database, Maya Souilah Benabdelhafid authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

C-STSS: A Context-based Short Text Semantic Similarity approach applied to biomedical named entity linking.

Asma Djellal, Maya Souilah Benabdelhafid

Proceedings of the 6th International Hybrid Conference On Informatics And Applied Mathematics (IAM 2023), 2023

2020

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems.

Maya Souilah Benabdelhafid, Mahmoud Boufaïda

Int. J. Web Serv. Res., 2020

A model-driven approach for the verification of an adaptive service composition.

Sara Zatout, Mahmoud Boufaïda, Maya Souilah Benabdelhafid, Mohamed Lamine Berkane

Int. J. Web Eng. Technol., 2020

Modeling and Verification of Temporal Constraints for Web Service Composition.

Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda

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.

Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufaïda

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

Analysing timed compatibility of web service choreography.

Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda

Int. J. Crit. Comput. Based Syst., 2017

2015

The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application.

Maya Souilah Benabdelhafid, Mahmoud Boufaïda

Int. J. E Bus. Res., 2015