A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. - Mohamed Graiet; Imed Abbassi; Raoudha Maraoui; Sindyana Jlassi; Lazhar Hamel (SCC, 2015)

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. - Imed Abbassi; Mohamed Graiet; Sindyana Jlassi; Abir Elkhalfa; Layth Sliman (OTM Conferences (1), 2017)

Towards correct cloud resource allocation in FOSS applications. - Sindyana Jlassi; Amel Mammar; Imed Abbassi; Mohamed Graiet (Future Gener. Comput. Syst., 2019)