Achour Mostéfaoui

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Topic 8: Distributed Systems and Algorithms - (Introduction).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Concurrency Effects Over Variable-size Identifiers in Distributed Collaborative Editing.

[BibT_eX]

[DOI]

Proceedings of the International workshop on Document Changes: Modeling, 2013

LSEQ: an adaptive structure for sequences in distributed collaborative editing.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Document Engineering 2013, 2013

2012

Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems.

[BibT_eX]

[DOI]

Julien Stainer

Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

2011

Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.

[BibT_eX]

[DOI]

Julien Stainer

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Looking for Efficient Implementations of Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks.

[BibT_eX]

[DOI]

Olivier Baldellon

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

2010

Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Time-Free Authenticated Byzantine Consensus.

[BibT_eX]

[DOI]

Moumen Hamouma

Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010

Low-Cost Secret-Sharing in Sensor Networks.

[BibT_eX]

[DOI]

Marin Bertier

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

From adaptive renaming to set agreement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

What Agreement Problems Owe Michel.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008

The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.

[BibT_eX]

[DOI]

SIAM J. Comput., 2008

On the computability power and the robustness of set agreement-oriented failure detector classes.

[BibT_eX]

[DOI]

Distributed Comput., 2008

From anarchy to geometric structuring: the power of virtual coordinates.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

RDDS 2008 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Eiko Yoneki

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Narrowing Power vs. Efficiency in Synchronous Set Agreement.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

2007

On the Respective Power of *P and *S to Solve One-Shot Agreement Problems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2007

Asynchronous Agreement and Its Relation with Error-Correcting Codes.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2007

From Renaming to Set Agreement.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2007

Towards the minimal synchrony for byzantine consensus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Towards a Computing Model for Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2007

Byzantine Consensus with Few Synchronous Links.

[BibT_eX]

[DOI]

Moumen Hamouma

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Topic 8 Distributed Systems and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2007, 2007

2006

Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2006

A Time-free Assumption to Implement Eventual Leadership.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2006

Synchronous condition-based consensus.

[BibT_eX]

[DOI]

Distributed Comput., 2006

Exploring Gafni's Reduction Land: From Omegak to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Irreducibility and additivity of set agreement-oriented failure detector classes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

From Failure Detectors with Limited Scope Accuracy to System-wide Leadership.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

$\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2005

Asynchronous bounded lifetime failure detectors.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

From Static Distributed Systems to Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

The combined power of conditions and failure detectors to solve asynchronous set agreement.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Building and Using Quorums Despite any Number of Process of Crashes.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2005

2004

A necessary and sufficient condition for transforming limited accuracy failure detectors.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2004

A weakest failure detector-based asynchronous consensus protocol for f<n.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Condition-based consensus solvability: a hierarchy of conditions and efficient protocols.

[BibT_eX]

[DOI]

Distributed Comput., 2004

The Synchronous Condition-Based Consensus Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 18th International Conference, 2004

The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 18th International Conference, 2004

Crash-Resilient Time-Free Eventual Leadership.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

A Hybrid Approach for Building Eventually Accurate Failure Detectors.

[BibT_eX]

[DOI]

David Powell

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Brief announcement: the synchronous condition-based consensus hierarchy.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Brief announcement: veto number and the respective power of eventual failure detectors.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

The Notion of Veto Number for Distributed Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 2004

2003

Conditions on input vectors for consensus solvability in asynchronous distributed systems.

[BibT_eX]

[DOI]

J. ACM, 2003

Using Conditions to Expedite Consensus in Synchronous Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 17th International Conference, 2003

Single-Write Safe Consensus using Constrained Inputs.

[BibT_eX]

Matthieu Roy

Proceedings of the SIROCCO 10: Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, 2003

A Hierarchy of Conditions for Asynchronous Interactive Consistency.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2003

Asynchronous Implementation of Failure Detectors.

[BibT_eX]

[DOI]

Eric Mourgaya

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Evaluating the Condition-Based Approach to Solve Consensus.

[BibT_eX]

[DOI]

Eric Mourgaya

Philippe Raipin Parvédy

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing?

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors.

