Nombre de documents

8

CV de Laure Millet


Communication dans un congrès4 documents

  • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. <hal-01154517>
  • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. Springer, 8756, pp.237-251, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-11764-5_17>. <hal-01016832v2>
  • Béatrice Bérard, Laure Millet, Maria Gradinariu Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Vérification formelle et robots mobiles. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. Nisse, Nicolas et Rousseau, Franck et Busnel, Yann, pp.1-4, 2013. <hal-00818707>
  • Laure Millet, Maxime Lorrillere, Luciana Arantes, Stéphane Gançarski, Hubert Naacke, et al.. Facing peak loads in a P2P transaction system. The First Workshop on P2P and Dependability (P2PDEP'12), May 2012, Sibiu, Romania. ACM, Proceedings of the First Workshop on P2P and Dependability (P2PDEP'12), pp.1-7, P2P-Dep '12. <10.1145/2212346.2212347>. <hal-01271769>

Article dans une revue3 documents

Rapport1 document

  • Béatrice Berard, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Formal verification of Mobile Robot Protocols. 2013. <hal-00834061>