Maya Souilah Benabdelhafid

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

Collaborative distances:

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

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