Jean-Michel Hélary

Publication Activity (10 Years)

Years Active: 1987-2009
Publications (10 Years): 0

Publications

Jean-Michel Hélary
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! DISC (2009)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
A methodology to design arbitrary failure detectors for distributed protocols. J. Syst. Archit. 54 (7) (2008)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. ISORC (2007)
Jean-Michel Hélary, Alessia Milani
About the Efficiency of Partial Replication to Implement Distributed Shared Memory. ICPP (2006)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
Group communication in ad-hoc networks: a few results and a case study. ICPS (2005)
Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC (2005)
Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni
Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15 (5) (2003)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1 (2) (2003)
Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
Early Stopping in Global Data Computation. IEEE Trans. Parallel Distributed Syst. 14 (9) (2003)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64 (2) (2002)
Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
Tracking immediate predecessors in distributed computations. SPAA (2002)
Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
Early stopping in aglobal data computation. PODC (2002)
Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
Building responseive TMR-based servers in presence of timing constraints. PODC (2002)
Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
A Note on the Determination of the Immediate Predecessors in a Distributed Computation. Int. J. Found. Comput. Sci. 13 (6) (2002)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165 (2) (2001)
Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par (2001)
Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. 80 (2) (2001)
Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal
Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. 16 (1) (2001)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
Consensus in byzantine asynchronous systems. SIROCCO (2000)
Jean-Michel Hélary, Giovanna Melideo, Michel Raynal
Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO (2000)
Jean-Michel Hélary, Giovanna Melideo
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. WG (2000)
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. 13 (1) (2000)
Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS (2000)
Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distributed Syst. 11 (9) (2000)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN (2000)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distributed Syst. 10 (9) (1999)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
Rollback-Dependency Trackability: Visible Characterizations. PODC (1999)
Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal
Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25 (2) (1999)
Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary
Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS (1999)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Communication-Induced Determination of Consistent Snapshots. FTCS (1998)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
Consistent Records in Asynchronous Computations. Acta Informatica 35 (6) (1998)
Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS (1997)
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
Preventing Useless Checkpoints in Distributed Computations. SRDS (1997)
Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Consistent State Restoration in Shared Memory Systems. APDC (1997)
Jean-Michel Hélary, Michel Hurfin
Solving agreement problems with failure detectors: a survey. Ann. des Télécommunications 52 (9-10) (1997)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Cycle Prevention in Distributed Checkpointing. OPODIS (1997)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG (1997)
Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Adaptive checkpointing in message passing distributed systems. Int. J. Syst. Sci. 28 (11) (1997)
Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
About State Recording in Asynchronous Computations (Abstract). PODC (1996)
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 32 (2) (1996)
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS (1995)
Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS (1995)
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 31 (2) (1995)
Jean-Michel Hélary, Achour Mostéfaoui
n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure. ICDCS (1994)
Bernard Cousin, Jean-Michel Hélary
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. CAV (1994)
Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distributed Syst. 5 (11) (1994)
Jean-Michel Hélary, Michel Raynal
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Comput. 7 (3) (1994)
Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
Termination Detection in a Very General Distributed Computing Model. ICDCS (1993)
Jean-Michel Hélary, Michel Raynal
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS (1992)
Jean-Michel Hélary
Observing Global States of Asynchronous Distributed Applications. WDAG (1989)
Jean-Michel Hélary, Noël Plouzeau, Michel Raynal
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. Comput. J. 31 (4) (1988)
Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal
Detection of Stable Properties in Distributed Applications. PODC (1987)
Jean-Michel Hélary, Aomar Maddi, Michel Raynal
Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. RAIRO Theor. Informatics Appl. 21 (3) (1987)