Jean-Michel Hélary

55 papers A* 6A 5B 8C 2Journal 22Unranked 10

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