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

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

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

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