BONNET Francois ＢＯＮＮＥＴＦｒａｎｃｏｉｓ

Researcher Number	60700185
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 特任准教授 2025: 大阪大学, 大学院工学研究科, 特任助教(常勤)
Affiliation (based on the past Project Information) *help	2014 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Software
Keywords	Principal Investigator Computing / Verification / Robot / Distributed Computing / Algorithm

Automatic Verification of Distributed Mobile Robot AlgorithmsPrincipal Investigator
- Principal Investigator
  
  BONNET Francois
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2016 2015 2014

All Journal Article Presentation

[Journal Article] Nash Equilibrium in Mastermind2016
- Author(s)
  Francois Bonnet, Simon Viennot
- Journal Title
  
  Proceedings of the 8th International Conference on Computers and Games
  
  Volume: CG'16 Pages: 1-12
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870228
[Journal Article] Asynchronous Gathering in Rings with 4 Robots2016
- Author(s)
  Francois Bonnet, Maria Potop-Butucaru, Sebastien Tixeuil
- Journal Title
  
  Proceedings of the 14th International Conference on Ad-hoc, Mobile, and Wireless Networks
  
  Volume: AdHoc-Now'16 Pages: 1-14
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870228
[Journal Article] Tight bound on mobile Byzantine Agreement2016
- Author(s)
  F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 609 Pages: 361-373
- DOI
  10.1016/j.tcs.2015.10.019
- NAID
  110010061343
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Tight Bound on Mobile Byzantine Agreement2014
- Author(s)
  F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8784 Pages: 76-90
- DOI
  10.1007/978-3-662-45174-8_6
- NAID
  110010061343
- ISBN
  9783662451731, 9783662451748
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Mitigating the Spread of a Virus in the Internet2014
- Author(s)
  T. D. Nguyen, F. Bonnet, X. Defago
- Journal Title
  
  2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW)
  
  Volume: none Pages: 14-19
- DOI
  10.1109/srdsw.2014.26
- NAID
  120006675658
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols2014
- Author(s)
  Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil
- Journal Title
  
  Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops
  
  Volume: SRDSW'14 Pages: 50-59
- DOI
  10.1109/srdsw.2014.34
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870228
[Presentation] Asynchronous Gathering in Rings with 4 Robots2015
- Author(s)
  Francois Bonnet, Maria Potop-Butucaru, and Sebastien Tixeuil
- Organizer
  Workshop on Distributed Robotic Swarms (WDRS'15, co-located with DISC'15)
- Place of Presentation
  Arcadia Ichigaya hotel, Chiyoda-ku, Tokyo
- Year and Date
  2015-10-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870228

1. DEFAGO Xavier

# of Collaborated Projects: 0 results

# of Collaborated Products: 3 results

BONNET Francois ＢＯＮＮＥＴ Ｆｒａｎｃｏｉｓ

Research Projects

Research Products

Co-Researchers

Automatic Verification of Distributed Mobile Robot AlgorithmsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Nash Equilibrium in Mastermind2016

Author(s)

Journal Title

Data Source

[Journal Article] Asynchronous Gathering in Rings with 4 Robots2016

Author(s)

Journal Title

Data Source

[Journal Article] Tight bound on mobile Byzantine Agreement2016

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Tight Bound on Mobile Byzantine Agreement2014

Author(s)

Journal Title

DOI

NAID

ISBN

Data Source

[Journal Article] Mitigating the Spread of a Virus in the Internet2014

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols2014

Author(s)

Journal Title

DOI

Data Source

[Presentation] Asynchronous Gathering in Rings with 4 Robots2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

BONNET Francois ＢＯＮＮＥＴＦｒａｎｃｏｉｓ