| Formal techniques for consistency checking of orchestrations of semantic web services Y Hammal, KS Mansour, A Abdelli, L Mokdad Journal of computational science 44, 101165, 2020 | 22 | 2020 |
| ATL based refinement of WS-CDL choreography into BPEL processes KS Mansour, Y Hammal Modelling and Implementation of Complex Systems: Proceedings of the 5th …, 2019 | 5 | 2019 |
| Formal specification and validation of refinement from WS-CDL to BPEL K Salah-Mansour, Y Hammal, L Mokdad 2019 IEEE Symposium on Computers and Communications (ISCC), 1016-1021, 2019 | | 2019 |
| Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services Y Hammal, KS Mansour, A Abdelli, L Mokdad 2019 IEEE Symposium on Computers and Communications (ISCC), 1004-1009, 2019 | | 2019 |
