Graph Planning Based Composition For Adaptable Semantic Web Services. - Rihab Ben Lamine; Raoudha Ben Jemaa; Ikram Amous Ben Amor (KES, 2017)

A Framework for the composition and formal verification of adaptable semantic Web services. - Rihab Ben Lamine; Raoudha Ben Djemaa; Ikram Amous (MoMM, 2018)

Formal Specification of Adaptable Semantic Web Services Composition. - Rihab Ben Lamine; Raoudha Ben Jemaa; Ikram Amous Ben Amor (Int. J. Inf. Technol. Web Eng., 2018)