Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jean-Michel Hélary
2000 – 2009
- 2009
[c30]Jean-Michel Hélary: Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! DISC 2009: 3-4- 2008
- [j22]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
- [c29]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
- [c28]Jean-Michel Hélary, Alessia Milani: About the Efficiency of Partial Replication to Implement Distributed Shared Memory. ICPP 2006: 263-270
- 2005
- [c27]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC 2005: 267-274
- 2003
- [j21]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy: Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1(2): 185-210 (2003)
- [j20]Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni: Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003)
- [j19]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)
- 2002
- [j18]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)
- [j17]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64(2): 329-349 (2002)
- [c26]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building responseive TMR-based servers in presence of timing constraints. PODC 2002: 127
- [c25]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early stopping in aglobal data computation. PODC 2002: 258
- [c24]Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal: Tracking immediate predecessors in distributed computations. SPAA 2002: 210-219
- 2001
- [j16]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)
- [j15]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165(2): 144-173 (2001)
- [j14]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)
- [c23]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal: Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par 2001: 482-485
- 2000
- [j13]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)
- [j12]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)
- [c22]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN 2000: 273-282
- [c21]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
- [c20]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy: Consensus in byzantine asynchronous systems. SIROCCO 2000: 1-15
- [c19]Jean-Michel Hélary, Giovanna Melideo, Michel Raynal: Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO 2000: 181-195
- [c18]Jean-Michel Hélary, Giovanna Melideo: Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. WG 2000: 218-229
1990 – 1999
- 1999
- [j11]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)
- [j10]Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal: Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25(2): 274-281 (1999)
- [c17]Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary: Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS 1999: 11-28
- [c16]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: Rollback-Dependency Trackability: Visible Characterizations. PODC 1999: 33-42
- 1998
- [j9]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: Consistent Records in Asynchronous Computations. Acta Inf. 35(6): 441-455 (1998)
- [c15]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Communication-Induced Determination of Consistent Snapshots. FTCS 1998: 208-217
- 1997
- [j8]Jean-Michel Hélary, Michel Hurfin: Solving agreement problems with failure detectors: a survey. Annales des Télécommunications 52(9-10): 447-464 (1997)
- [j7]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)
- [c14]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Consistent State Restoration in Shared Memory Systems. APDC 1997: 330-337
- [c13]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
- [c12]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Cycle Prevention in Distributed Checkpointing. OPODIS 1997: 309-318
- [c11]Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Preventing Useless Checkpoints in Distributed Computations. SRDS 1997: 183-190
- [c10]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal: Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG 1997: 170-184
- 1996
- [j6]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)
- [c9]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal: About State Recording in Asynchronous Computations (Abstract). PODC 1996: 55
- 1995
- [j5]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)
- [c8]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS 1995: 186-193
- [c7]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
- [e1]Jean-Michel Hélary, Michel Raynal (Eds.): Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings. Lecture Notes in Computer Science 972, Springer 1995, ISBN 3-540-60274-7
- 1994
- [j4]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)
- [j3]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)
- [c6]Bernard Cousin, Jean-Michel Hélary: Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. CAV 1994: 364-376
- [c5]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
- 1993
- [c4]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal: Termination Detection in a Very General Distributed Computing Model. ICDCS 1993: 374-381
- 1992
- [c3]Jean-Michel Hélary, Michel Raynal: Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS 1992: 184-194
- 1990
- [b1]Michel Raynal, Jean-Michel Hélary: Synchronization and control of distributed systems and programs. Wiley series in parallel computing, Wiley 1990, ISBN 978-0-471-92453-1, pp. I-X, 1-124
1980 – 1989
- 1989
- [c2]Jean-Michel Hélary: Observing Global States of Asynchronous Distributed Applications. WDAG 1989: 124-135
- 1988
- [j2]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
- [j1]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)
- [c1]Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal: Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:18 CET by the dblp team