ASAP – As Scalable As Possible

A more detailed web page

Short biography

Michel Raynal has been a professor of computer science since 1981. At Inria, he founded a research group on Distributed Algorithms in 1983. He has been Principal Investigator of a number of research grants in these areas, and has been invited by many universities all over the world to give lectures and tutorials on distributed algorithms and fault-tolerant distributed computing systems. He belongs to the editorial board of several international journals. Professor Michel Raynal has published more than 95 papers in journals and more than 195 papers in conferences. He has also written seven books devoted to parallelism, distributed algorithms and systems (MIT Press and Wiley).

Research interests

Selected publications

Publications list

Book / Book chapters

• Michel Raynal. Concurrent Programming: Algorithms, Principles, and Foundations. Springer, pp.I-XXXII, 1-515, 2013, 978-3-642-32027-9.

• Michel Raynal. Distributed Algorithms for Message-Passing Systems. Springer, pp.I-XXX, 1-500, 2013, 978-3-642-38123-2.

• Anne Benoit, Vangelis Paschos, Michel Raynal, Yves Robert, Denis Trystram. Ressources informatiques : encore une histoire de temps !. unknown editor. Les Ressources, Institut Universitaire de France, pp.225-243, 2011, Les colloques de l'IUF.

• Michel Raynal. Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems. Morgan & Claypool Publishers. Morgan & Claypool Publishers, 251 p., 2010, 978-1-60845-293-4.

• Michel Raynal. Fault-Tolerant Agreement in Synchronous Message-Passing Systems. Morgan & Claypool Publishers. Morgan & Claypool Publishers, 165 p., 2010, 978-1-60845-525-6.

Transaction and Journal

• Armando Castañeda, Carole Delporte-Gallet, · Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal. Making Local Algorithms Wait-Free: the Case of Ring Coloring.Theory of Computing Systems, Springer Verlag, 2019, pp.344--365. ⟨10.1007/s00224-017-9772-y⟩.

• Achour Mostefaoui, Michel Raynal. Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with t .Acta Informatica, Springer Verlag, 2017, 54 (5), pp.501 - 520. ⟨10.1007/s00236-016-0269-y⟩.

• Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. From wait-free to arbitrary concurrent solo executions in colorless distributed computing.Theoretical Computer Science, Elsevier, 2017, 683, pp.1 - 21. ⟨10.1016/j.tcs.2017.04.007⟩.

• Achour Mostefaoui, Matoula Petrolia, Michel Raynal, Claude Jard. Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems.Theory of Computing Systems, Springer Verlag, 2017, 60 (4), pp.677 - 694. ⟨10.1007/s00224-016-9699-8⟩.

• Christian Fernández-Campusano, Mikel Larrea, Roberto Cortiñas, Michel Raynal. A distributed leader election algorithm in crash-recovery and omissive systems.Information Processing Letters, Elsevier, 2017, 118, pp.100 - 104. ⟨10.1016/j.ipl.2016.10.007⟩.

• Michel Raynal. Distributed Universal Constructions: a Guided Tour.Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2017, 121, pp.1-34.

• Achour Mostéfaoui, Michel Raynal. Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, 27 (4), pp.1-24. ⟨10.1109/TPDS.2015.2427797⟩.

• Achour Mostéfaoui, Hamouma Moumen, Michel Raynal. Signature-Free Asynchronous Binary Byzantine Consensus with t$.Journal of the ACM (JACM), Association for Computing Machinery, 2015, 62, pp.1000-1020. ⟨10.1145/2785953⟩.

• Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec, Michel Raynal, Julien Stainer. Trust-Aware Peer Sampling: Performance and Privacy Tradeoffs.Theoretical Computer Science, Elsevier, 2013.

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient read/write partial snapshot.Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (1), pp.1-12.

• Michel Raynal, François Bonnet. On the road to the Weakest Failure Detector for $k$-Set Agreement in Message-passing Systems.Theoretical Computer Science, Elsevier, 2011, 412 (33), pp.4273-4284.

• Michel Raynal, Roberto Baldoni, Silvia Bonomi. Implementing a Regular Register in an Eventually Synchronous Distributed System prone to Continuous Churn.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2011.

• Damien Imbs, Michel Raynal. Software transactional memories: an approach for multicore programming.Journal of Supercomputing, Springer Verlag, 2011, 57 (2), pp.203-215.

