Henri Debrat

According to our database, Henri Debrat authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

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

Henri Debrat

PhD thesis, 2013

2012

Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model.

Henri Debrat, Stephan Merz

Arch. Formal Proofs, 2012

2011

Formal Verification of Consensus Algorithms Tolerating Malicious Faults.

Bernadette Charron-Bost, Henri Debrat, Stephan Merz

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011