| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Michel Hélary |
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!  |
DISC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni |
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Alessia Milani |
About the Efficiency of Partial Replication to Implement Distributed Shared Memory. |
ICPP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal |
Building Responsive TMR-Based Servers in Presence of Timing Constraints. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni |
Efficient Causality-Tracking Timestamping. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
message-passing, causality, timestamp, vector clock, Asynchronous distributed computation |
| 1 | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal |
Early Stopping in Global Data Computation. |
IEEE Trans. Parallel Distrib. Syst. |
2003 |
DBLP DOI BibTeX RDF |
early stopping, global data, perfect failure detector, fault tolerance, reliability, distributed computing, Asynchronous distributed systems, crash failure |
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy |
Consensus in Byzantine asynchronous systems. |
J. Discrete Algorithms |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Interval Consistency of Asynchronous Distributed Computations. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal |
Tracking immediate predecessors in distributed computations. |
SPAA |
2002 |
DBLP DOI BibTeX RDF |
Hasse diagram, causality tracking, immediate predecessor, message-passing, timestamp, vector clock, asynchronous distributed computations |
| 1 | Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal |
Building responseive TMR-based servers in presence of timing constraints. |
PODC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal |
Early stopping in aglobal data computation. |
PODC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal |
Direct dependency-based determination of consistent global checkpoints. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal |
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
global data, global function computation, perfect failure detector, process crash, problem reduction, Asynchronous distributed computation |
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal |
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. |
Distributed Computing |
2000 |
DBLP DOI BibTeX RDF |
Checkpointing protocols, Fault-Tolerance, Asynchronous distributed system |
| 1 | Jean-Michel Hélary, Giovanna Melideo |
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. |
WG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Arbitrary Failures, Fault Tolerance, Asynchronous Systems, Consensus Problem |
| 1 | Jean-Michel Hélary, Giovanna Melideo, Michel Raynal |
Tracking causality in distributed systems: a suite of efficient protocols. |
SIROCCO |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy |
Consensus in byzantine asynchronous systems. |
SIROCCO |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal |
Consistency Issues in Distributed Checkpoints. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
transitlessness, fault-tolerance, distributed systems, consistency, Checkpointing, rollback recovery, strong consistency |
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Communication-Induced Determination of Consistent Snapshots. |
IEEE Trans. Parallel Distrib. Syst. |
1999 |
DBLP DOI BibTeX RDF |
communication-induced protocol, global checkpoint, message recording, consistency, checkpointing, snapshot, Asynchronous distributed computation |
| 1 | Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary |
Direct Dependency-Based Determination of Consistent GlobalCheckpoints. |
OPODIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
Rollback-Dependency Trackability: Visible Characterizations. |
PODC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
Consistent Records in Asynchronous Computations. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Communication-Induced Determination of Consistent Snapshots. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Adaptive checkpointing in message passing distributed systems. |
Int. J. Systems Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Consistent State Restoration in Shared Memory Systems. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal |
Preventing Useless Checkpoints in Distributed Computations. |
SRDS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Cycle Prevention in Distributed Checkpointing. |
OPODIS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Virtual Precedence in Asynchronous Systems: Cencept and Applications. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
Virtual Precedence, Check-pointing, Causality, Partial Order, Logical Clocks |
| 1 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
About State Recording in Asynchronous Computations (Abstract). |
PODC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal |
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. |
J. Parallel Distrib. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Michel Raynal (eds.) |
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings |
WDAG |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal |
Deadlocks in Distributed Systems: Request Models and Definitions. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection |
| 1 | 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. |
1994 |
DBLP DOI BibTeX RDF |
token-based distributed mutualexclusion algorithms, tree-based distributed mutual exclusion algorithms, permission-based mutual exclusion algorithms, rooted tree structure, informationstructure, topology requirements, distributed algorithms, distributed algorithms, topology, tree data structures, generic algorithm |
| 1 | Jean-Michel Hélary, Michel Raynal |
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. |
Distributed Computing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Cousin, Jean-Michel Hélary |
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Achour Mostéfaoui |
A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure. |
ICDCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal |
Termination Detection in a Very General Distributed Computing Model. |
ICDCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Michel Raynal |
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. |
ISTCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Raynal, Jean-Michel Hélary |
Synchronization and control of distributed systems and programs. |
|
1990 |
RDF |
|
| 1 | Jean-Michel Hélary |
Observing Global States of Asynchronous Distributed Applications. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Noël Plouzeau, Michel Raynal |
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. |
Comput. J. |
1988 |
DBLP DOI BibTeX RDF |
|
| 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 |
1987 |
DBLP BibTeX RDF |
|
| 1 | Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal |
Detection of Stable Properties in Distributed Applications. |
PODC |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")