ATL Based Refinement of WS-CDL Choreography into BPEL Processes. - Khadidja Salah-Mansour; Youcef Hammal (MISC, 2018)

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (ISCC, 2019)

Formal specification and validation of refinement from WS-CDL to BPEL. - Khadidja Salah-Mansour; Youcef Hammal; Lynda Mokdad (ISCC, 2019)

Formal techniques for consistency checking of orchestrations of semantic Web services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (J. Comput. Sci., 2020)