Formal Verification of Consensus Algorithms Tolerating Malicious Faults. - Bernadette Charron-Bost; Henri Debrat; Stephan Merz (SSS, 2011)

Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model. - Henri Debrat; Stephan Merz (Arch. Formal Proofs, 2012)

Certification formelle de la correction d'algorithmes distribués avec erreurs de transmission. (Formal verification of distributed algorithms with transition failures). - Henri Debrat (2013)