| Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. | 3 | 0.39 | 2017 |
| Formal design of dynamic reconfiguration protocol for cloud applications | 3 | 0.37 | 2016 |
| Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. | 2 | 0.37 | 2015 |
| Verification of a Dynamic Management Protocol for Cloud Applications. | 6 | 0.49 | 2013 |