• Damien Imbs, Michel Raynal. A liveness condition for concurrent objects: x-wait-freedom.Concurrency and Computation: Practice and Experience, Wiley, 2011, 23 (17), pp.2154-2166.

• Michel Raynal, François Bonnet. The Price of Anonymity: Optimal Consensus despite Asynchrony, Crash and Anonymity.ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (4).

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement: Relationship, algorithms and lower bound.Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.58-69. ⟨10.1016/j.tcs.2009.09.002⟩.

• Antonio Fernández, Michel Raynal. From an Asynchronous Intermittent Rotating Star to an Eventual Leader.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, pp.1290-1303.

• François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems.Information Processing Letters, Elsevier, 2010, 110 (4).

• Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The k-simultaneous consensus problem.Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩.

• Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal. Eventual Leader election with weak assumptions on initial knowledge, communication reliability and synchrony..Springer-Verlag Journal of Computer Science and Technology (JCST), Springer, 2010, 25 (6), pp.1267-1281.

• Philippe Raipin Parvédy, Michel Raynal, Corentin Travers. Strongly Terminating Early-Stopping ıt k-Set Agreement in Synchronous Systems with General Omission Failures.Theory Comput. Syst., Springer, 2010, 47 (1), pp.259-287.

• Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Pilar Manzano, Michel Raynal. A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory.The Computer Journal, Oxford University Press (UK), 2010, 53 (9), pp.1523-1534. ⟨10.1093/comjnl/bxp090⟩.

• Achour Mostefaoui, Michel Raynal, Gilles Trédan. On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, 20 (6), pp.778-787.

• Eli Gafni, Achour Mostefaoui, Michel Raynal, Corentin Travers. From adaptive renaming to set agreement.Theoretical Computer Science, Elsevier, 2009, 410 (14), pp.1328-1335.

• Jiannong Cao, Michel Raynal, Weigang Wu. Eventual Clusterer: a Modular Approach to Designing Hierarchical Consensus Protocols in MANETs.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, ⟨10.1109/TPDS.2008.266⟩.

• Damien Imbs, Michel Raynal. A note on atomicity: boosting Test&Set to solve Consensus.Information Processing Letters, Elsevier, 2009, ⟨10.1016/j.ipl.2009.02.004⟩.

• Y. Moses, Michel Raynal. Revisiting Simultaneous Consensus with Crash Failures.Journal of Parallel and Distributed Computing, Elsevier, 2009, ⟨10.1016/j.jpdc.2009.01.001⟩.

• François Bonnet, Michel Raynal. Conditions for set agreement with an application to synchronous systems.Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2009, ⟨10.1007/s11390-009-9234-3⟩.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. On the computability power and the robustness of set agreement-oriented failure detector classes.Distributed Computing, Springer Verlag, 2008, 21 (3), pp.201-222.

• Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal. Anonymous graph exploration without collision by mobile robots.Information Processing Letters, Elsevier, 2008, ⟨10.1016/j.ipl.2008.08.011⟩.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2008, 38 (4), pp.1574-1601.

• Philippe Raïpin-Parvédy, Michel Raynal, Corentin Travers. Strongly Terminating Early-Stopping k-set Agreement in Synchronous Systems with General Omission Failures.Theory of Computing Systems, Springer Verlag, 2008, ⟨10.1007/s00224-008-9157-3⟩.

• Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan. A Timing Assumption and two $t$-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.Algorithmica, Springer Verlag, 2008, ⟨10.1007/s00453-008-9190-2⟩.

• Roy Friedman, Achour Mostefaoui, Michel Raynal. On the Respective Power of *P and *S to Solve One-Shot Agreement Problems.IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2007, 18 (5), pp.589-597.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation.Journal of Parallel and Distributed Computing, Elsevier, 2007, 67 (1), pp.125-129.

• Achour Mostefaoui, Roy Friedman, Michel Raynal, Sergio Rajsbaum. Asynchronous Agreement and Its Relation with Error-Correcting Codes.IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2007, 56 (7), pp.865-875.

Conferences

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩.

• Armando Castañeda, Michel Raynal, Sergio Rajsbaum. Long-Lived Tasks. NETYS 2017 - 5th International Conference on NETworked sYStems, May 2017, Marrakech, Morocco. pp.439-454, ⟨10.1007/978-3-319-59647-1_32⟩.

• Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy. Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩.

