François Bonnet

发表

Review of DISC 2010

François Bonnet, 2010, SIGA.

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

Silvia Bonomi, Matthieu Roy, François Bonnet, 2008, OPODIS.

Small-World Networks: From Theoretical Bounds to Practical Systems

Anne-Marie Kermarrec, Michel Raynal, François Bonnet, 2007, OPODIS.

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

Michel Raynal, François Bonnet, 2009, DISC.

Model Checking of Robot Gathering

Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet, 2017, OPODIS.

Anonymous graph exploration without collision by mobile robots

Michel Raynal, Roberto Baldoni, François Bonnet, 2008, Inf. Process. Lett..

Looking for the optimal conditions for solving set agreement

Michel Raynal, François Bonnet, 2008, PODC '08.

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

Michel Raynal, François Bonnet, 2010, 2010 24th IEEE International Conference on Advanced Information Networking and Applications.

As Scalable As Possible:Foundations of large-scale dynamic systems

Anne-Marie Kermarrec, Michel Raynal, Roberto Baldoni, 2007 .

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

Michel Raynal, François Bonnet, 2010, Inf. Process. Lett..

Mitigating the Spread of a Virus in the Internet

Xavier Défago, François Bonnet, Thanh Dang Nguyen, 2014, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops.

Winning strategies in DarkHex: Hex with hidden stones

François Bonnet, 2018, J. Int. Comput. Games Assoc..

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

Michel Raynal, François Bonnet, 2011, Theor. Comput. Sci..

Toward Solving "EinStein würfelt nicht!"

François Bonnet, Simon Viennot, François Bonnet, 2017, ACG.

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

Paul D. Ezhilchelvan, François Bonnet, Einar Vollset, 2006, SAC '06.

Killing Nodes as a Countermeasure to Virus Expansion

Xavier Défago, François Bonnet, Quentin Bramas, 2017, SIROCCO.

New Results - Resource management in large-scale dynamic systems

Anne-Marie Kermarrec, Michel Raynal, Nicolas Le Scouarnec, 2008 .

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

François Bonnet, 2010 .

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

Michel Raynal, François Bonnet, M. Raynal, 2009, SSS.

Small-World Networks: Is there a mismatch between theory and practice?

Anne-Marie Kermarrec, Michel Raynal, François Bonnet, 2007 .

Conditions for Set Agreement with an Application to Synchronous Systems

Michel Raynal, François Bonnet, 2008, 2008 The 28th International Conference on Distributed Computing Systems.

Anonymous Asynchronous Systems: The Case of Failure Detectors

Michel Raynal, François Bonnet, 2010, DISC.

Formal analysis techniques for gossiping protocols

Boudewijn R. Haverkort, Wan Fokkink, François Bonnet, 2007, OPSR.

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

Anne-Marie Kermarrec, Michel Raynal, Sathya Peri, 2010, 2010 European Dependable Computing Conference.

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

François Bonnet, Simon Viennot, 2017, ACG.

Conditions for Set Agreement with an Application to Synchronous Systems

Michel Raynal, François Bonnet, 2008, ICDCS.

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

François Bonnet, Frédéric Tronel, Spyros Voulgaris, 2006, DISC.

Nash Equilibrium in Mastermind

François Bonnet, Simon Viennot, 2016, Computers and Games.

Exploration and Surveillance in Multi-robots Networks

Xavier Défago, François Bonnet, 2011, 2011 Second International Conference on Networking and Computing.

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

Michel Raynal, Roberto Baldoni, François Bonnet, 2008, DISC.

On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots

Michel Raynal, Roberto Baldoni, François Bonnet, 2008, OPODIS.

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

Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet, 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).

Anonymous asynchronous systems: the case of failure detectors

Michel Raynal, François Bonnet, 2012, Distributed Computing.

New Results - Peer-to-peer wireless autonomic networked systems

Anne-Marie Kermarrec, Michel Raynal, Vincent Gramoli, 2007 .

Algorithms for Dynamic Dependable Systems

Emmanuelle Anceaume, Vincent Gramoli, François Bonnet, 2006 .

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

Michel Raynal, François Bonnet, 2010, 2010 European Dependable Computing Conference.

Robot collaboration in warehouse

Nak Young Chong, François Bonnet, Nantawat Pinkam, 2016, 2016 16th International Conference on Control, Automation and Systems (ICCAS).

Model Checking of a Mobile Robots Perpetual Exploration Algorithm

Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet, 2016, SOFL+MSVL.

A simple proof of the necessity of the failure detector Σ to implement a register in asynchronous message-passing systems

Michel Raynal, François Bonnet, 2010 .