Jean-Michel Hélary

Publications

795

Citations

H-Index

1988

Active since

Affiliations

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

Université de Rennes

Sapienza University of Rome

Computer Algorithms for Medicine

Brown University

Jean-Michel Hélary is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsDistributed SystemsSystems EngineeringFormal VerificationParallel ComputingParallel ProgrammingCluster ComputingVerification

Publications per year

1988–2006

Publications

A communication-induced checkpointing protocol that ensures rollback-dependency trackability

Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui et al. · 2002 · 92 citations

Engineering, Verification, Fault Tolerance +17

Communication-based prevention of useless checkpoints in distributed computations

Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer et al. · Distributed Computing · 2000 · 87 citations

Cluster Computing, Engineering, Distributed Computing +8

Preventing useless checkpoints in distributed computations

Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer et al. · 2002 · 60 citations

Cluster Computing, Engineering, Verification +17

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

Communication-induced determination of consistent snapshots

Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal · IEEE Transactions on Parallel and Distributed Systems · 1999 · 48 citations

Engineering, Verification, Information Forensics +17

Rows per page

1–5 of 23