 | 2009 |
|---|
| 52 |       | Jean-Michel Hélary:
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!
DISC 2009: 3-4 |
| 2008 |
|---|
| 51 | | Roberto Baldoni,
Jean-Michel Hélary,
Sara Tucci Piergiovanni:
A methodology to design arbitrary failure detectors for distributed protocols.
Journal of Systems Architecture - Embedded Systems Design 54(7): 619-637 (2008) |
| 2007 |
|---|
| 50 | | Roberto Baldoni,
Jean-Michel Hélary,
Sara Tucci Piergiovanni:
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.
ISORC 2007: 51-61 |
| 2006 |
|---|
| 49 | | Jean-Michel Hélary,
Alessia Milani:
About the Efficiency of Partial Replication to Implement Distributed Shared Memory.
ICPP 2006: 263-270 |
| 2005 |
|---|
| 48 | | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building Responsive TMR-Based Servers in Presence of Timing Constraints.
ISORC 2005: 267-274 |
| 2003 |
|---|
| 47 | | Jean-Michel Hélary,
Michel Raynal,
Giovanna Melideo,
Roberto Baldoni:
Efficient Causality-Tracking Timestamping.
IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003) |
| 46 | | Carole Delporte-Gallet,
Hugues Fauconnier,
Jean-Michel Hélary,
Michel Raynal:
Early Stopping in Global Data Computation.
IEEE Trans. Parallel Distrib. Syst. 14(9): 909-921 (2003) |
| 45 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal,
Lénaick Tanguy:
Consensus in Byzantine asynchronous systems.
J. Discrete Algorithms 1(2): 185-210 (2003) |
| 2002 |
|---|
| 44 | | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building responseive TMR-based servers in presence of timing constraints.
PODC 2002: 127 |
| 43 | | Carole Delporte-Gallet,
Hugues Fauconnier,
Jean-Michel Hélary,
Michel Raynal:
Early stopping in aglobal data computation.
PODC 2002: 258 |
| 42 | | Emmanuelle Anceaume,
Jean-Michel Hélary,
Michel Raynal:
Tracking immediate predecessors in distributed computations.
SPAA 2002: 210-219 |
| 41 | | 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): 865-872 (2002) |
| 40 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Interval Consistency of Asynchronous Distributed Computations.
J. Comput. Syst. Sci. 64(2): 329-349 (2002) |
| 2001 |
|---|
| 39 | | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes.
Euro-Par 2001: 482-485 |
| 38 |  | Roberto Baldoni,
Giacomo Cioffi,
Jean-Michel Hélary,
Michel Raynal:
Direct dependency-based determination of consistent global checkpoints.
Comput. Syst. Sci. Eng. 16(1): 43-49 (2001) |
| 37 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol.
Inf. Comput. 165(2): 144-173 (2001) |
| 36 | | 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): 105-111 (2001) |
| 2000 |
|---|
| 35 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.
DSN 2000: 273-282 |
| 34 | | 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: 584-591 |
| 33 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal,
Lénaick Tanguy:
Consensus in byzantine asynchronous systems.
SIROCCO 2000: 1-15 |
| 32 | | Jean-Michel Hélary,
Giovanna Melideo,
Michel Raynal:
Tracking causality in distributed systems: a suite of efficient protocols.
SIROCCO 2000: 181-195 |
| 31 | | Jean-Michel Hélary,
Giovanna Melideo:
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization.
WG 2000: 218-229 |
| 30 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Robert H. B. Netzer,
Michel Raynal:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations.
Distributed Computing 13(1): 29-43 (2000) |
| 29 | | 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 Distrib. Syst. 11(9): 897-909 (2000) |
| 1999 |
|---|
| 28 | | Roberto Baldoni,
Michel Raynal,
Giacomo Cioffi,
Jean-Michel Hélary:
Direct Dependency-Based Determination of Consistent GlobalCheckpoints.
OPODIS 1999: 11-28 |
| 27 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations.
PODC 1999: 33-42 |
| 26 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Communication-Induced Determination of Consistent Snapshots.
IEEE Trans. Parallel Distrib. Syst. 10(9): 865-877 (1999) |
| 25 | | Jean-Michel Hélary,
Robert H. B. Netzer,
Michel Raynal:
Consistency Issues in Distributed Checkpoints.
IEEE Trans. Software Eng. 25(2): 274-281 (1999) |
| 1998 |
|---|
| 24 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Communication-Induced Determination of Consistent Snapshots.
FTCS 1998: 208-217 |
| 23 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Consistent Records in Asynchronous Computations.
Acta Inf. 35(6): 441-455 (1998) |
| 1997 |
|---|
| 22 | | Roberto Baldoni,
Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Consistent State Restoration in Shared Memory Systems.
APDC 1997: 330-337 |
| 21 | | Roberto Baldoni,
Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.
FTCS 1997: 68-77 |
| 20 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Cycle Prevention in Distributed Checkpointing.
OPODIS 1997: 309-318 |
| 19 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Robert H. B. Netzer,
Michel Raynal:
Preventing Useless Checkpoints in Distributed Computations.
SRDS 1997: 183-190 |
| 18 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Virtual Precedence in Asynchronous Systems: Cencept and Applications.
WDAG 1997: 170-184 |
| 17 | | Roberto Baldoni,
Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
Adaptive checkpointing in message passing distributed systems.
Int. J. Systems Science 28(11): 1145-1161 (1997) |
| 1996 |
|---|
| 16 | | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
About State Recording in Asynchronous Computations (Abstract).
PODC 1996: 55 |
| 15 | | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal,
Mukesh Singhal:
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection.
J. Parallel Distrib. Comput. 32(2): 232 (1996) |
| 1995 |
|---|
| 14 | | Jean-Michel Hélary,
Michel Raynal:
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings
Springer 1995 |
| 13 | | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal:
Deadlocks in Distributed Systems: Request Models and Definitions.
FTDCS 1995: 186-193 |
| 12 | | 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: 314-323 |
| 11 | | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal,
Mukesh Singhal:
Deadlock Models and a General Algorithm for Distributed Deadlock Detection.
J. Parallel Distrib. Comput. 31(2): 112-125 (1995) |
| 1994 |
|---|
| 10 | | Bernard Cousin,
Jean-Michel Hélary:
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions.
CAV 1994: 364-376 |
| 9 | | Jean-Michel Hélary,
Achour Mostéfaoui:
A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure.
ICDCS 1994: 89-96 |
| 8 | | Jean-Michel Hélary,
Michel Raynal:
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination.
Distributed Computing 7(3): 137-147 (1994) |
| 7 | | Jean-Michel Hélary,
Achour Mostéfaoui,
Michel Raynal:
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms.
IEEE Trans. Parallel Distrib. Syst. 5(11): 1185-1196 (1994) |
| 1993 |
|---|
| 6 | | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal:
Termination Detection in a Very General Distributed Computing Model.
ICDCS 1993: 374-381 |
| 1992 |
|---|
| 5 | | Jean-Michel Hélary,
Michel Raynal:
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs.
ISTCS 1992: 184-194 |
| 1989 |
|---|
| 4 | | Jean-Michel Hélary:
Observing Global States of Asynchronous Distributed Applications.
WDAG 1989: 124-135 |
| 1988 |
|---|
| 3 | | Jean-Michel Hélary,
Noël Plouzeau,
Michel Raynal:
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network.
Comput. J. 31(4): 289-295 (1988) |
| 1987 |
|---|
| 2 | | Jean-Michel Hélary,
Claude Jard,
Noël Plouzeau,
Michel Raynal:
Detection of Stable Properties in Distributed Applications.
PODC 1987: 125-136 |
| 1 | | Jean-Michel Hélary,
Aomar Maddi,
Michel Raynal:
Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque.
ITA 21(3): 223-244 (1987) |
