Maya Souilah Benabdelhafid

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Service Compositions

Colored Petri Nets

Temporal Constraints

Top Venues

Int. J. E Bus. Res.

Int. J. Crit. Comput. Based Syst.

Int. J. Web Serv. Res.

Publications

Asma Djellal, Maya Souilah Benabdelhafid
C-STSS: A Context-based Short Text Semantic Similarity approach applied to biomedical named entity linking. IAM (2023)
Maya Souilah Benabdelhafid, Mahmoud Boufaïda
Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. Int. J. Web Serv. Res. 17 (2) (2020)
Sara Zatout, Mahmoud Boufaïda, Maya Souilah Benabdelhafid, Mohamed Lamine Berkane
A model-driven approach for the verification of an adaptive service composition. Int. J. Web Eng. Technol. 15 (1) (2020)
Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda
Modeling and Verification of Temporal Constraints for Web Service Composition. SEFM (2020)
Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufaïda
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. QRS Companion (2018)
Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda
Analysing timed compatibility of web service choreography. Int. J. Crit. Comput. Based Syst. 7 (3) (2017)
Maya Souilah Benabdelhafid, Mahmoud Boufaïda
The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application. Int. J. E Bus. Res. 11 (4) (2015)