Search - Archive ouverte HAL Access content directly

Filter your results

9 Results
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
Conference papers 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⟩
Conference papers 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⟩
Journal articles 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
Conference papers hal-02049266v1
Image document

Formal verification of Mobile Robot Protocols

Béatrice Berard , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil et al.
[Research Report] LIP6. 2013
Reports 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
Journal articles 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 et al.
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers 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⟩
Conference papers 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⟩
Journal articles hal-01326183v1