In search of the holy grail:  looking for the weakest failure detector for wait-free  set agreement. 
(Invited Paper). Proc. 10th Int'l Conference On Principles Of Distributed Systems (OPODIS'06), 
Springer-Verlag LNCS  4305, pp. 1-17, 2006.
(With C. Travers)

Simultaneous   consensus   tasks:  a   tighter   characterization  of   set consensus.
Proc. 8th Int'l Conference on Distributed Computing and Networking (ICDCN'06),
Springer Verlag LNCS 4308, pp. 331-341, Guwahati (India),  2006.
(With   Y. Afek,  E.  Gafni, S.  Rajsbaum,  C. Travers).

On  the  fly estimation  of  the processes  that  are  alive/crashed in  an
asynchronous message-passing system.
Proc. 12th Int'l IEEE Pacific Rim Dependable Computing Symposium
 (PRDC'2006), IEEE Society Computer Press, Riverside (CA), December 2005.\
(With. Mostefaoui,  G. Tredan).

Core  Persistence in  Peer-to-peer Systems:  Relating  Size to Lifetime.
Proc.  Workshop  on  Reliability in Decentralized  Distributed Systems
(RDDS'06), Springer-Verlag LNCS  \#4278, pp. 1470-1479, Montpellier (France), 2006.
(With   V.  Gramoli, Anne-Marie   Kermarrec, A. Mostefaoui, B. Sericola).

Synchronous set agreement: a concise guided tour (including a new algorithmand a list of  open problems).
Proc. 12th Int'l IEEE Pacific Rim Dependable Computing Symposium
(PRDC'2006),  IEEE Society Computer Press, Riverside (CA), December 2005.
(With  C. Travers).

Exploring Gafni's reduction land:  from Omega^k to wait-free adaptive (2p-p/k)-renaming via k-set agreement.
 Proc. 20th Int'l Symposium on DIStributed Computing (DISC'06),
Springer Verlag LNCS 4167, pp. 1-16,  Stockholm, Sweden, September 2006.
(With A. Mostefaoui,  C. Travers).

The Power and  Limit of adding synchronization messages for  Synchronous Agreement.
Proc. 35th Int'l Conference on Parallel Processing (ICPP'06),
IEEE Computer Society Press, pp. 399-406, Colombus (Ohio), August 2006.
(With  . Cao,  W. Wu,  X.   Wang, Hong-Kong).

  Irreducibility  and  additivity  of  set  agreement-oriented  failuredetectors.
Proc. 25th  ACM  SIGACT-SIGOPS  Int. Symposium  on Principles of Distributed
Computing (PODC'06),   ACM Press, Denver (Colorado), July 2006.
(With  A. Mostefaoui, S. Rajsbaum,  C. Travers).

From static distributed systems to dynamic systems:  an approach for a first ste (Keynote  Speech).
Proc. International workshop on Dynamic Distributed Systems (IWDDS'06), in  conjunction
with   25th   IEEE   Int.   Conf.   on   Distributed Computing   Systems (ICDCS'06), IEEE Computer Society Press,
Lisbon (Portugal), july 2006.

Strongly-terminating  early-stopping k-set  agreement  in synchronous systems with general  omission  failures.
Proc. 13th  Colloquium   on  Structural   Information   and  Communication Complexity  (SIROCCO'06),
Springer Verlag LNCS  4056, pp. 182-196, Chester (UK), July 2006.
(With P. Raipin Parvedy,  C. Travers).

Leader election with weak assumptions on initial knowledge, communication reliability and synchrony.
Proc.  Int. IEEE  Conference  on   Dependable    Systems  and Networks   (DSN'06), IEEE Computer Society Press, pp. 166-175, Philadelphia (Pensylvania), June 2006.
(With A. Fernandez, E. Jimenez).

A Leader Election Protocol for Eventually Synchronous Shared Memory Systems.
Proc. 4th Int.  IEEE  Workshop  on  Software Technologies for Future Embedded
and Ubiquitous Systems (SEUS'06),  IEEE Computer Society Press, pp. 75-80,
Gyeongju (Korea),  April 2006.
(With R. Guerraoui).

From failure detectors with limited scope accuracy to  to system wide leadership.
Proc. 19th Int.  IEEE  Conference on  Advanced  Information Networking  and
Applications  (AINA'06), IEEE Computer Society Press, pp. 81-86, Vienna  (Austria), March 2006.
(With  A.  Mostefaoui,  S.   Rajsbaum,  C. Travers).

The committee decision  problem.
Proc. Latin American Theoretical Informatics Symposium (LATIN'06).
Springer Verlag LNCS 3887, pp. 502-514, March 2006.
(En collaboration avec  E. Gafni,  S. Rajsbaum  et C. Travers).

A hierarchical consensus protocol for mobile adhoc networks.
  roc. 14th   Euromicro  Int'l  Conference  on  Parallel,  Distributed  and Network-based Processing (PDP'06),  
IEEE Computer Society Press, pp. 64-71, Montbéliard-Sochaux (France),  February 2006.
 (With  W. Wu, J. Cao, J. Yang  (Hong-Kong)).

Abstractions for Implementing Atomic Objects in Distributed Systems.
Proc. 9th  Int'l Conference on Principles of Distributed Systems (OPODIS'05),
Springer Verlag LNCS 3974, pp. 73-87, Pisa (Italy), December 2005.
(With R. Friedman  and C. Travers).

A Note on a simple equivalence between round-based synchronous and asynchronous models.
11th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2005),
IEEE Computer Society Press, pp. 387-390, Changsha (Hunan), (China), December 2005.
(With M Roy).

Decision Optimal Early-stopping k-set agreement in synchronous systems prone to send omission failures.
11th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2005),
IEEE Computer Society Press, pp. 23-30, Changsha (Hunan), (China), December 2005.
(With P. Raipin Parvedy, C. Travers).

Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.
11th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2005),
IEEE Computer Society Press, pp. 15-22, Changsha (Hunan), (China), December 2005.
(With R. Friedman, A. Mostefaoui).

Fault-tolerant Techniques for Concurrent Objects.
Tutorial, 2nd Latin-American Symposium on Dependable Computing,
Springer Verlag LNCS \#3747, pp. 265, October 2005.
(With R. Guerraoui).

From Static Distributed Systems to Dynamic Systems.
24th IEEE Symposium on Reliable Distributed Systems (SRDS'05),
IEEE Computer Society Press, pp. 109-119, Orlando (FL), October 2005.
(With A. Mostefaoui, C. Travers, S. Peterson, A. El Abbadi, D. Agrawal).

The Combined Power of Conditions and Failure Detectors to Solve Asynchronous Set Agreement.
24th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing (PODC'05),
ACM Press, pp. 179-188, Las Vegas (NV), July 2005.
(With A. Mostefaoui, S. Rajsbaum).

Allowing atomic objects to coexist with sequentially consistent objects.
8th Int. Conference on Parallel Computing Technologies (PaCT'05),
Krasnoyarsk (Russia), Springer Verlag LNCS \#3606, pp. 59-73, Sept. 2005
(With M. Roy).

Early-stopping k-set agreement in synchronous systems prone to any number of process crashes.
8th Int. Conference on Parallel Computing Technologies (PaCT'05),
Krasnoyarsk (Russia), Springer Verlag LNCS \#3606, pp. 49-58, Sept. 2005.
(With P. Raipin Parvedy, C. Travers).

A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing.
Int. IEEE Conference on Dependable Systems and Networks (DSN'05),
IEEE Computer Society Press, pp. 412-421, Yokohama (Japan), June 2005.
(With S. Gorender, R. Macedo).

Building Responsive TMR-Based Servers in presence of Timing Constraints.
Proc. 8th Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05),
IEEE Computer Society Press, pp. 267-274, Seattle (W), May 2005.
(With P. Ezhilchelvan, J.-M. Helary).

Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users.
25th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'05),
IEEE Computer Society Press, pp. 209-218, Columbus (Ohio), June 2005.
(With M. Ahamad and Z. Zhan).

Building and Using Quorums Despite any Number of Process Crashes.
5th European Dependable Computing Conference (EDCC'05), Budapest (Hungary),
Springer-Verlag LNCS \#3463, pp. 2-19, (April 2005).
(With R. Friedman, A. Mostefaoui).

A simple protocol offering both atomic consistent read operations and sequentially consistent read operations.
18th Int. IEEE Conference on Advanced Information Networking and Applications (AINA'05),
IEEE Computer Society Press, pp. 961-966, Taipei (Taiwan), March 2005.
(With M. Roy, C. Tutu).

The Notion of Veto Number for Distributed Agreement Problems.
Keynote Speech. 6th International Workshop on Distributed Computing (IWDC'04),
Springer Verlag LNCS, pp. 315-325, Kolkata (India), December 2004.
(With R. Friedman, A. Mostefaoui).

Oracles pour la tolérance aux fautes dans les systèmes répartis.
Conférencier invité. 7ème Colloque Africain sur la Recherche Informatique (CARI'04), Hammamet (Tunisie), Novembre 2004.

On the Benefits of the Functional Modular Approach in Distributed Data Management Systems.
Invited paper. Proc. IEEE Workshop on Dependable Distributed Data Management (WDDDM'04, SRDS'04 satellite workshop),
IEEE Computer Society Press, pp. 1-6, Florianopolis (Brasil), October 2004.
(En collaboration avec R. Friedman).

A Methodological Construction of an Efficient Sequential Consistency Protocol.
Proc. 3rd IEEE Int. Symposium on Network Computing and Applications (NCA'04), IEEE Computer Society Press, pp. 141-148,
Kendall Square, Cambridge (MA), September 2004.
(With V. Cholvi, A. Fernandez, E. Jimenez).

The notion of veto number for distributed agreement problems. Keynote speech.
Proc. 6th Int. Workshop on Distributed Computing (IWDC'04), Springer Verlag LNCS, Kolkata (India), December 2004.
(with R. Friedman and A. Mostefaoui).

Crash-Resilient Time-free Eventual Leadership.
Proc. 23th IEEE Symposium on Reliable Distributed Systems (SRDS'04), IEEE Computer Society Press, pp. 208-2170, Florianopolis (Brasil), October 2004.
(with A. Mostefaoui and C. Travers).

Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.
Proc. 23th IEEE Symposium on Reliable Distributed Systems (SRDS'04), IEEE Computer Society Press, pp. 228-237, Florianopolis (Brasil), October 2004.
(with R. Friedman and A. Mostefaoui).

On the Respective Power of <> P and <> Sto Solve One-Shot Agreement Problems.
Proc. 18th Int. Symposium on DIStributed Computing (DISC'04), Springer Verlag LNCS, 3274, pp. 41-45, Amsterdam, October 2004. (Also Brief annoucement at PODC 2004).
(with R. Friedman and A. Mostefaoui).

The Synchronous Condition-Based Consensus Hierarchy.
Proc. 18th Int. Symposium on DIStributed Computing (DISC'04), Springer Verlag LNCS, 3274, pp. 1-15, Amsterdam, October 2004. (Also Brief annoucement at PODC 2004).
(with A. Mostefaoui, S. Rajsbaum).

Optimal Early Stopping Uniform Consensus in Synchronous Systems with Process Omission Failures".
16th ACM Symposium on Parallelism in Algorithmes and Architectures (SPAA'04), Barcelona (Spain), ACM Press, pp. 302-310, June 2004.
(With Ph. Raipin Parvedy).

A Hybrid Approach for Building Eventually Accurate Failure Detectors.
10th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2004), IEEE Computer Society Press, pp. 57-65, Papeete (Tahiti, France), March 2004.
(With A. Mostefaoui et D. Powell (laas)).

A Distributed Implementation of Sequential Consistency with Multi-Object Operations.
24th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'04), IEEE Computer Society Press, pp. 544-551, Tokyo (RI), March 2004.
(With K. Vidyasankar (Newfoundland, Canada)).

Using Conditions to Expedite Consensus in Synchronous Distributed Systems.
Proc. 17th Int. Symposium on DIStributed Computing (DISC'03), Springer Verlag LNCS #2848, pp. 249-263, Sorrento (Italy), Oct. 2003.
(With A. Mostefaoui, S. Rajsbaum).

The Renaming Problem as an Introduction to Structures for Wait-free Computing.
7th Int. Conference on Parallel Computing Technologies (PaCT'03), Springer Verlag LNCS #2763, pp. 151-164, Nizhni Novgorod (Russia), Sept.2003.

A Hierarchy of Conditions for Asynchronous Interactive Consistency.
7th Int. Conference on Parallel Computing Technologies (PaCT'03), Springer Verlag LNCS #2763, pp. 130-140, Nizhni Novgorod (Russia), Sept.2003.
(With A. Mostefaoui, S. Rajsbaum, M. Roy).

The Condition-based Approach in Distributed Computing. Invited speaker.
10th Int. Workshop on Expressiveness in Concurrency (Express'03), (Satellite Workshop of CONCUR'03), Electronic Notes in Theoretical Computer Science, Vol. 3, p. 79, Marseille, Septembre 2003.

Early Decision Despite General Process Omission Failures.
Brief Announcement. Proc. 22th ACM Symposium on Principles of Distributed Computing (PODC'03), p. 222, 2003, Boston (MA).
(With F. Le Fessant, Ph. Raipin Parvedy).

Evaluating the Condition-Based Approach to solve Consensus.
Int. IEEE Conference on Dependable Systems and Networks (DSN'03), (Track : Performance and Dependability Symposium (IPDS)), IEEE Computer Society Press, pp. 541-550, San Francisco (CA), June 2003.
(With A. Mostefaoui, E. Mourgaya, Ph. Raipin Parvedy).

Asynchronous Implementation of Failure Detectors.
Int. IEEE Conference on Dependable Systems and Networks (DSN'03), (Track : Dependable Computing and Communications Symposium), IEEE Computer Society Press, pp. 351-360, San Francisco (CA), June 2003.
(With A. Mostefaoui, E. Mourgaya).

Anonymous Publish/Subscribe in Peer-to-Peer Network Systems.
Proc. IEEE Int. Parallel and Distributed Processing Symposium (IPDPS'03),IEEE Computer Society Press, April 2003, Nice (France).
(With A. Datta, M. Gradinariu, G. Simon).

Nested Invocation Protocol on Object-based Systems.
Proc. 6th Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), IEEE Computer Society Press, Hakodate (Hokkaido), Japan, May 2003.
(With Hori K., Enokido T. and Takizawa M. (Tokyo)).

Looking for a common view for mobile worlds.
9th IEEE Conference on Future Trends of Distributed Computing Systems (FT DCS'03). IEEE Computer Society Press, pp. 159-165, Porto Rico, May 2003.
(With M. Gradinariu and G. Simon).

Elastic Vector Time.
23th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'03), IEEE Computer Society Press, pp. 284-291, Providence (RI), May 2003.
(With C. Fetzer).

A Generic Framework for Indulgent Consensus.
23th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'03), IEEE Computer Society Press, pp. 88-97, Providence (RI), May 2003.
(With R. Guerraoui).

Uniform Agreement despite Process Omission failures. Invited Paper. Proc. Int. Workshop on Fault-Tolerant Parallel and Distributed Systems, (in conjunction with the Int. IEEE Conf. on Parallel and Distributed Processing Symposium (IPDPS'03), IEEE Computer Society Press, Nice (France), April 2003.
(With Ph. Raipin Parvedy).

Token-Based Sequential Consistency in Asynchronous Distributed Systems.
17th Int. IEEE Conference on Advanced Information Networking and Applications (AINA'03), IEEE Computer Society Press, pp. 421-427, Xi'an (China), March 2003.

Reliable Compare & Swap for Fault-Tolerant Synchronization.
Invited paper. 8th Int. IEEE Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'2003), IEEE Computer Society Press, pp. 50-55, Guadalaraja (Mexico), January 2003.

An Optimal Atomic Broadcast Protocol and Implementation Framework.
8th Int. IEEE Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'2003), IEEE Computer Society Press, pp. 32-39, Guadalaraja (Mexico), January 2003.
(With P. Ezhilchelvan).

Consensus in Synchronous Systems: a Concise Guided Tour.
9th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2002), IEEE Computer Society Press, pp. 221-228, Tsukuba (Japan), December 2002.

An Introduction to the Renaming Problem.
9th IEEE Pacific Rim Int. Symposium on Dependable Computing (PRDC'2002), IEEE Computer Society Press, pp. 121-124, Tsukuba (Japan), December 2002.

Sequential Consistency as Lazy Linearizability.
Proc. First Eurasia ICT-2002 : Information and Communication Technology, Springer Verlag LNCS 2510, pp. 866-873, Shiraz (Iran), Oct. 2002.

Condition-Based Protocols for Set Agreement Problems.
Proc. 16th Int. Symposium on DIStributed Computing (DISC'02), Springer Verlag LNCS 2508, pp. 48-62, Toulouse, Oct. 2002.
(With A. Mostefaoui, S. Rajsbaum, M. Roy).

The Lords of the Rings : Efficient Maintenance of Views at Data Warehouses.
Proc. 16th Int. Symposium on DIStributed Computing (DISC'02), Springer Verlag LNCS 2508, pp. 33-47, Toulouse, Oct. 2002.
(With A. Mostefaoui, M. Roy, A. El Abbadi, D. Agrawal).

Asynchronous Distributed Agreement and its Relation with Error Correcting Codes.
Proc. 16th Int. Symposium on DIStributed Computing (DISC'02), Springer Verlag LNCS 2508, pp. 63-87, Toulouse, Oct. 2002.
(With R. Friedman, A. Mostefaoui, S. Rajsbaum).

Tracking Immediate Predecessors in Distributed Computations.
14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp. 210-219, Winnipeg (Canada), August 2002.
(With E. Anceaume, J.M. Hélary).

Using Error-Correcting Codes to Solve Distributed Agreement Problems : a Future Direction in Distributed Computing?
In Future Directions in Distributed Computing (FuDiCo), Springer Verlag LNCS 2584, pp. 17-21, Bertinoro (Italy), June 2002.
(With R. Friedman, A. Mostefaoui, S. Rasjbaum).

Sequential Consistency as Lazy Linearizability. Short paper,
14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp. 151-152, Winnipeg (Canada), August 2002.

Asynchronous Interactive Consistency and its Relation with Error Correcting Codes.
Brief Announcement. Proc. 21th ACM Symposium on Principles of Distributed Computing (PODC'02), p. 253, 2002, Monterey, CA.
(With A. Mostefaoui, S. Rajsbaum).

Building responsive TMR-based servers in presence of timing constraints.
Brief Announcement. Proc. 21th ACM Symposium on Principles of Distributed Computing (PODC'02), p. 127, 2002, Monterey, CA.
(With P. Ezhilchelvan - University of Newcastle, UK, and J.M. Hélary).

Efficient maintenance of views at data wharehouses.
Brief Announcement. Proc. 21th ACM Symposium on Principles of Distributed Computing (PODC'02), p. 129, 2002, Monterey, CA.
(With A. Mostefaoui, M. Roy and D. Agrawal, A. El Abbadi, Santa Barbara University).

Early stopping in global data computation.
Brief Announcement. Proc. 21th ACM Symposium on Principles of Distributed Computing (PODC'02), p. 258, 2002, Monterey, CA.
(With C. Delporte-Gallet, H. Fauconnier, J.M. Hélary).

Ordering Timeliness : two Facets of Consistency?
In Future Directions in Distributed Computing (FuDiCo), Springer Verlag LNCS 2584, pp. 73-77, Bertinoro (Italy), June 2002.
(With M. Ahamad).

A Versatile and Modular Consensus Protocol.
Int. IEEE/IFIP Conf. on Dependable Systems and Networks (DSN'02), (previously, FTCS), Washington DC, pp. 364-373, June 2002.
(With A. Mostefaoui, S. Rajsbaum).

Wait-Free Objects for Real-Time Systems (Position paper).
Proc. 5th Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), pp. 413-420, Washington DC, April 2002.

Approximate Real-Time Clocks for Scheduled Events.
Proc. 5th Int. IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), pp. 53-61, Washington DC, April 2002.
(With C. Fetzer).