| 2020 | SIGCSE | When Black-box Testing is Not Enough - on Designing Auto-graded Programming Assignments. | Karen H. Jin, Michel Charpentier |
| 2012 | NCA | Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks. | Michel Charpentier, Radim Bartos, Ying Li |
| 2009 | ICDCN | A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks. | Michel Charpentier, Radim Bartos, Swapnil Bhatia |
| 2009 | WoWMoM | When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. | Michel Charpentier, Radim Bartos, Swapnil Bhatia |
| 2007 | ICDCS | Self-Similar Algorithms for Dynamic Distributed Systems. | K. Mani Chandy, Michel Charpentier |
| 2005 | NCA | Cooperative Mobile Agents to Gather Global Information. | Michel Charpentier, Grard Padiou, Philippe Quinnec |
| 2003 | FM | Composing Invariants. | Michel Charpentier |
| 2002 | FASE | An Approach to Composition Motivated by wp. | Michel Charpentier |
| 2000 | MPC | Theorems about Composition. | Michel Charpentier, K. Mani Chandy |
| 1999 | FM | Towards a Compositional Approach to the Design and Verification of Distributed Systems. | Michel Charpentier, K. Mani Chandy |
| 1999 | OPODIS | Modelling and Verifying Migration: A case study. | Michel Charpentier, Mamoun Filali, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 1997 | FM | A UNITY Mapping Operator for Distributed Programs. | Michel Charpentier |