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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Facing peak loads in a P2P transaction system
Laure Millet
,
Maxime Lorrillere
,
Luciana Arantes
,
Stéphane Gançarski
,
Hubert Naacke
et al.
Conference papers
hal-01271769v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal verification of mobile robot protocols
Beatrice Bérard
,
Pascal Lafourcade
,
Laure Millet
,
Maria Potop-Butucaru
,
Yann Thierry-Mieg
et al.
Journal articles
hal-01344903v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
[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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-01326183v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More