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
642013
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
582011
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
482008
Formal analysis techniques for gossiping protocols
R Bakhshi, F Bonnet, W Fokkink, B Haverkort
ACM SIGOPS Operating Systems Review 41 (5), 28-36, 2007
482007
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
452011
Anonymous graph exploration without collision by mobile robots
R Baldoni, F Bonnet, A Milani, M Raynal
Information Processing Letters 109 (2), 98-103, 2008
432008
Robot collaboration in warehouse
N Pinkam, F Bonnet, NY Chong
2016 16th International Conference on Control, Automation and Systems (ICCAS …, 2016
422016
Tight bound on mobile Byzantine Agreement
F Bonnet, X Défago, TD Nguyen, M Potop-Butucaru
Theoretical Computer Science 609, 361-373, 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
272017
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
262009
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
252010
Resilient real-valued consensus in spite of mobile malicious agents on directed graphs
Y Wang, H Ishii, F Bonnet, X Defago
IEEE Transactions on Parallel and Distributed Systems 33 (3), 586-603, 2021
232021
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
222011
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
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
222006
Model checking of robot gathering
HTT Doan, F Bonnet, K Ogata
21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018
212018
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
212016
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
The system can't perform the operation now. Try again later.
Articles 1–20