Verification of a Dynamic Management Protocol for Cloud Applications. - Rim Abid; Gwen Salaün; Francesco Bongiovanni; Noel De Palma (ATVA, 2013)

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. - Rim Abid; Gwen Salaün; Noel De Palma; Soguy Mak Karé Gueye (FACS, 2015)

Coordination and Reconfiguration of Distributed Cloud Applications. (Coordination et reconfiguration des applications réparties dans le nuage). - Rim Abid (2015)

Formal design of dynamic reconfiguration protocol for cloud applications. - Rim Abid; Gwen Salaün; Noel De Palma (Sci. Comput. Program., 2016)

Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. - Rim Abid; Gwen Salaün; Noel De Palma (Sci. Comput. Program., 2017)