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)

Analysing timed compatibility of web service choreography. - Maya Souilah Benabdelhafid; Béatrice Bérard; Mahmoud Boufaïda (Int. J. Crit. Comput. Based Syst., 2017)

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. - Sara Zatout; Maya Souilah Benabdelhafid; Mahmoud Boufaïda (QRS Companion, 2018)

Modeling and Verification of Temporal Constraints for Web Service Composition. - Maya Souilah Benabdelhafid; Houda Boubaker; Mahmoud Boufaïda (SEFM, 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)

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. - Maya Souilah Benabdelhafid; Mahmoud Boufaïda (Int. J. Web Serv. Res., 2020)

C-STSS: A Context-based Short Text Semantic Similarity approach applied to biomedical named entity linking. - Asma Djellal; Maya Souilah Benabdelhafid (IAM, 2023)