François Bonnet
François Bonnet
Spec. App. Associate Professor at Tokyo Institute of Technology
Adresse e-mail validée de c.titech.ac.jp
Titre
Citée par
Citée par
Année
Anonymous asynchronous systems: the case of failure detectors
F Bonnet, M Raynal
Distributed computing 26 (3), 141-158, 2013
542013
Formal analysis techniques for gossiping protocols
R Bakhshi, F Bonnet, W Fokkink, B Haverkort
ACM SIGOPS Operating Systems Review 41 (5), 28-36, 2007
432007
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
412011
On the solvability of anonymous partial grids exploration by mobile robots
R Baldoni, F Bonnet, A Milani, M Raynal
International Conference On Principles Of Distributed Systems, 428-445, 2008
402008
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
352011
Anonymous graph exploration without collision by mobile robots
R Baldoni, F Bonnet, A Milani, M Raynal
Information Processing Letters 109 (2), 98-103, 2008
302008
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
302007
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
232014
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
Loo king for the Wea kest 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
212009
Model checking of a mobile robots perpetual exploration algorithm
HTT Doan, F Bonnet, K Ogata
International Workshop on Structured Object-Oriented Formal Language and …, 2016
202016
Tight bound on mobile Byzantine Agreement
F Bonnet, X Défago, TD Nguyen, M Potop-Butucaru
Theoretical Computer Science 609, 361-373, 2016
202016
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
192010
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
192008
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
192006
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
182010
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
16*2016
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
152012
Brief announcement: Performance analysis of cyclon, an inexpensive membership management for unstructured p2p overlays
F Bonnet, F Tronel, S Voulgaris
International Symposium on Distributed Computing, 560-562, 2006
132006
Model checking of robot gathering
HTT Doan, F Bonnet, K Ogata
21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018
102018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20