| 2021 | ENASE | A Direct Formal Semantics for BPMN Time-related Constructs. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2020 | FORTE | Derivation of Heard-of Predicates from Elementary Behavioral Patterns. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 2019 | BPM | A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2019 | FM | A Map of Asynchronous Communication Models. | Florent Chevrou, Aurlie Hurault, Shin Nakajima, Philippe Quinnec |
| 2019 | SSS | Tasks in Modular Proofs of Concurrent Algorithms. | Armando Castaeda, Aurlie Hurault, Philippe Quinnec, Matthieu Roy |
| 2019 | TAP | Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. | Aurlie Hurault, Philippe Quinnec |
| 2018 | OPODIS | Characterizing Asynchronous Message-Passing Models Through Rounds. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 2017 | DCAI | Inference of Channel Priorities for Asynchronous Communication. | Nathanal Sensfelder, Aurlie Hurault, Philippe Quinnec |
| 2017 | OPODIS | Asynchronous Message Orderings Beyond Causality. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 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 | 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 | ISADS | Flight plan management in a distributed air traffic control system. | Philippe Quinnec, Grard Padiou |