Top-down network design. Cisco system inc, 2004. ,
On-line monitoring: a tutorial, Computer, vol.28, issue.6, pp.72-78, 1995. ,
DOI : 10.1109/2.386988
Paxos made live, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pp.398-407, 2007. ,
DOI : 10.1145/1281100.1281103
The chubby lock service for loosely-coupled distributed systems, In: OSDI, 2006. ,
Assumption generation for software component verification, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.3-12, 2002. ,
DOI : 10.1109/ASE.2002.1114984
Automatic generation of optimal controllers through model checking techniques, pp.26-33, 2006. ,
Distributed Orchestration of Pervasive Services, 2010 24th IEEE International Conference on Advanced Information Networking and Applications, 2010. ,
DOI : 10.1109/AINA.2010.100
Policies for Self Tuning Home Networks, IEEE POLICY 09, 2009. ,
Paxos made simple, fast, and byzantine, In: OPODIS, pp.7-9, 2002. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Principles of Concurrent and Distributed Programming, 2006. ,
Distributed Fault Tolerant Controllers, Depart. of Computing Imperial College London, vol.114, 2010. ,
DOI : 10.1007/978-3-540-68265-3_18
URL : https://hal.archives-ouvertes.fr/hal-01061089
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling, Electronic Notes in Theoretical Computer Science, vol.114, pp.119-136, 2005. ,
DOI : 10.1016/j.entcs.2004.02.070
Towards Monitoring-Oriented Programming, Electronic Notes in Theoretical Computer Science, vol.89, issue.2, 2003. ,
DOI : 10.1016/S1571-0661(04)81045-4
Synthesis of correct and distributed adaptors for component-based systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.405-409, 2005. ,
DOI : 10.1145/1101908.1101981
Enabling Pervasive Execution of Workflows, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2005. ,
DOI : 10.1109/COLCOM.2005.1651227
CiAN: A Workflow Engine for MANETs, Coordination Models and Languages, pp.280-295, 2008. ,
DOI : 10.1007/978-3-540-68265-3_18