Jean-Michel Hélary - Concepedia

Author

Jean-Michel Hélary

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

Also Known As

J. Helary, J. M. Helary, J.-M. Helary, J.-M. Hélary, J.M. Helary, J.M. Hélary, JEAN-MICHEL HELARY, Jean Michel Hélary, Jean-Michel Helary, Jean-Michel Hélary

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires Université de Rennes Sapienza University of Rome Computer Algorithms for Medicine Brown University

About

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

#	Concept	H-Index	Publications	Citations
1	Engineering	15	20	750
2	Computer Engineering	7	7	238
3	Communication	2	2	72
4	Business	1	1	48
5	Public Health	1	1	12

Jean-Michel Hélary

Publications

795

Citations

H-Index

Page 1

	Year	Citations
A communication-induced checkpointing protocol that ensures rollback-dependency trackability Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, EngineeringVerificationFault ToleranceFault-tolerant MessagingSoftware Analysis	2002	92
Communication-based prevention of useless checkpoints in distributed computations Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Distributed Computing Cluster ComputingEngineeringDistributed ComputingFormal MethodsFault Tolerance	2000	87
Preventing useless checkpoints in distributed computations Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Cluster ComputingEngineeringVerificationFault ToleranceFault-tolerant Messaging	2002	60
Computing global functions in asynchronous distributed systems with perfect failure detectors Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, IEEE Transactions on Parallel and Distributed Systems Cluster ComputingAsynchronous Distributed SystemsEngineeringVerificationFault Tolerance	2000	57
Communication-induced determination of consistent snapshots Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal IEEE Transactions on Parallel and Distributed Systems EngineeringVerificationInformation ForensicsFault ToleranceCommunication	1999	48
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network Jean-Michel Hélary, Noël Plouzeau, Michel Raynal The Computer Journal Cluster ComputingEngineeringNetwork OperationNetwork RobustnessNetwork Analysis	1988	48
A general scheme for token- and tree-based distributed mutual exclusion algorithms Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal IEEE Transactions on Parallel and Distributed Systems Cluster ComputingEngineeringDistributed ContextGeneral SchemeNetwork Analysis	1994	46
Deadlock Models and a General Algorithm for Distributed Deadlock Detection Jerzy Brzeziński, Jean-Michel Hélary, Michel Raynal, Journal of Parallel and Distributed Computing Cluster ComputingEngineeringDeadlock ModelsConcurrent ProgrammingConcurrency Theory	1995	44
Deadlock Models and a General Algorithm for Distributed Deadlock Detection Jerzy Brzeziński, Jean-Michel Hélary, Michel Raynal, Journal of Parallel and Distributed Computing Cluster ComputingEngineeringDeadlock ModelsConcurrent ProgrammingConcurrency Theory	1996	43
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol Roberto Baldoni, Jean-Michel Hélary, Michel Raynal Information and Computation Software MaintenanceDependency AnalysisReliability EngineeringEngineeringProgram Analysis	2001	37

Page 1