François Bonnet

Orcid: 0000-0001-6625-0035

Affiliations:
  • Tokyo Institute of Technology, Japan
  • Osaka University, Suita, Japan (former)


According to our database1, François Bonnet authored at least 45 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Offline Time-Independent Multiagent Path Planning.
IEEE Trans. Robotics, August, 2023

2022
Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs.
IEEE Trans. Parallel Distributed Syst., 2022

Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes.
IEEE Trans. Netw. Sci. Eng., 2022

Offline Time-Independent Multi-Agent Path Planning.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
Resilient Consensus Against Epidemic Malicious Attacks.
Proceedings of the 2021 European Control Conference, 2021

Quixo is Solved.
Proceedings of the Advances in Computer Games - 17th International Conference, 2021

2020
Resilient Consensus Against Mobile Malicious Agents.
CoRR, 2020

Stateless Distributed Ledgers.
Proceedings of the Networked Systems - 8th International Conference, 2020

2018
Winning strategies in DarkHex: Hex with hidden stones.
J. Int. Comput. Games Assoc., 2018

2017
Killing Nodes as a Countermeasure to Virus Expansion.
Proceedings of the Structural Information and Communication Complexity, 2017

Model Checking of Robot Gathering.
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Toward Solving "EinStein würfelt nicht!".
Proceedings of the Advances in Computer Games - 15th International Conferences, 2017

Analytical Solution for "EinStein würfelt nicht!" with One Stone.
Proceedings of the Advances in Computer Games - 15th International Conferences, 2017

2016
Tight bound on mobile Byzantine Agreement.
Theor. Comput. Sci., 2016

Model Checking of a Mobile Robots Perpetual Exploration Algorithm.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Nash Equilibrium in Mastermind.
Proceedings of the Computers and Games - 9th International Conference, 2016

Asynchronous Gathering in Rings with 4 Robots.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2014
Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version).
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Mitigating the Spread of a Virus in the Internet.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013
Anonymous asynchronous systems: the case of failure detectors.
Distributed Comput., 2013

2012
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011
On the road to the weakest failure detector for k-set agreement in message-passing systems.
Theor. Comput. Sci., 2011

The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity.
ACM Trans. Auton. Adapt. Syst., 2011

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Exploration and Surveillance in Multi-robots Networks.
Proceedings of the Second International Conference on Networking and Computing, 2011

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

Review of DISC 2010.
SIGACT News, 2010

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

Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model.
Proceedings of the Eighth European Dependable Computing Conference, 2010

D2HT: The Best of Both Worlds, Integrating RPS and DHT.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
Conditions for Set Agreement with an Application to Synchronous Systems.
J. Comput. Sci. Technol., 2009

Looking for the Weakest Failure Detector for <i>k</i>-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?
Proceedings of the Stabilization, 2009

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, 2009

2008
Anonymous graph exploration without collision by mobile robots.
Inf. Process. Lett., 2008

Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Looking for the optimal conditions for solving set agreement.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007
Formal analysis techniques for gossiping protocols.
ACM SIGOPS Oper. Syst. Rev., 2007

Small-World Networks: From Theoretical Bounds to Practical Systems.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

2006
Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006


  Loading...