, Self-stabilizing algorithm for efficient topology control in Wireless Sensor Networks, Journal of Computational Science, vol.4, issue.4, pp.199-208, 2013.
DOI : 10.1016/j.jocs.2012.01.003
, CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates, Mathematical Structures in Computer Science, vol.37, issue.04, pp.827-859, 2011.
DOI : 10.1016/S0890-5401(03)00011-7
URL : https://hal.archives-ouvertes.fr/inria-00543157
, When self-stabilization meets real platforms: An experimental study of a peer-to-peer service discovery system, Future Generation Computer Systems, vol.29, issue.6, pp.1533-1543, 2013.
DOI : 10.1016/j.future.2012.10.003
URL : https://hal.archives-ouvertes.fr/hal-00762693
, Formal Verification of Netlog Protocols, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, p.TASE, 2012.
DOI : 10.1109/TASE.2012.19
URL : https://hal.archives-ouvertes.fr/hal-00733634
, A self-stabilizing algorithm for constructing spanning trees, Information Processing Letters, vol.39, issue.3, pp.147-151, 1991.
DOI : 10.1016/0020-0190(91)90111-T
, Proving self-stabilization with a proof assistant, Proceedings 16th International Parallel and Distributed Processing Symposium, 2002.
DOI : 10.1109/IPDPS.2002.1016619
, Impossibility of gathering, a certification, Information Processing Letters, vol.115, issue.3, pp.447-452, 2015.
DOI : 10.1016/j.ipl.2014.11.001
URL : https://hal.archives-ouvertes.fr/hal-01122869
, Competitive selfstabilizing k-clustering, p.ICDCS, 2012.
DOI : 10.1109/icdcs.2012.72
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.9443
, Self-Stabilizing Small k-Dominating Sets, International Journal of Networking and Computing, vol.3, issue.1, pp.116-136, 2013.
DOI : 10.15803/ijnc.3.1_116
, Verifying Self-stabilizing Population Protocols with Coq, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, p.TASE, 2009.
DOI : 10.1109/TASE.2009.9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.1221
, Proving termination with multiset orderings, Communications of the ACM, vol.22, issue.8, pp.465-476, 1979.
DOI : 10.1145/359138.359142
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.8728
, Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974.
DOI : 10.1145/361179.361202
, Memory Requirements for Silent Stabilization, pp.27-34, 1996.
DOI : 10.1007/s002360050180
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.6681
, An alternative solution to a problem on self-stabilization, ACM Transactions on Programming Languages and Systems, vol.15, issue.4, pp.735-742, 1993.
DOI : 10.1145/155183.155228
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.239
, Self-stabilizing depth-first token circulation on networks, Distributed Computing, vol.3, issue.4, pp.61-66, 1993.
DOI : 10.1007/BF02278857
, Formal Verification of Distributed Algorithms, In: Theoretical Computer Science, vol.7604, pp.209-224, 2012.
DOI : 10.1007/978-3-642-33475-7_15
, A case-study in component-based mechanical verification of fault-tolerant programs, Proceedings 19th IEEE International Conference on Distributed Computing Systems, pp.33-40, 1999.
DOI : 10.1109/SLFSTB.1999.777484
, How to write a 21st century proof, Journal of Fixed Point Theory and Applications, vol.16, issue.5, pp.43-63, 2012.
DOI : 10.1007/s11784-012-0071-6