Maya Souilah Benabdelhafid

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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
Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems.
Int. J. Web Serv. Res., 2020

A model-driven approach for the verification of an adaptive service composition.
Int. J. Web Eng. Technol., 2020

Modeling and Verification of Temporal Constraints for Web Service Composition.
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
Analysing timed compatibility of web service choreography.
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


  Loading...