| 2025 | SIROCCO | Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm. | Franois Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Dfago, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2025 | SSS | Brief Announcement: Searching for an Eventually-Emerging Black Hole in Rings. | Franois Bonnet, Quentin Bramas, Anissa Lamani |
| 2022 | IJCAI | Offline Time-Independent Multi-Agent Path Planning. | Keisuke Okumura, Franois Bonnet, Yasumasa Tamura, Xavier Dfago |
| 2017 | ICDCS | Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. | Ha Thi Thu Doan, Kazuhiro Ogata, Franois Bonnet |
| 2017 | OPODIS | Model Checking of Robot Gathering. | Ha Thi Thu Doan, Franois Bonnet, Kazuhiro Ogata |
| 2017 | SIROCCO | Killing Nodes as a Countermeasure to Virus Expansion. | Franois Bonnet, Quentin Bramas, Xavier Dfago, Thanh Dang Nguyen |
| 2014 | SRDS | Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. | Franois Bonnet, Xavier Dfago, Franck Petit, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2014 | SRDS | Mitigating the Spread of a Virus in the Internet. | Thanh Dang Nguyen, Franois Bonnet, Xavier Dfago |
| 2012 | SSS | Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. | Franois Bonnet, Xavier Dfago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sbastien Tixeuil |
| 2011 | OPODIS | Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. | Franois Bonnet, Alessia Milani, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2010 | AINA | Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. | Franois Bonnet, Michel Raynal |
| 2010 | EDCC | D2HT: The Best of Both Worlds, Integrating RPS and DHT. | Marin Bertier, Franois Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal |
| 2010 | EDCC | Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. | Franois Bonnet, Michel Raynal |
| 2009 | PODC | Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity. | Franois Bonnet, Michel Raynal |
| 2009 | SSS | Looking for the Weakest Failure Detector for | Franois Bonnet, Michel Raynal |
| 2008 | ICDCS | Conditions for Set Agreement with an Application to Synchronous Systems. | Franois Bonnet, Michel Raynal |
| 2008 | OPODIS | On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. | Roberto Baldoni, Franois Bonnet, Alessia Milani, Michel Raynal |
| 2008 | OPODIS | Geo-registers: An Abstraction for Spatial-Based Distributed Computing. | Matthieu Roy, Franois Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell |
| 2008 | PODC | Looking for the optimal conditions for solving set agreement. | Franois Bonnet, Michel Raynal |
| 2007 | OPODIS | Small-World Networks: From Theoretical Bounds to Practical Systems. | Franois Bonnet, Anne-Marie Kermarrec, Michel Raynal |
| 2006 | SAC | Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts. | Franois Bonnet, Paul D. Ezhilchelvan, Einar Vollset |