Log in
Posts

Professor

Postal address:

IRISA/University of Rennes 1

Room:

F-427

Phone:

+33 2 99 84 71 88

Fax:

+33 2 99 84 71 71

E-Mail:

Michel.Raynal@irisa.fr

raynal_photo

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

His research interests include distributed algorithms, distributed computing systems and dependability. His main interest lies in the fundamental principles that underlie the design and the construction of distributed computing systems.

Selected publications


    Publications list

    Book / Book chapters: 5 Transactions and Journals: 30 Conferences: 77 Activity Reports: 75

    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. Fault-Tolerant Agreement in Synchronous Message-Passing Systems. Morgan & Claypool Publishers. Morgan & Claypool Publishers, 165 p., 2010, 978-1-60845-525-6.
    • 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.

    Transaction and Journal

    • 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〉.

    Conferences


    • 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. Springer, Algorithms and Architectures for Parallel Processing, 10048, pp.15, 2016, Algorithms and Architectures for Parallel Processing Volume 10048 of the series Lecture Notes in Computer Science pp 341-355.
    • Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Sergio Rajsbaum. t-Resilient Immediate Snapshot Is Impossible.. SIROCCO, Jul 2016, Helsiinki, France. LNCS, 9988, pp.15, 2016, Structural Information and Communication Complexity.
    • 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, 2015, 〈10.1145/2767386.2767418〉.
    • Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Computing in the Presence of Concurrent Solo Executions. LATIN 2014: Theoretical Informatics, 2014, Montevideo, Uruguay. LATIN 2014: Theoretical Informatics Lecture Notes in Computer Science Volume 8392, 2014, pp 214-225, 8392, pp.214-225, 〈http://link.springer.com/chapter/10.1007%2F978-3-642-54423-1_19〉. 〈10.1007/978-3-642-54423-1_19〉.
    • Michel Raynal, Julien Stainer, Gadi Taubenfeld. Distributed Universality. Principles of Distributed Systems, 2014, Cortina d’Ampezzo, Italy. Principles of Distributed Systems Lecture Notes in Computer Science Volume 8878, 2014, pp 469-484, 8878, pp.469-484, 〈http://link.springer.com/chapter/10.1007%2F978-3-319-14472-6_31〉. 〈10.1007/978-3-319-14472-6_31〉.
    • 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. Springer, Structural Information and Communication Complexity Lecture Notes in Computer Science Volume 8576, 2014, pp 37-53, Volume 8576, pp.37-53, 2014, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-319-09620-9_5〉. 〈10.1007/978-3-319-09620-9_5〉.
    • 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, 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6838764〉. 〈10.1109/AINA.2014.115〉.
    • François Taïani, Barry Porter, Geoff Coulson, Michel Raynal. Cliff-Edge Consensus: Agreeing on the Precipice. Malyshkin, Victor. 12th International Conference on Parallel Computing Technologies (PaCT-2013), Sep 2013, St. Petersburg, Russia. Springer, 7979, pp.51-64, 2013, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-642-39958-9_5#〉. 〈10.1007/978-3-642-39958-9_5〉.
    • 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, 2013.
    • 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. 2012.
    • 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. Springer-Verlag LNCS, pp.66-77, 2011.
    • Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance. Chenyang Lu and Toshimitsu Masuzawa and Mohamend Mosbah. 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), Dec 2010, Tozeur, Tunisia. Springer Verlag, 6490, pp.143-159, 2010, LNCS.
    • Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. ACM Press, pp.55-64, 2010.
    • Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition. Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10), 2010, Ischia - Naples, Italy. Springer-Verlag LNCS, pp.584-595, 2010.
    • Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing Power vs. Efficiency in Synchronous Set Agreement. Shrisha Rao, Mainak Chatterjee and Prasad Jayanti and C. Siva Ram Murthy and Sanjoy Kumar Saha. 9th International Conference on Distributed Computing and Networking, Jan 2008, Kolkata, India. Springer Verlag, 4904, pp.99-111, 2008, LNCS.
    • Roy Friedman, Achour Mostefaoui; Matthirrarilson, Michel Raynal, François Taïani.
    • Michel Raynal, Julien Stainer.
    • Tyler Crain, Vincent Gramoli, Michel Raynal.
      Damien Imbs, Michel Raynal.
    • Damien Imbs, Michel Raynal, Gadi Taubenfeld.
    • Antonio Fernándeli>Vincent Gramolz, Ernesto éménei, Anne-Marie Kermarrec, Michel Raynal.

    <,iiclass="toppback evtweoAle r-evtwedepth-1" id="cd Conm-64">
    <3. <3ol>