Personal information

Japan

Activities

Works (45)

Offline Time-Independent Multiagent Path Planning

IEEE Transactions on Robotics
2023 | Journal article
Contributors: Keisuke Okumura; François Bonnet; Yasumasa Tamura; Xavier Défago
Source: check_circle
Crossref

Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes

IEEE Transactions on Network Science and Engineering
2022-09-01 | Journal article
Contributors: Yuan Wang; Hideaki Ishii; Francois Bonnet; Xavier Defago
Source: check_circle
Crossref

Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs

IEEE Transactions on Parallel and Distributed Systems
2022-03-01 | Journal article
Source: Self-asserted source
François Bonnet

Stateless Distributed Ledgers

Networked Systems
2021 | Conference paper
Source: Self-asserted source
François Bonnet

Resilient Consensus Against Epidemic Malicious Attacks

2021 European Control Conference (ECC)
2021-06-29 | Conference paper
Source: Self-asserted source
François Bonnet

Analytical Solution for "EinStein würfelt nicht!" with One Stone

Advances in Computer Games - 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
2017 | Conference paper
Source: Self-asserted source
François Bonnet

Killing Nodes as a Countermeasure to Virus Expansion

Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
2017 | Conference paper
Source: Self-asserted source
François Bonnet

Model Checking of Robot Gathering

21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017
2017 | Conference paper
Source: Self-asserted source
François Bonnet

Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level

37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017
2017 | Conference paper
Source: Self-asserted source
François Bonnet

Toward Solving "EinStein würfelt nicht!"

Advances in Computer Games - 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
2017 | Conference paper
Source: Self-asserted source
François Bonnet

Asynchronous Gathering in Rings with 4 Robots

Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings
2016 | Conference paper
Source: Self-asserted source
François Bonnet

Model Checking of a Mobile Robots Perpetual Exploration Algorithm

Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
2016 | Conference paper
Source: Self-asserted source
François Bonnet

Nash Equilibrium in Mastermind

Computers and Games - 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers
2016 | Conference paper
Source: Self-asserted source
François Bonnet

Tight bound on mobile Byzantine Agreement

Theor. Comput. Sci.
2016 | Journal article
Source: Self-asserted source
François Bonnet

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014
2014 | Conference paper
Source: Self-asserted source
François Bonnet

Mitigating the Spread of a Virus in the Internet

33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014
2014 | Conference paper
Source: Self-asserted source
François Bonnet

Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version)

JoWUA
2014 | Journal article
Source: Self-asserted source
François Bonnet

Tight Bound on Mobile Byzantine Agreement

Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings
2014 | Conference paper
Source: Self-asserted source
François Bonnet

Anonymous asynchronous systems: the case of failure detectors

Distributed Computing
2013 | Journal article
Source: Self-asserted source
François Bonnet

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
2012 | Conference paper
Source: Self-asserted source
François Bonnet

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction

Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
2011 | Conference paper
Source: Self-asserted source
François Bonnet

Exploration and Surveillance in Multi-robots Networks

Second International Conference on Networking and Computing, ICNC 2011, November 30 - December 2, 2011, Osaka, Japan
2011 | Conference paper
Source: Self-asserted source
François Bonnet

On the road to the weakest failure detector for k-set agreement in message-passing systems

Theor. Comput. Sci.
2011 | Journal article
Source: Self-asserted source
François Bonnet

The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity

TAAS
2011 | Journal article
Source: Self-asserted source
François Bonnet

A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems

Inf. Process. Lett.
2010 | Journal article
Source: Self-asserted source
François Bonnet

Anonymous Asynchronous Systems: The Case of Failure Detectors

Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
2010 | Conference paper
Source: Self-asserted source
François Bonnet

Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle

2010 | Dissertation or Thesis
Source: Self-asserted source
François Bonnet

Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?

24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010
2010 | Conference paper
Source: Self-asserted source
François Bonnet

D2HT: The Best of Both Worlds, Integrating RPS and DHT

Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
2010 | Conference paper
Source: Self-asserted source
François Bonnet

Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model

Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
2010 | Conference paper
Source: Self-asserted source
François Bonnet

Review of DISC 2010

SIGACT News
2010 | Journal article
Source: Self-asserted source
François Bonnet

Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009
2009 | Conference paper
Source: Self-asserted source
François Bonnet

Conditions for Set Agreement with an Application to Synchronous Systems

J. Comput. Sci. Technol.
2009 | Journal article
Source: Self-asserted source
François Bonnet

Looking for the Weakest Failure Detector for \emphk-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?

Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
2009 | Conference paper
Source: Self-asserted source
François Bonnet

The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity

Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
2009 | Conference paper
Source: Self-asserted source
François Bonnet

Anonymous graph exploration without collision by mobile robots

Inf. Process. Lett.
2008 | Journal article
Source: Self-asserted source
François Bonnet

Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots

Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings
2008 | Conference paper
Source: Self-asserted source
François Bonnet

Conditions for Set Agreement with an Application to Synchronous Systems

28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China
2008 | Conference paper
Source: Self-asserted source
François Bonnet

Geo-registers: An Abstraction for Spatial-Based Distributed Computing

Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings
2008 | Conference paper
Source: Self-asserted source
François Bonnet

Looking for the optimal conditions for solving set agreement

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008
2008 | Conference paper
Source: Self-asserted source
François Bonnet

On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots

Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings
2008 | Conference paper
Source: Self-asserted source
François Bonnet

Formal analysis techniques for gossiping protocols

Operating Systems Review
2007 | Journal article
Source: Self-asserted source
François Bonnet

Small-World Networks: From Theoretical Bounds to Practical Systems

Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
2007 | Conference paper
Source: Self-asserted source
François Bonnet

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays

Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings
2006 | Conference paper
Source: Self-asserted source
François Bonnet

Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006
2006 | Conference paper
Source: Self-asserted source
François Bonnet