Follow
François Bonnet
François Bonnet
Other namesボネ フランソワ
Spec. App. Associate Professor at Tokyo Institute of Technology
Verified email at c.titech.ac.jp
Title
Cited by
Cited by
Year
Anonymous asynchronous systems: the case of failure detectors
F Bonnet, M Raynal
Distributed computing 26 (3), 141-158, 2013
622013
Asynchronous exclusive perpetual grid exploration without sense of direction
F Bonnet, A Milani, M Potop-Butucaru, S Tixeuil
International Conference On Principles Of Distributed Systems, 251-265, 2011
542011
Formal analysis techniques for gossiping protocols
R Bakhshi, F Bonnet, W Fokkink, B Haverkort
ACM SIGOPS Operating Systems Review 41 (5), 28-36, 2007
492007
On the solvability of anonymous partial grids exploration by mobile robots
R Baldoni, F Bonnet, A Milani, M Raynal
Principles of Distributed Systems: 12th International Conference, OPODIS …, 2008
462008
The price of anonymity: Optimal consensus despite asynchrony, crash, and anonymity
F Bonnet, M Raynal
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 6 (4), 1-28, 2011
442011
Tight bound on mobile Byzantine Agreement
F Bonnet, X Défago, TD Nguyen, M Potop-Butucaru
Theoretical Computer Science 609, 361-373, 2016
402016
Anonymous graph exploration without collision by mobile robots
R Baldoni, F Bonnet, A Milani, M Raynal
Information Processing Letters 109 (2), 98-103, 2008
402008
Robot collaboration in warehouse
N Pinkam, F Bonnet, NY Chong
2016 16th International Conference on Control, Automation and Systems (ICCAS …, 2016
392016
Small-world networks: From theoretical bounds to practical systems
F Bonnet, AM Kermarrec, M Raynal
International Conference on Principles of Distributed Systems, 372-385, 2007
392007
Discovering and assessing fine-grained metrics in robot networks protocols
F Bonnet, X Défago, F Petit, M Potop-Butucaru, S Tixeuil
2014 IEEE 33rd International Symposium on Reliable Distributed Systems …, 2014
312014
Model checking of a mobile robots perpetual exploration algorithm
HTT Doan, F Bonnet, K Ogata
Structured Object-Oriented Formal Language and Method: 6th International …, 2017
282017
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is the End of the Road?
F Bonnet, M Raynal
Symposium on Self-Stabilizing Systems, 149-164, 2009
242009
D2HT: the best of both worlds, Integrating RPS and DHT
M Bertier, F Bonnet, AM Kermarrec, V Leroy, S Peri, M Raynal
2010 European Dependable Computing Conference, 135-144, 2010
222010
A simple proof of the necessity of the failure detector Σ to implement an atomic register in asynchronous message-passing systems
F Bonnet, M Raynal
Information Processing Letters 110 (4), 153-157, 2010
222010
Model checking of robot gathering
HTT Doan, F Bonnet, K Ogata
21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018
212018
On the road to the weakest failure detector for k-set agreement in message-passing systems
F Bonnet, M Raynal
Theoretical Computer Science 412 (33), 4273-4284, 2011
212011
Geo-registers: An abstraction for spatial-based distributed computing
M Roy, F Bonnet, L Querzoni, S Bonomi, MO Killijian, D Powell
International Conference On Principles Of Distributed Systems, 534-537, 2008
212008
Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts
F Bonnet, P Ezhilchelvan, E Vollset
Proceedings of the 2006 ACM symposium on applied computing, 670-674, 2006
212006
Asynchronous gathering in rings with 4 robots
F Bonnet, M Potop-Butucaru, S Tixeuil
International Conference on Ad-Hoc Networks and Wireless, 311-324, 2016
202016
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
F Bonnet, X Défago, F Petit, MG Potop-Butucaru, S Tixeuil
Symposium on Self-Stabilizing Systems, 282-284, 2012
162012
The system can't perform the operation now. Try again later.
Articles 1–20