[BibT_eX]

[DOI]

Michel Hurfin

IEEE Trans. Computers, 2002

Interval Consistency of Asynchronous Distributed Computations.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

An introduction to oracles for asynchronous distributed systems.

[BibT_eX]

[DOI]

Eric Mourgaya

Future Gener. Comput. Syst., 2002

Condition-Based Protocols for Set Agreement Problems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

Distributed Agreement and Its Relation with Error-Correcting Codes.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

Towards a formal model for view maintenance in data warehouses.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Asynchronous interactive consistency and its relation with error-correcting codes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

A Versatile and Modular Consensus Protoco.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Consensus-Based Fault-Tolerant Total Order Multicast.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Leader-Based Consensus.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2001

Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

The logically instantaneous communication mode: a communication abstraction.

[BibT_eX]

[DOI]

Paulo Veríssimo

Future Gener. Comput. Syst., 2001

A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window.

[BibT_eX]

[DOI]

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Randomized k-set agreement.

[BibT_eX]

[DOI]

Francisco Vilar Brasileiro

Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

Efficient Condition-Based Consensus.

[BibT_eX]

Proceedings of the SIROCCO 8, 2001

A hierarchy of conditions for consensus solvability.

[BibT_eX]

[DOI]

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Consensus in One Communication Step.

[BibT_eX]

[DOI]

Fabíola Greve

Proceedings of the Parallel Computing Technologies, 2001

Randomized Multivalued Consensus.

[BibT_eX]

[DOI]

Paul D. Ezhilchelvan

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

A Condition for k-Set Agreement in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2000

From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems.

[BibT_eX]

[DOI]

Frederic Tronel

Inf. Process. Lett., 2000

Communication-Based Prevention of Useless Checkpoints in Fistributed Computations.

[BibT_eX]

[DOI]

Distributed Comput., 2000

Low cost consensus-based Atomic Broadcast.

[BibT_eX]

[DOI]

Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

k-set agreement with limited accuracy failure detectors.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Consensus Based on Failure Detectors with a Perpetual Accuracy Property.

[BibT_eX]

[DOI]

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

The Best of Both Worlds: A Hybrid Approach to Solve Consensus.

[BibT_eX]

[DOI]

Frederic Tronel

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Communication-Induced Determination of Consistent Snapshots.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1999

Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 1999

Logical Clocks for Unreliable Process Groups.

[BibT_eX]

Makoto Takizawa

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines.

[BibT_eX]

[DOI]

Paulo Veríssimo

Proceedings of the Parallel Computing Technologies, 1999

Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.

[BibT_eX]

[DOI]

Makoto Takizawa

Proceedings of the Parallel Computing Technologies, 1999

Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the Advances in Distributed Systems, 1999

1998

Consensus in Asynchronous Systems Where Processes Can Crash and Recover.

[BibT_eX]

[DOI]

Michel Hurfin

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Fault-Tolerant Total Order Multicast to Asynchronous Groups.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Shrinking Timestamp Sizes of Event Ordering Protocols.

[BibT_eX]

[DOI]

Oliver E. Theel

Proceedings of the International Conference on Parallel and Distributed Systems, 1998

1997

Adaptive checkpointing in message passing distributed systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 1997

Virtual Precedence in Asynchronous Systems: Cencept and Applications.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Preventing Useless Checkpoints in Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Cycle Prevention in Distributed Checkpointing.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-27, 1997

Consistent State Restoration in Shared Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

Causal Delivery of Messages with Real-Time Data in Unreliable Networks.

[BibT_eX]

[DOI]

Roberto Baldoni

Real Time Syst., 1996

Efficient Message Logging for Uncoordinated Checkpointing Protocols.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1996

1995

Token Based Distributed Algorithms to the M Resources Allocation Problem.

[BibT_eX]

Aomar Maddi

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Efficient Causally Ordered Communications for Multimedia Real-Time Applications.

[BibT_eX]

[DOI]

Roberto Baldoni

Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), 1995

Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Definition and Implementation of a Flexible Communication Primitive for Distributed Programming.

[BibT_eX]