| 2007 | OPODIS | Separability to Help Parallel Simulation of Distributed Computations. | Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 2006 | PDP | A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. | Cezar Plesca, Romulus Grigoras, Philippe Quinnec, Grard Padiou, Jean Fanchon |
| 2005 | NCA | Cooperative Mobile Agents to Gather Global Information. | Michel Charpentier, Grard Padiou, Philippe Quinnec |
| 2005 | PPAM | Maximal Group Membership in Ad Hoc Networks. | Mamoun Filali, Valrie Issarny, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 2000 | OPODIS | Describing Mobile Computations with Path Vectors. | Philippe Quinnec, Mamoun Filali, Philippe Mauran, Grard Padiou |
| 1999 | EuroPar | Distributed Systems and Algorithms - Introduction. | Grard Padiou, Andr Schiper |
| 1999 | OPODIS | Modelling and Verifying Migration: A case study. | Michel Charpentier, Mamoun Filali, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 1994 | PODC | Derivation of Fault Tolerance Properties of Distributed Algorithms. | Philippe Quinnec, Grard Padiou |
| 1993 | ECRTS | Unity, as a Tool for Reactive Systems Specification and Derivation. | Mamoun Filali, Philippe Mauran, Grard Padiou |
| 1993 | ISADS | Flight plan management in a distributed air traffic control system. | Philippe Quinnec, Grard Padiou |
| 1985 | ICDCS | Distributed Control Through Task Migration via Abstract Networks. | Claude Btourn, Mamoun Filali, Grard Padiou, A. Sayah |