A service-oriented architecture (SOA) framework for choreography verification. - Rebai, Sirine; Kacem, Hatem Hadj; Karaa, Mohamed; Hernández, Saúl E. Pomares; Kacem, Ahmed Hadj (2015)

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. - Rebai, Sirine; Kacem, Hatem Hadj; Karaa, Mohamed; Hernández, Saúl E. Pomares; Kacem, Ahmed Hadj (2015)

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration. - Rebai, Sirine; Kacem, Hatem Hadj; Kacem, Ahmed Hadj (2012)

An MDE Approach for User Interface Adaptation to the Context of Use. - Bouchelligua, Wided; Mahfoudhi, Adel; Ammar, Lassaad Ben; Rebai, Sirine; Abed, Mourad (2010)