2008 |
51 | EE | 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 | EE | 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 | EE | Jean-Michel Hélary,
Alessia Milani:
About the Efficiency of Partial Replication to Implement Distributed Shared Memory.
ICPP 2006: 263-270 |
2005 |
48 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Paul D. Ezhilchelvan,
Jean-Michel Hélary,
Michel Raynal:
Building responseive TMR-based servers in presence of timing constraints.
PODC 2002: 127 |
43 | EE | Carole Delporte-Gallet,
Hugues Fauconnier,
Jean-Michel Hélary,
Michel Raynal:
Early stopping in aglobal data computation.
PODC 2002: 258 |
42 | EE | Emmanuelle Anceaume,
Jean-Michel Hélary,
Michel Raynal:
Tracking immediate predecessors in distributed computations.
SPAA 2002: 210-219 |
41 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jean-Michel Hélary,
Giovanna Melideo:
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization.
WG 2000: 218-229 |
30 | EE | 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 | EE | 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 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations.
PODC 1999: 33-42 |
26 | EE | 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 | EE | 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 | EE | Roberto Baldoni,
Jean-Michel Hélary,
Michel Raynal:
Consistent Records in Asynchronous Computations.
Acta Inf. 35(6): 441-455 (1998) |
1997 |
22 | EE | 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 | EE | 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 | EE | Jerzy Brzezinski,
Jean-Michel Hélary,
Michel Raynal:
Deadlocks in Distributed Systems: Request Models and Definitions.
FTDCS 1995: 186-193 |
12 | EE | 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 | EE | 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) |