• Abdelmadjid Bouabdallah, Hicham Lakhlef, Michel Raynal, François Taïani. Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks. AINA 2017 - 31st IEEE International Conference on Advanced Information Networking and Applications, Mar 2017, Taipei, Taiwan. pp.399-406, ⟨10.1109/AINA.2017.39⟩.

• Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Sergio Rajsbaum. Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems.. Algorithms and Architectures for Parallel Processing ( ICA3PP), Dec 2016, Granada, France. pp.15.

• Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal. Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS, Nov 2016, Lyon, France. pp.16.

• Hicham Lakhlef, Davide Frey, Michel Raynal. Optimal Collision/Conflict-Free Distance-2 Coloring in Wireless Synchronous Broadcast/Receive Tree Networks. 45th International Conference on Parallel Processing, Aug 2016, Philadelphia, PA, United States. ⟨10.1109/ICPP.2016.47⟩.

• Achour Mostefaoui, Michel Raynal. Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. The 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.381-389.

• Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Sergio Rajsbaum. t-Resilient Immediate Snapshot Is Impossible.. SIROCCO, Jul 2016, Helsiinki, France. pp.15.

• Michel Raynal. A Look at Basics of Distributed Computing *. EEE ICDCS 2016 - 36th International Conference on Distributed Computing Systems, Jun 2016, Nara, Japan.

• Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. The 4th International Conference on Networked Systems, May 2016, Marrakech, Morocco. pp.250-265.

• Achour Mostefaoui, Hamouma Moumen, Michel Raynal. Modular randomized byzantine k-set agreement in asynchronous message-passing systems. The 17th International Conference on Distributed Computing and Networking (ICDCN'16), Jan 2016, Singapore, Singapore. pp.1-10.

• Zohir Bouzid, Michel Raynal, Pierre Sutra. Brief Announcement: Anonymous Obstruction-free (n, k)-Set Agreement with n−k+1 Atomic Read/Write Registers. DISC 2015, Toshimitsu Masuzawa, Oct 2015, Tokyo, Japan.

• Armando Castañeda, Sergio Rajsbaum, Michel Raynal. Specifying Concurrent Problems: Beyond Linearizability and up to Tasks. DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_28⟩.

• Zohir Bouzid, Achour Mostéfaoui, Michel Raynal. Minimal Synchrony for Byzantine Consensus. Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), Jul 2015, Donostia-San Sebastián, Spain. pp.461-470, ⟨10.1145/2767386.2767418⟩.

• Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal. Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. ACM PODC 2015 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, Jul 2015, New York, United States. pp.471-479.

