Rim Abid

According to our database, Rim Abid authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Asynchronous synthesis techniques for coordinating autonomic managers in the cloud.

Rim Abid, Gwen Salaün, Noel De Palma

Sci. Comput. Program., 2017

2016

Formal design of dynamic reconfiguration protocol for cloud applications.

Rim Abid, Gwen Salaün, Noel De Palma

Sci. Comput. Program., 2016

2015

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

Rim Abid

PhD thesis, 2015

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud.

Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2013

Verification of a Dynamic Management Protocol for Cloud Applications.

Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma

Proceedings of the Automated Technology for Verification and Analysis, 2013