Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (IFM, 2013)

Analysis of Self-⋆ and P2P Systems Using Refinement. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (ABZ, 2014)

Revisiting snapshot algorithms by refinement-based techniques. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (Comput. Sci. Inf. Syst., 2014)

Développement d'algorithmes répartis corrects par construction. (Developing correct-by-construction distributed algorithms). - Manamiary Bruno Andriamiarina (2015)