• Achour Mostéfaoui, Michel Raynal. Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t . 22nd International Colloquium on Structural Information & Communication Complexity (SIROCCO'15), Jul 2015, Montserrat, Spain.

• Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal. Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. 33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18 ⟩.

• Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal. An Exercise in Concurrency: From Non-blocking Objects to Fair Objects. International Conference on Network-Based Information Systems( NBiS 2014), Sep 2014, Salerne, Italy.

• Achour Mostefaoui, Moumen Hamouna, Michel Raynal. Signature-Free Asynchronous Byzantine Consensus with $t . ACM PODC, Jul 2014, Paris, France. pp.2-9.

• Michel Raynal, Julien Stainer, Gadi Taubenfeld. Distributed Universality. Principles of Distributed Systems, 2014, Cortina d’Ampezzo, Italy. pp.469-484, ⟨10.1007/978-3-319-14472-6_31⟩.

• Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Computing in the Presence of Concurrent Solo Executions. LATIN 2014: Theoretical Informatics, 2014, Montevideo, Uruguay. pp.214-225, ⟨10.1007/978-3-642-54423-1_19⟩.

• Michel Raynal, Julien Stainer, Jiannong Cao, Weigang Wu. A Simple Broadcast Algorithm for Recurrent Dynamic Systems. Advanced Information Networking and Applications (AINA), 2014, Victoria, BC, Canada. pp.933 - 939, ⟨10.1109/AINA.2014.115⟩.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. Structural Information and Communication Complexity, 2014, Hida Takayama, Japan. pp.37-53, ⟨10.1007/978-3-319-09620-9_5⟩.

• Michel Raynal, Julien Stainer, Gadi Taubenfeld. Brief announcement: distributed universality: contention-awareness; wait-freedom; object progress, and other properties. Proceedings of the 2014 ACM symposium on Principles of distributed computing, 2014, Paris, France. pp.206-208, ⟨10.1145/2611462.2611503⟩.

• François Taïani, Barry Porter, Geoff Coulson, Michel Raynal. Cliff-Edge Consensus: Agreeing on the Precipice. 12th International Conference on Parallel Computing Technologies (PaCT-2013), Sep 2013, St. Petersburg, Russia. pp.51-64, ⟨10.1007/978-3-642-39958-9_5⟩.

• Michel Raynal, Julien Stainer. Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors. PODC, Jul 2013, Montréal, Canada. pp.166-175, ⟨10.1145/2484239.2484249⟩.

• Michel Raynal, Julien Stainer. Simultaneous Consensus vs Set Agreement: A Message-Passing-Sensitive Hierarchy of Agreement Problems. SIROCCO, Jul 2013, Ischia, Italy. pp.298-309, ⟨10.1007/978-3-319-03578-9_25⟩.

• Julien Bourgeois, Jiannong Cao, Michel Raynal, Dominique Dhoutaut, Jean Piranda, Eugen Dedu, Ahmed Mostefaoui, Hakim Mabed. Coordination and Computation in distributed intelligent MEMS. AINA 2013, 27th IEEE Int. Conf. on Advanced Information Networking and Applications, Jan 2013, Spain. pp.118--123.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. 11th IEEE International Symposium on Network Computing and Applications (NCA 2012), Aug 2012, Cambridge, United States. ⟨10.1109/NCA.2012.19⟩.

• Michel Raynal, Julien Stainer. A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets. CISIS 2012 - Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, 2012, Palerme, Italy. pp.357-364.

• Michel Raynal, Julien Stainer. Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors. SIROCCO - Structural Information and Communication Complexity - 19th International Colloquium - 2012, 2012, Reykjavik, Iceland. pp.231-242.

• Michel Raynal, Julien Stainer. From a Store-Collect Object and Ω to Efficient Asynchronous Consensus. Euro-Par - Parallel Processing - 18th International Conference - 2012, 2012, Rhodes Island, Greece. pp.427-438.

• Tyler Crain, Eleni Kanellou, Michel Raynal. STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. Algorithms and Architectures for Parallel Processing - 12th International Conference, ICA3PP 2012, 2012, Fukuoka, Japan.

• Tyler Crain, Vincent Gramoli, Michel Raynal. A speculation-friendly binary search tree. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, 2012, New Orleans, United States.

• Tyler Crain, Vincent Gramoli, Michel Raynal. Brief Announcement: A Contention-Friendly, Non-blocking Skip List. Distributed Computing - 26th International Symposium, DISC 2012, 2012, Salvador, Brazil.

• Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs. 13th International Conference on Distributed Computing and Networking (ICDCN'12), 2012, Hong Kong, Hong Kong SAR China.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.341-355.

• Maria Gradinariu Potop-Butucaru, Michel Raynal, Sébastien Tixeuil. Distributed Computing with Mobile Robots: an Introductory Survey. NBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩.

• Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects. 11th International Conference on Parallel Computing Technologies (PaCT'11), Sep 2011, Kazan, Russia. pp.74-87.

• Michel Raynal, Sergio Rajsbaum. A Survey on Some Recent Advances in Shared Memory Models. Proc. 18th Int'l Colloquium on Structural Information and Communication Complexity (SIROCCO'11), Jun 2011, Gdansk, Poland.

• Michel Raynal, Sergio Rajsbaum. A Theory-Oriented Introduction to Wait-free Synchronization Based on the adaptive Renaming Problem. IEEE 25th Int'l Conference on Advanced Information Networking and Applications (AINA'11), Mar 2011, Singapour, Singapore.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Symmetric Synchrony Condition for Solving Byzantine Consensus. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Jan 2011, Bangalore, India. pp.215-226.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. 12th International Conference on Distributed Computing and Networking (ICDCN'11), Jan 2011, Bangalore, India. pp.215-226.

• Tyler Crain, Damien Imbs, Michel Raynal. Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11), 2011, Melbourne, Australia. pp.244-257.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal. The Universe of Symmetry Breaking Tasks. 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), 2011, Gdansk, Poland. pp.66-77.

• Damien Imbs, Michel Raynal. The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. Proc. 13th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'11), 2011, Grenoble, France. pp.268-282.

