Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau

 Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès hal-01154517v1

Facing peak loads in a P2P transaction system

 Laure Millet , Maxime Lorrillere , Luciana Arantes , Stéphane Gançarski , Hubert Naacke , et al.
The First Workshop on P2P and Dependability (P2PDEP'12), May 2012, Sibiu, Romania. pp.1-7, ⟨10.1145/2212346.2212347⟩
Communication dans un congrès hal-01271769v1
Image document

Formal verification of mobile robot protocols

 Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg , et al.
Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Article dans une revue hal-01344903v1

Reconstruction of lake history using nondestructive methods. A first record of organic endmember in sediments using solid phase fluorescence (Lake Noir Inférieur, Aiguilles Rouges Massif, France)

 Marine Quiers , Anne-Lise Develle , Yves Perrette , Pierre Sabatier , S Belle , et al.
EGU 2015, 2015, Vienne, Austria
Communication dans un congrès hal-02049266v1
Image document

Formal verification of Mobile Robot Protocols

 Béatrice Berard , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil
[Research Report] LIP6. 2013
Rapport hal-00834061v1

[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems

 Béatrice Bérard , Pierre Courtieu , Laure Millet , Maria Potop-Butucaru , Lionel Rieg , et al.
International Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue hal-01238784v1
Image document

Vérification formelle et robots mobiles

 Béatrice Bérard , Laure Millet , Maria Gradinariu Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès hal-00818707v1
Image document

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

 Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Communication dans un congrès hal-01016832v2
Image document

Land use development and environmental responses since the Neolithic around Lake Paladru in the French Pre-alps

 E Doyen , C Bégeot , Anaëlle Simonneau , Laure Millet , Emmanuel Chapron , et al.
Journal of Archaeological Science, 2016, 7, pp.48-59. ⟨10.1016/j.jasrep.2016.03.040⟩
Article dans une revue hal-01326183v1
Page :