dblp.uni-trier.dewww.uni-trier.de

Jean-Michel Hélary

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
51EERoberto 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
50EERoberto 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
49EEJean-Michel Hélary, Alessia Milani: About the Efficiency of Partial Replication to Implement Distributed Shared Memory. ICPP 2006: 263-270
2005
48EEPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC 2005: 267-274
2003
47EEJean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni: Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003)
46EECarole 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)
45EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy: Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1(2): 185-210 (2003)
2002
44EEPaul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building responseive TMR-based servers in presence of timing constraints. PODC 2002: 127
43EECarole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early stopping in aglobal data computation. PODC 2002: 258
42EEEmmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal: Tracking immediate predecessors in distributed computations. SPAA 2002: 210-219
41EEEmmanuelle 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)
40EEJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64(2): 329-349 (2002)
2001
39EEPaul 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)
37EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165(2): 144-173 (2001)
36EERoberto 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
35EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN 2000: 273-282
34EEJean-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
31EEJean-Michel Hélary, Giovanna Melideo: Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. WG 2000: 218-229
30EEJean-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)
29EEJean-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
27EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: Visible Characterizations. PODC 1999: 33-42
26EEJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distrib. Syst. 10(9): 865-877 (1999)
25EEJean-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
23EERoberto Baldoni, Jean-Michel Hélary, Michel Raynal: Consistent Records in Asynchronous Computations. Acta Inf. 35(6): 441-455 (1998)
1997
22EERoberto 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
17EERoberto 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
13EEJerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS 1995: 186-193
12EERoberto 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)
7EEJean-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)

Coauthor Index

1Emmanuelle Anceaume [41] [42]
2Roberto Baldoni [12] [16] [17] [21] [22] [23] [27] [28] [33] [35] [36] [37] [38] [45] [47] [50] [51]
3Jerzy Brzezinski [6] [11] [12] [13] [15]
4Giacomo Cioffi [28] [38]
5Bernard Cousin [10]
6Carole Delporte-Gallet (Carole Delporte) [43] [46]
7Paul D. Ezhilchelvan [39] [44] [48]
8Hugues Fauconnier [43] [46]
9Michel Hurfin [29] [34]
10Claude Jard [2]
11Aomar Maddi [1]
12Giovanna Melideo [31] [32] [47]
13Alessia Milani [49]
14Achour Mostéfaoui [7] [9] [12] [17] [18] [19] [20] [21] [22] [24] [26] [29] [30] [34] [36] [40]
15Robert H. B. Netzer [19] [25] [30]
16Sara Tucci Piergiovanni [50] [51]
17Noël Plouzeau [2] [3]
18Michel Raynal [1] [2] [3] [5] [6] [7] [8] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48]
19Mukesh Singhal [11] [15]
20Lénaick Tanguy [33] [45]
21Frédéric Tronel (Frederic Tronel) [29] [34]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)