• Damien Imbs, Michel Raynal. A Simple Snapshot Algorithm for Multicore Systems. 5th Latin-American Symposium on Dependable Computing (LADC'11), 2011, São José dos Campos, Brazil. pp.17-24.

• Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance. 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), Dec 2010, Tozeur, Tunisia. pp.143-159.

• Silvia Bonomi, Roberto Baldoni, Michel Raynal. Value-based Sequential Consistency for Set Objects in Dynamic Distributed Systems. Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10),, Sep 2010, Ischia - Naples, Italy. pp.523-534.

• Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. pp.55-64.

• Damien Imbs, Michel Raynal. The Multiplicative Power of Consensus Numbers.. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. pp.26-35.

• Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal. D2HT: the best of both worlds, Integrating RPS and DHT. European Dependable Computing Conference, Apr 2010, Valencia, Spain.

• François Bonnet, Michel Raynal. Early Consensus in Message-passing Systems Enriched with a Perfect Failure Detector and its Application in the Theta Model. The 8th European Dependable Computing Conference (EDCC 2010), Apr 2010, Valence, Spain.

• François Bonnet, Michel Raynal. Consensus in Anonymous Distributed Systems: Is There aWeakest Failure Detector?. The 24th International Conference on Advanced Information Networking and Applications (AINA 2010), Apr 2010, Perth, Australia.

• François Bonnet, Michel Raynal. Anonymous Asynchronous Systems: the Case of Failure Detectors. Proc. 24th Int'l Symposium on Distributed Computing (DISC'10), 2010, Cambridge (MA), United States. pp.206-220.

• Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition. Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10), 2010, Ischia - Naples, Italy. pp.584-595.

• Damien Imbs, Michel Raynal. On Adaptive Renaming under Eventually Limited Contention. Proc. 12th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), 2010, New York, United States. pp.377-387.

• Damien Imbs, Michel Raynal. Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, lyon, France. ⟨10.1007/978-3-642-05118-0_26⟩.

