Jean-Michel Hélary

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

Computer Science · Physical Sciences

17h-index1.1kcitations77works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Distributed systems and fault tolerance(59), Parallel Computing and Optimization Techniques(22), Optimization and Search Problems(22), Petri Nets in System Modeling(11), Real-Time Systems Scheduling(10)

Publications77 total

Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!
Lecture notes in computer science·2009
A methodology to design arbitrary failure detectors for distributed protocols
Journal of Systems Architecture·2007· 4 cited
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols
2007· 1 cited
About the Efficiency of Partial Replication to Implement Distributed Shared Memory
2006· 11 cited
Distributed evaluation: a tool for constructing distributed detection programs
Lecture notes in computer science·2006· 4 cited
Group communication in ad-hoe networks: a few results and a case study
2005· 3 cited
Building Responsive TMR-Based Servers in Presence of Timing Constraints
2005· 6 cited
Efficient causality-tracking timestamping
IEEE Transactions on Knowledge and Data Engineering·2003· 12 cited
Consensus in Byzantine asynchronous systems
Journal of Discrete Algorithms·2003· 9 citedOpen Access
Assigning distinct identities to sites on an anonymous distributed system
2003· 6 cited
Termination detection in a very general distributed computing model
2002· 7 cited
A O(log/sub 2/ n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure
2002· 8 cited
Communication-induced determination of consistent snapshots
2002· 24 cited
Consistent state restoration in shared memory systems
2002· 1 cited
A communication-induced checkpointing protocol that ensures rollback-dependency trackability
2002· 92 cited
Preventing useless checkpoints in distributed computations
2002· 60 cited
A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION
International Journal of Foundations of Computer Science·2002· 4 cited
Characterization of consistent global checkpoints in large-scale distributed systems
2002· 12 cited
A general definition of deadlocks for distributed systems
2002
Deadlocks in distributed systems: request models and definitions
2002· 2 cited
page 1 of 4Next →

Frequent Co-authors

Michel Raynal(39), Achour Mostéfaoui(15), Roberto Baldoni(14), Jerzy Brzeziński(5), Robert H. B. Netzer(3), Noël Plouzeau(3), Giovanna Melideo(3), Paul Ezhilchelvan(3), Michel Raynal(3), Michel Hurfin(2), Frédéric Tronel(2), Mukesh Singhal(2), Emmanuelle Anceaume(2), Sara Tucci-Piergiovanni(2), Michel Raynal(1), A. Milani(1), Lénaïck Tanguy(1), Aomar Maddi(1), Carole Delporte-Gallet(1), Hugues Fauconnier(1)