Back to INDEX

  Publications of Laurence Pilard  

Articles in journal or book chapters
  1. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm. Theoretical Computer Science, 410(14):1336--1345, March 2009. [bibtex]


  2. D. Buntinas, C. Coti, T. Hérault, P. Lemarinier, Laurence Pilard, A. Rezmerita, E. Rodriguez, and F. Cappello. Blocking VS. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI. Future Generation Computer System, 24(1):73--84, 2008. [bibtex]


  3. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization in a probabilistic way. Journal of Aerospace Computing, Information, and Communication, 3(10):516--537, 2006. [bibtex]


  4. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization. Journal of High Speed Networks, 14(1):3--19, 2004. [bibtex]


  5. F. Magniette, Laurence Pilard, and B. Rozoy. A method for the verification of distributed and synchronized algorithm. International Journal of Production Research, 42(14):2757--2772, 2003. [bibtex]


Conference articles
  1. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. In SSS'08, 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, volume 5340 of LNCS, Detroit, USA, pages 94--108, November 2008. Springer. [bibtex]


  2. T. Herman, S.V. Pemmaraju, Laurence Pilard, and M. Mjelde. Temporal Partition in Sensor Networks. In Toshimitsu Masuzawa and Sébastien Tixeuil, editors, SSS'07, 9th int. symposium on Stabilization, Safety, and Security of Distributed Systems, volume 4838 of LNCS, Paris, France, pages 325--339, November 2007. Springer. [bibtex]


  3. T. Hérault, P. Lemarinier, O. Peres, Laurence Pilard, and J. Beauquier. A Model for Large Scale Self-Stabilization. In IPDPS 2007, Parallel and Distributed Processing Symposium, Long Beach, California, USA, pages 1--10, March 2007. IEEE Computer Society Press. [bibtex]


  4. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A New Self-stabilizing Maximal Matching Algorithm. In Giuseppe Prencipe and Shmuel Zaks, editors, SIROCCO 2007, 14th International Colloquium on Structural Information and Communication Complexity, volume 4474 of LNCS, Castiglioncello, Italy, pages 96--108, June 2007. Springer. [bibtex]


  5. C. Coti, T. Hérault, P. Lemarinier, Laurence Pilard, A. Rezmerita, E. Rodriguez, and F. Cappello. Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI. In SC 2006, High Performance Networking Computing, Networking, Storage and Analysis, Tampa, Florida, USA, pages 127, November 2006. IEEE Computer Society Press. [bibtex]


  6. T. Hérault, P. Lemarinier, O. Peres, Laurence Pilard, and J. Beauquier. Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. In Ajoy Kumar Datta and Maria Gradinariu, editors, SSS 2006, , 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, volume 4280 of LNCS, Dallas, Texas, USA, pages 574--575, November 2006. Springer. [bibtex]


  7. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing Locally Self-stabilization in a Probabilistic Way. In DISC 2006, int. Symposium on Distributed Computing, volume 3724 of LNCS, Kracow, Poland, pages 399--413, October 2005. Springer. [bibtex]


  8. F. Magniette, Laurence Pilard, and B. Rozoy. Model-checking et produit synchronisé.. In MSR 2003, Modélisation des systèmes Réactifs, Metz, France, pages 213--224, 2003. [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html