Michel Hurfin

Publications

563

Citations

H-Index

1993

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Computer Algorithms for Medicine

Institut national de recherche en sciences et technologies du numérique

Universidade Federal da Paraíba

Michel Hurfin is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringComputer ScienceDistributed SystemsSystems EngineeringFormal VerificationFormal MethodsFault ToleranceAsynchronous SystemsSystem SoftwareProgram Analysis

Publications per year

1993–2018

Publications

A simple and fast asynchronous consensus protocol based on a weak failure detector

Michel Hurfin, Michel Raynal · Distributed Computing · 1999 · 86 citations

Blockchain Consensus Protocol, Fault-tolerant Network, Engineering +7

Consensus in asynchronous systems where processes can crash and recover

Michel Hurfin, Achour Mostéfaoui, Michel Raynal · 2002 · 75 citations

Blockchain Consensus Protocol, Engineering, Consensus Problem +16

A general framework to solve agreement problems

Michel Hurfin, Raimundo José de Araújo Macêdo, Michel Raynal et al. · 2003 · 59 citations

Negotiation, Engineering, Consensus Problem +21

A versatile family of consensus protocols based on Chandra-Toueg's unreliable failure detectors

Michel Hurfin, Achour Mostéfaoui, Michel Raynal · IEEE Transactions on Computers · 2002 · 58 citations

Cluster Computing, Orthogonal Versatility Dimensions, Engineering +20

Computing global functions in asynchronous distributed systems with perfect failure detectors

Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui et al. · IEEE Transactions on Parallel and Distributed Systems · 2000 · 57 citations

Cluster Computing, Asynchronous Distributed Systems, Engineering +23

Rows per page

1–5 of 16