An
Adaptive Failure Detection Protocol.
8th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2001), IEEE
Computer Society Press, Seoul (Korea), pp. 146-153, December 2001.
(With C. Fetzer, F. Tronel).
A
Consensus Protocol Based on a Weak Failure Detector and a Sliding Round Window.
20th IEEE Symposium on Reliable Distributed Systems, (SRDS'01), New-Orleans,
pp. 120-129, Oct. 2001.
(With M. Hurfin, R. Macedo, A. Mostefaoui).
Building
TMR-Based Reliable Servers Despite Bounded Input Lifetime.
Proc. 7th Int. European Parallel Computing Conference (EUROPAR'01), LNCS 2150,
Manchester (UK), pp. 482-485, Sept. 2001.
(With P. Ezhilchelvan, J.M. Hélary).
Efficient
Condition-Based Consensus.
8th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO'01),
Carleton Univ. Press, pp. 275-291, Val de Nuria (Catalonia, Spain), June 2001.
(With A. Mostefaoui, S. Rajsbaum, M. Roy).
Consensus in One Communication
Step.
6th Int. Conference on Parallel Computing Technologies (PaCT'01), Novosibirsk,
LNCS 2127, pp. 42-50, Sept. 2001.
(With F. Brasileiro, F. Greve, A. Mostefaoui).
Quiescent
Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.
6th Int. Conference on Parallel Computing Technologies (PaCT'01), Novosibirsk,
LNCS 2127, pp. 98-111, Sept. 2001.
A Hierarchy of Conditions for
Consensus Solvability.
20th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing
(PODC'01), pp. 151-160, Newport (RI), August 2001.
(With A. Mostefaoui, S. Rajsbaum, M. Roy).
Randomized
Set Agreement.
13th ACM Symposium on Parallel Algorithms and Architectures (SPAA'01), pp. 291-297,
Crete, July 2001.
(With A. Mostefaoui).
Conditions on Input Patterns
for Consensus Solvability in Asynchronous Distributed Systems.
33rd ACM Symposium on Theory of Computing (STOC'01), pp. 153-162, July 2001,
Crète (Greece).
(With A. Mostefaoui, S. Rajsbaum).
Randomized Multivalued Consensus.
Proc. Fourth Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing
(ISORC'01), pp. 195-200,Magdeburg (Germany), 2-4 May 2001.
(With P. Ezhilchelvan, A. Mostefaoui).
A
Condition for Set Agreement in Asynchronous Distibuted Systems.
Proc. IEEE Int. Parallel and Distributed Processing Symposium (IPDPS'2k), (15th
IPPS/12th SPDP), April 2001, San Francisco (CA).
(With A. Mostefaoui).
Shared State Consistency for
Time-Sensitive Distributed Applications.
Best paper award.
21th IEEE Int. Conf. on Distributed Computing Systems, Phoenix, Arizona, pp.606-614,
April 2001.
(With V. Krishnaswamy, M. Ahamad, D. Bakken).
Primary component asynchonous
group membership as an instance of a generic agreement framework.
Proc. 5th IEEE Int. Symposium on Autonomous Decentralized Systems (ISAD'01),
Dallas (TX), pp. 93-100, Mars 2001.
(With F. Greve, M. Hurfin , F. Tronel).
Realtime Based Strong Consistency
for Distributed Objects.
Proc. 5th Int. IEEE Workshop on Object-Oriented Real-time Distributed Systems
(WORDS'01), pp. 161-168, Roma (I), Janvier 2001.
(With M. Ahamad, F. Torres).
Low-Cost Consensus-Based Atomic
Broadcast.
7th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2000), UCLA,
Los Angeles (CA), pp. 45-52, December 2000.
(With A. Mostefaoui).
Logical
Instantaneity and Causal Order : Two First Class Communication Modes for Parallel
Computing.
Invited Talk, Proc. 6th Int. European Parallel Computing Conference (EUROPAR'00),
LNCS 1900, Munich, pp. 13-20, Sept. 2000.
Quorum-Based Replication in
Asynchronous Crash-Recovery Distributed Systems.
Proc. 6th Int. European Parallel Computing Conference (EUROPAR'00), LNCS 1900,
Munich, pp. 554-558, Sept. 2000.
(With L. Rodrigues).
Time and Message efficient S-Based
Consensus Algorithms.
Brief Announcement. 19th ACM Int. Symposium on Principles of Distributed Computing
(PODC'00), p. 332, Portland, July 2000.
(With F. Greve, M. Hurfin, R. Macedo).
Set Agreement and Limited Accuracy
Failure Detectors.
19th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing
(PODC'00), pp. 143-152, Portland, July 2000.
(With A. Mostefaoui).
Tracking Causality in Distributed
Systems: a Suite of Efficient Protocols.
7th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO'00),
Carleton Univ. Press, pp. 181-195, L'Aquila, Italy, June 2000.
(With J.M. Hélary, G. Melideo).
Consensus in Byzantine Asynchronous
Distributed Systems.
7th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO'00),
Carleton Univ. Press, pp. 1-15, L'Aquila, Italy, June 2000.
(With R. Baldoni, J.M. Hélary, L. Tanguy).
From crash fault-tolerance to
byzantine fault-tolerance : towards a modular approach.
Int. IEEE/IFIP Conf. on Dependable Systems and Networks, pp. 273-282, New York,
June 2000.
(With R. Baldoni, J.-M. Hélary).
The best of both worlds: a hybrid
approach to solve consensus.
Int. IEEE/IFIP Conf. on Dependable Systems and Networks, pp. 513-522, New York,
June 2000.
(With A. Mostefaoui, F. Tronel).
Consensus
Based on Strong Failure detectors: Time and Message Efficient Protocol.
Proc. Int. Workshop on Fault-Tolerant Parallel and Distributed Systems, (in
conjunction with the Int. IEEE Conf. on Parallel and Distributed Processing
Symposium (IPDPS'2k), LNCS Series 1800, pp. 1258-1267, May 2000, Cancun, Mexico.
(With F. Greve, A. Mostefaoui, R. Macedo).
Consensus Based on Failure Detectors
with a Perpetual Weak Accuracy Property.
Proc. IEEE Int. Parallel and Distributed Processing Symposium (IPDPS'2k), (14th
IPPS/11th SPDP), May 2000, Cancun, Mexico, pp.514-519.
(With A. Mostefaoui).
Deadline-Constrained Causal
Order.
Proc. Third Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing
(ISORC'00), Newport Beach (CA), March 2000, pp. 234-241.
(With E. Anceaume, R. Baldoni, L. Rodrigues).
Atomic Broadcast in Asynchronous
Crash-Recovery Distributed Systems.
20th IEEE Int. Conf. on Distributed Computing Systems, Taipei (Taiwan), pp.
288-295, April 2000.
(With L. Rodrigues).
Computing
Global Functions in Asynchronous Distributed Systems with Process Crashes.
Best Paper Award.
20th IEEE Int. Conf. on Distributed Computing Systems, Taipei (Taiwan), pp.
584-591, April 2000.
(With J.-M. Hélary, M. Hurfin, A. Mostefaoui, F. Tronel).
Unreliable failure Detector
with Limited Scope Accuracy and an Application to Consensus.
Proc. 19th Int. Conf. on Foundations of Software Technology and Theoretical
Computer Science (FST&TCS), LNCS 1738, pp. 329-340, Chennai, India,(Dec.
1999).
(With A. Mostefaoui).
Solving
Consensus Using Chandra-Toueg's Unreliable Failure Detectors: a General Quorum-Based
Approach.
Proc. 13th Int. Symposium on Distributed Computing (DISC'99), LNCS 1693, pp.
49-63, Bratilava (Slovaquia), 1999.
(With A. Mostefaoui).
Direct dependency-Based Determination of Consistent Global Checkpoints.
Proc. Int. Symposium On Principles Of DIstributed Systems (OPODIS'99), pp. 11-28,
Hanoi, Viet-Nam, 21-23 octobre 1999.
(With R. Baldoni, G. Cioffi, J.M. Hélary).
Simple Vector Clocks are Limited
to Solve some Causality-Related Problems.
Invited Paper. Proc. Int. Symposium On Principles Of DIstributed Systems (OPODIS'99),
pp. 199-208, Hanoi, Viet-Nam, 21-23 octobre 1999.
A
general framework to solve agreement problems.
18th IEEE Symposium on Reliable Distributed Systems, (SRDS'99), Lausanne, Switzerland,
pp. 56-67, Oct. 1999.
(With M. Hurfin, R. Macedo, F. Tronel).
Consistent checkpointing for distributed databases.
Proc. 5th Int. European Parallel Computing Conference (EUROPAR'99), LNCS 1685,
Toulouse, pp. 450-458, Sept. 1999.
(With R. Baldoni, F. Quaglia).
Illustrating the Use of Vector
Clocks in Property Detection: an Example and a Counter-Example.
Proc. 5th Int. European Parallel Computing Conference (EUROPAR'99), LNCS 1685,
pp. 806-814, Toulouse, Sept. 1999.
Consistent
Lamport's clocks for asynchronous groups with process crashes.
5th Int. Conference on Parallel Computing Technologies (PaCT'99), St-Petersburg,
LNCS 1662, pp. 98-107, Sept. 1999.
(With A. Mostefaoui, M. Takizawa).
Efficient Logically Instantaneous
Communications in Asynchronous Distributed Systems.
5th Int. Conference on Parallel Computing Technologies (PaCT'99), St-Petersburg,
LNCS 1662, pp. 258-270, Sept. 1999.
(With A. Mostefaoui, P. Verissimo).
Logical
clocks for unreliable process groups.
Int. Conference on Parallel and Distributed Processing Techniques and Applications
(PDPTA'99), pp. 2272-2278, Las Vegas, June 1999.
(With A. Mostefaoui).
On
Classes of Problems in Asynchronous Distributed Systems with Process Crashes.
Best Paper Award.
19th IEEE Int. Conf. on Distributed Computing Systems, Austin, TX, pp. 470-477,
June 1999.
(With E. Fromentin, F. Tronel).
Timed
Consistency for Shared Distributed Objects.
18th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing
(PODC'99), Atlanta, pp. 163-172, May 1999.
(With M. Ahamad, F. Torres).
Rollback Dependency Trackability
: Visible Characterizations.
18th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing
(PODC'99), Atlanta, pp. 33-42, May 1999.
(With R. Baldoni, J.M. Hélary).
Probabilistic
Analysis of a Group Failure Detection Protocol.
Proc. 4th Int. IEEE Workshop on Object-Oriented Real-time
Distributed Systems (WORDS 99), Santa Barbara, CA, pp. 156-162, février
1999.
(With R. Bollo, J.P. Le Narzul, F. Tronel).
Lifetime-based
consistency for distributed objects.
12th Int. Symposium on DIStributed Computing (DISC'98), (Previously WDAG), Springer
Verlag 1499, Andros, Greece, pp. 378-392, sept. 1998.
(With F. Torres, M. Ahamad).
Consensus
in asynchronous systems where processes can crash and recover.
17th IEEE Symposium on Reliable Distributed Systems, (SRDS'98), Purdue, Oct.
1998, pp. 280-286.
(With M. Hurfin, A. Mostefaoui).
Fault-tolerant total order multicast
to asynchronous groups.
17th IEEE Symposium on Reliable Distributed Systems, (SRDS'98), Purdue, Oct.
1998, pp. 228-234.
(With U. Fridzke, Ph. Ingels, A. Mostefaoui).
Communication-induced
determination of consistent snapshots.
28th IEEE Int. Symposium on Fault-Tolerant Computing, (FTCS28), Munich, pp.
208-217, 1998.
(With J.M. Hélary, A. Mostefaoui).
An adaptive protocol for implementing
causally consistent distributed services.
18th IEEE Int. Conf. on Distibuted Computing Systems, Amsterdam, pp. 86-93,
may 1998.
(With M. Ahamad, G. Thia-Kime).
Asynchronous protocols to meet
real-time constraints: is it really sensible? How to proceed?
Invited Talk, Proc. First Int. IEEE Symposium on Object-Oriented Real-Time Distributed
Computing (ISORCS'98),
pp. 290-297, Kyoto, Avril 1998.
(With M. Hurfin).
A practical building block
for solving agreement problems in asynchronous distributed systems.
Proc. 17th IEEE Int. Performance, Computing and Communications Conference, Phoenix,
AZ, pp. 25-31. (février 1998).
(With M. Hurfin, F. Tronel).
Exploiting
write semantics in implementing partially replicated causal objects.
Proc. 6th EUROMICRO Conference on Parallel and Distributed Processing (PDP'98).
Madrid, pp. 157-163, Jan. 1998.