Khadidja Salah-Mansour

According to our database, Khadidja Salah-Mansour authored at least 4 papers between 2018 and 2020.

Collaborative distances:

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

2020

Formal techniques for consistency checking of orchestrations of semantic Web services.

Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad

J. Comput. Sci., 2020

2019

Formal specification and validation of refinement from WS-CDL to BPEL.

Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services.

Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

2018

ATL Based Refinement of WS-CDL Choreography into BPEL Processes.

Khadidja Salah-Mansour, Youcef Hammal

Proceedings of the Modelling and Implementation of Complex Systems, 2018