• Roberto Baldoni, Silvia Bonomi, Michel Raynal. Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. 7th Workshop on Software Technologies for Future Embedded and Ubiquitous Computing Systems (SEUS'09), Nov 2009, Newport Beach, United States. ⟨10.1007/978-3-642-10265-3_9⟩.

• François Bonnet, Michel Raynal. Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is PkΠk the End of the Road?. 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. ⟨10.1007/978-3-642-05118-0_11⟩.

• Michel Raynal. How to implement a shared memory in a dynamic system? Which are the constraints?. International Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS'09), Sep 2009, Elche, Spain.

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient Read/Write Partial Snapshot. 23rd International Symposium on Distributed Computing (DISC'09), Sep 2009, Elche, Spain. ⟨10.1007/978-3-642-04355-0_16⟩.

• François Bonnet, Michel Raynal. The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity. 23rd International Symposium on Distributed Computing., Sep 2009, Elche, Spain.

• Damien Imbs, Michel Raynal. Software Transactional Memories: an Approach for Multicore Programming. 10th International Conference on Parallel Computing Technologies (PaCT'09), Aug 2009, Novosibirsk, Russia. ⟨10.1007/978-3-642-03275-2_4⟩.

• Michel Raynal. Software Transactional Memory: What? Why? How? A New Challenge?. Franco-Brazilian Colloquium on Advances and Challenges in Computer Science (COLIBRI'09), Jul 2009, Bento Goncalves, Brazil.

• Raimundo Macêdo, Michel Raynal. Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. Franco-Brazilian Colloquium on Advances and Challenges in Computer Science (COLIBRI'09), Jul 2009, Bento Goncalves, Brazil.

• Damien Imbs, Michel Raynal. A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition. 16th Colloquium on Structural Information and Communication Complexity (SIROCCO'09), May 2009, Piran, Slovenia.

• Roberto Baldoni, Silvia Bonomi, Michel Raynal. Regular Register: an Implementation in a Churn Prone Environment. 16th Colloquium on Structural Information and Communication Complexity (SIROCCO'09), May 2009, Piran, Slovenia.

• Michel Raynal. Shared Memory Synchronization in Presence of Failures: an Exercise-based Introduction for the Sophomore. International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09), Mar 2009, Fukuoka, Japan. ⟨10.1109/CISIS.2009.14⟩.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. Large-scale networked systems: from anarchy to geometric self-structuring. 10th International Conference on Distributed Computing and Networking (ICDCN), Jan 2009, Hyderabad, India. pp.: 25-36.

• Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. International Conference on Distributed Computing and Networking (ICDCN'09), Jan 2009, Hyderabad, India. ⟨10.1007/978-3-540-92295-7_11⟩.

• Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal. Implementing a Register in a Dynamic Distributed System.. International Conference on Distributed Computing Systems (ICDCS), 2009, Montreal, Canada.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Carneiro Viana. (BA) From Anarchy to Geometric Structuring: the Power of Virtual Coordinates. Proceedings of ACM Sigact-Sigops Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing Power vs. Efficiency in Synchronous Set Agreement. 9th International Conference on Distributed Computing and Networking, Jan 2008, Kolkata, India. pp.99-111.

• François Bonnet, Michel Raynal. Conditions for Set Agreement with an Application to Synchronous Systems. ICDCS, 2008, Beijing, China. ⟨10.1109/ICDCS.2008.13⟩.

• Vincent Gramoli, Michel Raynal. Timed Quorum System for Large-Scale and Dynamic Environments. 11th International Conference On Principles Of Distributed Systems, Dec 2007, Pointe à Pitre, Guadeloupe. pp.429--442.

• Antonio Fernández, Vincent Gramoli, Ernesto Jimenez, Anne-Marie Kermarrec, Michel Raynal. Distributed Slicing in Dynamic Systems. The 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.66.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. From Renaming to Set Agreement. 14th International Colloquium on Structural Information and Communication Complexity, Jun 2007, Castiglioncello, Italy. pp.66-80.

• Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Persistance de noyau dans les systèmes dynamiques à grande échelle. 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.59-62.

• François Bonnet, Anne-Marie Kermarrec, Michel Raynal. Small-World Networks: From Theoretical Bounds to Practical Systems.. OPODIS, 2007, Guadeloupe, France. pp.372-385, ⟨10.1007/978-3-540-77096-1_27⟩.

• Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Bruno Sericola. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. pp.1470--1479.

Technical Reports

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits.[Research Report] LIF, Université Aix-Marseille; LINA-University of Nantes; IMDEA Software Institute; Institut Universitaire de France; IRISA, Université de Rennes. 2017.

• Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version).[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017.

• Michel Raynal. Distributed Universal Constructions: a Guided Tour.[Research Report] 2040, IRISA. 2016, pp.23.

• Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems.[Research Report] IRISA. 2016, pp.14.

• Hicham Lakhlef, Michel Raynal, François Taïani. Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks.[Research Report] 2035, IRISA; Université de Rennes 1. 2016, pp.23.

• Davide Frey, Hicham Lakhlef, Michel Raynal. Optimal Collision/Conflict-free Distance-2 Coloring in Synchronous Broadcast/Receive Tree Networks.[Research Report] 2030, IRISA, Inria Rennes. 2015, pp.19.

• Davide Frey, Roy Friedman, Achour Mostefaoui, Matthieu Perrin, Michel Raynal, François Taïani. D.1.2 – Modular quasi-causal data structures.[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015.

• Zohir Bouzid, Michel Raynal, Pierre Sutra. Anonymous Obstruction-free $(n,k)$-Set Agreement with $n-k+1$ Atomic Read/Write Registers.[Research Report] 2027, univzrité de rennes 1. 2015, pp.18.

• Roy Friedman, Michel Raynal, François Taïani. Fisheye Consistency: Keeping Data in Synch in a Georeplicated World.[Research Report] 2022, IRISA. 2014.

• Michel Raynal, Julien Stainer, Gadi Taubenfeld. Distributed Universality: Contention-Awareness, Wait-freedom, Object Progress, and Other Properties.[Research Report] PI-2014, 2014.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Reliable Shared Memory Abstractions on Top of Asynchronous t-Resilient Byzantine Message-passing Systems.[Research Report] PI-2018, 2014.

• Michel Raynal, Julien Stainer, Jiannong Cao, Weigang Wu. A Simple Broadcast Algorithm for Recurrent Dynamic Systems.[Research Report] PI-2008, 2013.

• Sergio Rajsbaum, Michel Raynal. An Introductory Tutorial to Concurrency-Related Distributed Recursion.[Research Report] PI 2006, 2013, pp.14.

• Corentin Travers, Sergio Rajsbaum, Michel Raynal. The Iterated Restricted Immediate Snapshot Model.[Research Report] PI-2005, 2013.

• Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Computing in the Presence of Concurrent Solo Executions.[Research Report] PI-2004, 2013.

• Michel Raynal, Julien Stainer. Round-based Synchrony Weakened by Message Adversaries vs Asynchrony Enriched with Failure Detectors.[Research Report] PI-2002, 2013.

• Michel Raynal, Julien Stainer. Simultaneous Consensus vs Set Agreement a Message-Passing Sensitive Hierarchy of Agreement Problems.[Research Report] PI-2003, 2013.

• Tyler Crain, Vincent Gramoli, Michel Raynal. A Contention-Friendly, Non-Blocking Skip List.[Research Report] RR-7969, INRIA. 2012.

• Tyler Crain, Eleni Kanellou, Michel Raynal. STM systems: Enforcing strong isolation between transactions and non-transactional code.[Research Report] RR-7970, INRIA. 2012.

• Michel Raynal, Julien Stainer. Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors.[Research Report] PI-1991, 2012.

• Tyler Crain, Vincent Gramoli, Michel Raynal. A Contention-Friendly Methodology for Search Structures.[Research Report] 2012.

• Michel Raynal, Julien Stainer. From a Store-collect Object and Ω to Efficient Asynchronous Consensus.[Research Report] PI-1987, 2011.

• Tyler Crain, Vincent Gramoli, Michel Raynal. A Speculation-Friendly Binary Search Tree.[Research Report] PI-1984, 2011, pp.21.

• Itziar Arrieta, Federico Fariña, José de Mendívil, Michel Raynal. Leader Election : from higham-przytycka's algorithm to a gracefully degrading algorithm.[Research Report] PI-1980, 2011, pp.9.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Chasing the Weakest Failure Detector for k-Set Agreement in Message-passing Systems.[Research Report] PI-1981, 2011, pp.15.

• Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal. Enriching the reduction map of sub-consensus tasks.[Research Report] PI-1976, 2011, pp.14.

• Sergio Rajsbaum, Michel Raynal. Power and limits of distributed computing shared memory models.[Research Report] PI-1974, 2011, pp.15.

• Damien Imbs, Michel Raynal. The weakest failure detector to implement a register in asynchronous systems with hybrid communication.[Research Report] PI-1972, 2011, pp.11.

• Achour Mostefaoui, Michel Raynal, Julien Stainer. Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.[Research Report] PI-1973, 2011, pp.13.

• Achour Mostefaoui, Michel Raynal. Looking for Efficient Implementations of Concurrent Objects.[Research Report] PI-1969, 2011, pp.10.

• Michel Raynal. On the Implementation of Concurrent Objects.[Research Report] PI-1968, 2011, pp.22.

• Tyler Crain, Damien Imbs, Michel Raynal. Towards a universal construction for transaction-based multiprocess programs.[Research Report] PI-1971, 2011, pp.16.

• Damien Imbs, Sergio Rajsbaum, Michel Raynal. The Universe of Symmetry Breaking Tasks.[Research Report] PI-1965, 2011, pp.16.

• Mikel Larrea, Michel Raynal. Specifying and Implementing an Eventual Leader Service for Dynamic Systems.[Research Report] PI 1962, 2010, pp.8.

• Armando Castañeda, Sergio Rajsbaum, Michel Raynal. The Renaming Problem in Shared Memory Systems: an Introduction.[Research Report] PI-1960, 2010, pp.29.

• Michel Raynal. Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results.[Research Report] PI-1959, 2010.

• Tyler Crain, Damien Imbs, Michel Raynal. Read invisibility, virtual world consistency and permissiveness are compatible.[Research Report] PI-1958, 2010, pp.21.

• Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus.[Research Report] PI 1954, 2010, pp.8.

• Damien Imbs, Michel Raynal. A Simple Snapshot Algorithm for Multicore Systems.[Research Report] PI 1955, 2010.

• Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.[Research Report] PI-1953, 2010, pp.15.

• Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions.[Research Report] PI-1952, 2010, pp.15.

• François Bonnet, Michel Raynal. Anonymous Asynchronous Systems: The Case of Failure Detectors.[Research Report] PI 1945, 2010, pp.16.

• Damien Imbs, Michel Raynal. The Multiplicative Power of Consensus Numbers.[Research Report] PI 1949, 2010, pp.17.

• Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition.[Research Report] PI 1944, 2010, pp.11.

• Damien Imbs, Michel Raynal. Visiting Gafni's Reduction Land: from the BG Simulation to the Extended BG Simulation.[Research Report] PI 1931, 2009, pp.12.

• François Bonnet, Michel Raynal. Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?.[Research Report] PI 1938, 2009, pp.11.

• Damien Imbs, Michel Raynal. A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition.[Research Report] PI 1923, 2009, pp.23.

• François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems.[Research Report] PI 1932, 2009, pp.8.

• François Bonnet, Michel Raynal. Early Consensus in Message-passing Systems Enriched with a Perfect Failure Detector and its Application in the Theta Model.[Research Report] PI 1937, 2009, pp.13.

• François Bonnet, Michel Raynal. Looking for the Weakest Failure Detector for $k$-Set Agreement in Message-passing Systems: Is $\Pi_k$ the End of the Road?.[Research Report] PI 1929, 2009, pp.13.

• Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The k-simultaneous consensus problem.[Research Report] PI 1920, 2009, pp.17.

• Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement.[Research Report] PI 1897, 2008, pp.30.

• Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient Read/Write Partial Snapshot.[Research Report] PI 1907, 2008, pp.26.

• Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal. Anonymous Graph Exploration without Collision by Mobile Robots.[Research Report] PI 1886, 2008, pp.12.

• Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal. Implementing a Register in a Dynamic Distributed System.[Research Report] PI 1913, 2008, pp.21.

• Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.[Research Report] PI 1894, 2008, pp.20.

• Damien Imbs, Michel Raynal. A Lock-based Protocol for Software Transactional Memory.[Research Report] PI 1893, 2008, pp.26.

• Roberto Baldoni, François Bonnet, Alessia Milani, Michel Raynal. On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.[Research Report] PI 1892, 2008, pp.21.

• Y. Moses, Michel Raynal. No Double Discount: Condition-based Simultaneity Yields Limited Gain.[Research Report] PI 1898, 2008.

• Damien Imbs, José Ramón González de Mendivil Moreno, Michel Raynal. On the Consistency Conditions of Transactional Memories.[Research Report] PI 1917, 2008, pp.23.

• François Bonnet, Michel Raynal. The Price of Anonymity: Optimal Consensus despite Asynchrony, Crash and Anonymity.[Research Report] PI 1918, 2008, pp.32.

• Y. Moses, Michel Raynal. Revisiting Simultaneous Consensus with Crash Failures.[Research Report] PI 1885, 2008, pp.17.

• François Bonnet, Michel Raynal. Conditions for Set Agreement with an Application to Synchronous Systems.[Research Report] PI 1870, 2007, pp.23.

• Eli Gafni, Michel Raynal, Corentin Travers. Test&Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability.[Research Report] PI 1837, 2007, pp.19.

• François Bonnet, Anne-Marie Kermarrec, Michel Raynal. Small-World Networks: Is there a mismatch between theory and practice?.[Research Report] PI 1849, 2007, pp.15.

• Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing power vs efficiency in synchronous set agreement.[Research Report] PI 1836, 2007, pp.13.

• Michel Raynal. Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?.[Research Report] PI 1847, 2007, pp.14.

• Michel Raynal. Synchronization is coming back, but is it the same?.[Research Report] PI 1875, 2007, pp.16.

• Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Iterated Restricted Immediate Snapshot Model.[Research Report] PI 1874, 2007, pp.22.

• Anne-Marie Kermarrec, Achour Mostefaoui, Michel Raynal, Gilles Trédan, Aline Viana. Large-scale networked systems: from anarchy to geometric self-structuring.[Research Report] PI 1876, 2007, pp.21.

• Antonio Fernández, Ernesto Jiménez, Michel Raynal, Gilles Trédan. A Timing Assumption and two $t$-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.[Research Report] PI 1842, 2007, pp.19.

• Sergio Rajsbaum, Michel Raynal, Corentin Travers. Failure Detectors as Schedulers (An Algorithmically-Reasoned Characterization).[Research Report] PI 1838, 2007, pp.38.

• Vincent Gramoli, Michel Raynal. Timed Quorum System for Large-Scale Dynamic Environments.[Research Report] PI 1859, 2007.

• Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal. Distributed Slicing in Dynamic Systems.[Research Report] PI 1829, 2006, pp.24.

• Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal. Distributed Slicing in Dynamic Systems.[Research Report] RR-6051, INRIA. 2006, pp.27.