J. Hélary

发表

925 CONSISTENT CHECKPOINTING IN MESSAGE PASSING DISTRIBUTED SYSTEMS

R. Baldoni, M. Raynal, A. Mostéfaoui, 1995 .

I S a P U B L I C a T I O N I N T E R N E N O I R I S a Mutually Consistent Recording in Asynchronous Computations Mutually Consistent Recording in Asynchronous Computations

M. Raynal, J. Hélary, 1996 .

Towards the construction of distributed detection programs, with an application to distributed termination

Michel Raynal, Jean-Michel Hélary, M. Raynal, 1994, Distributed Computing.

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Mukesh Singhal, Michel Raynal, Jean-Michel Hélary, 1996, J. Parallel Distributed Comput..

Deadlocks in distributed systems: request models and definitions

Michel Raynal, Jean-Michel Hélary, Jerzy Brzezinski, 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

Distributed algorithms for static and dynamic termination detection

M. Raynal, J. Brzezinski, J.-M. Helary, 1995 .

Termination detection in a very general distributed computing model

Michel Raynal, Jean-Michel Hélary, Jerzy Brzezinski, 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

Distributed Evaluation: A Tool for Constructing Distributed Detection Programs

Michel Raynal, Jean-Michel Hélary, M. Raynal, 1992, ISTCS.

Computing particular snapshots in distributed systems

M. Raynal, J. Helary, N. Plouzeau, 1990, Ninth Annual International Phoenix Conference on Computers and Communications. 1990 Conference Proceedings.

Assigning distinct identities to sites on an anonymous distributed system

J.-M. Helary, M. Raynal, M. Raynal, 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.

Detection of stable properties in distributed applications

Michel Raynal, Noël Plouzeau, Claude Jard, 1987, PODC '87.

Tracking immediate predecessors in distributed computations

Michel Raynal, Emmanuelle Anceaume, Jean-Michel Hélary, 2002, SPAA '02.

Direct dependency-based determination of consistent global checkpoints

Roberto Baldoni, Michel Raynal, Giacomo Cioffi, 2001, Comput. Syst. Sci. Eng..

Consistency Issues in Distributed Checkpoints

Michel Raynal, Jean-Michel Hélary, Robert H. B. Netzer, 1999, IEEE Trans. Software Eng..

Adaptive checkpointing in message passing distributed systems

Achour Mostéfaoui, Roberto Baldoni, Michel Raynal, 1997, Int. J. Syst. Sci..

Characterization of consistent global checkpoints in large-scale distributed systems

Achour Mostéfaoui, Michel Raynal, Roberto Baldoni, 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

On Modeling Consistent Checkpoints and the Domino Effect in Distributed Systems

Michel Raynal, Roberto Baldoni, Achour Mostefaoui, 1995 .

Semantics of recovery lines for backward recovery in distributed systems

Michel Raynal, Jerzy BrzeziŃski, Jean-Michel Helary, 1995 .

A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols

Roberto Baldoni, Sara Tucci Piergiovanni, Jean-Michel Hélary, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Consensus in Byzantine asynchronous systems

Michel Raynal, Roberto Baldoni, Jean-Michel Hélary, 2003, J. Discrete Algorithms.

A methodology to design arbitrary failure detectors for distributed protocols

Roberto Baldoni, Sara Tucci Piergiovanni, Jean-Michel Hélary, 2008, J. Syst. Archit..

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors

Achour Mostéfaoui, Michel Raynal, Frédéric Tronel, 2000, IEEE Trans. Parallel Distributed Syst..

Synchronization and control of distributed systems and programs

Michel Raynal, Jean-Michel Hélary, M. Raynal, 1990, Wiley series in parallel computing.

Group communication in ad-hoc networks: a few results and a case study

Roberto Baldoni, Sara Tucci Piergiovanni, Jean-Michel Hélary, 2005, ICPS '05. Proceedings. International Conference on Pervasive Services, 2005..