Flight plan management in a distributed air traffic control system. - Philippe Quéinnec; Gérard Padiou (ISADS, 1993)

Derivation of Fault Tolerance Properties of Distributed Algorithms. - Philippe Quéinnec; Gérard Padiou (PODC, 1994)

Abstracting Communication to Reason about Distributed Algorithms. - Michel Charpentier; Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (WDAG, 1996)

Tailoring UNITY to Distributed Program Design. - Michel Charpentier; Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (IPPS/SPDP Workshops, 1998)

Modelling and Verifying Migration: A case study. - Michel Charpentier; Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (OPODIS, 1999)

The Observation: An Abstract Communication Mechanism. - Michel Charpentier; Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (Parallel Process. Lett., 1999)

Refinement Based Validation of an Algorithm for Detecting Distributed Termination. - Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec; Xavier Thirioux (IPDPS Workshops, 2000)

Describing Mobile Computations with Path Vectors. - Philippe Quéinnec; Mamoun Filali; Philippe Mauran; Gérard Padiou (OPODIS, 2000)

The Reconstruction of a Mobile Agent Computation and Its Validation. - Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (IPDPS, 2003)

A Flexible Communication Toolkit for Synchronous Groupware. - Cezar Plesca; Romulus Grigoras; Philippe Quéinnec; Gérard Padiou (Systems Communications, 2005)

Streaming with causality: a practical approach. - Cezar Plesca; Romulus Grigoras; Philippe Quéinnec; Gérard Padiou (ACM Multimedia, 2005)

Cooperative Mobile Agents to Gather Global Information. - Michel Charpentier; Gérard Padiou; Philippe Quéinnec (NCA, 2005)

Maximal Group Membership in Ad Hoc Networks. - Mamoun Filali; Valérie Issarny; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (PPAM, 2005)

A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. - Cezar Plesca; Romulus Grigoras; Philippe Quéinnec; Gérard Padiou; Jean Fanchon (PDP, 2006)

Separability to Help Parallel Simulation of Distributed Computations. - Philippe Mauran; Gérard Padiou; Philippe Quéinnec (OPODIS, 2007)

Real time data consistency in component based embedded systems. - Nadège Pontisso; Gérard Padiou; Philippe Quéinnec (NOTERE, 2008)

Temporal data matching in component based real time systems. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (SIES, 2009)

Real Time Behavior of Data in Distributed Embedded Systems. - Tanguy Le Berre; Philippe Mauran; Gérard Padiou; Philippe Quéinnec (Scalable Comput. Pract. Exp., 2009)

Analysis of distributed multi-periodic systems to achieve consistent data matching. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (NOTERE, 2010)

Analysis of distributed multiperiodic systems to achieve consistent data matching. - Nadège Pontisso; Philippe Quéinnec; Gérard Padiou (Concurr. Comput. Pract. Exp., 2013)

Automated Verification of Asynchronous Communicating Systems with TLA+. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Mechanized Refinement of Communication Models with TLA ^+ +. - Florent Chevrou; Aurélie Hurault; Philippe Mauran; Philippe Quéinnec (ABZ, 2016)

On the diversity of asynchronous communication. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (Formal Aspects Comput., 2016)

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. - Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault; Meriem Ouederni; Philippe Quéinnec (Int. J. Intell. Syst. Technol. Appl., 2016)

Inference of Channel Priorities for Asynchronous Communication. - Nathanaël Sensfelder; Aurélie Hurault; Philippe Quéinnec (DCAI, 2017)

Asynchronous Message Orderings Beyond Causality. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (OPODIS, 2017)

Characterizing Asynchronous Message-Passing Models Through Rounds. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (OPODIS, 2018)

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (BPM, 2019)

A Map of Asynchronous Communication Models. - Florent Chevrou; Aurélie Hurault; Shin Nakajima 001; Philippe Quéinnec (FM Workshops (2), 2019)

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. - Aurélie Hurault; Philippe Quéinnec (TAP@FM, 2019)

A modular framework for verifying versatile distributed systems. - Florent Chevrou; Aurélie Hurault; Philippe Quéinnec (J. Log. Algebraic Methods Program., 2019)

Derivation of Heard-of Predicates from Elementary Behavioral Patterns. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (FORTE, 2020)

A Direct Formal Semantics for BPMN Time-related Constructs. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (ENASE, 2021)

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models. - Adam Shimi; Aurélie Hurault; Philippe Quéinnec (Log. Methods Comput. Sci., 2021)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec; Laïd Kahloul (Inf. Syst., 2022)

Tasks in modular proofs of concurrent algorithms. - Armando Castañeda; Aurélie Hurault; Philippe Quéinnec; Matthieu Roy (Inf. Comput., 2023)