Accéder directement au contenu

Sébastien Tixeuil

3
Documents

Publications

yann-thierry-mieg
Image document

Formal verification of mobile robot protocols

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

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