Henri Debrat

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Fault Tolerance

Theoretical Analysis

Top Venues

Arch. Formal Proofs

Publications

Henri Debrat, Stephan Merz
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model. Arch. Formal Proofs 2012 (2012)
Bernadette Charron-Bost, Henri Debrat, Stephan Merz
Formal Verification of Consensus Algorithms Tolerating Malicious Faults. SSS (2011)