Unity, as a Tool for Reactive Systems Specification and Derivation. - Mamoun Filali; Philippe Mauran; Gérard Padiou (RTS, 1993)

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)

Try and Patch: An Approach to Improve the Trust in Software Components. - Pham Thi Xuan Loc; Philippe Mauran; Gérard Padiou (ICEIS (1), 2003)

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

Sûreté de Service des Composants. - Pham Thi Xuan Loc; Philippe Mauran; Gérard Padiou (RIVF, 2003)

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

Supervising Distributed Black Boxes. - Philippe Mauran; Gérard Padiou; Pham Thi Xuan Loc (CBSE, 2006)

Safe Adaptation of Component Coordination. - Christophe Sibertin-Blanc; Philippe Mauran; Gérard Padiou (WCAT@ECOOP, 2006)

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

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)

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

Acadoop, a lightweight MapReduce framework for education and prototyping. - Zakaria Aarab; Walid El Haimouti; Hamza Idbenouakrim; Aissam Ouinou; Ayoub Ratbi; Philippe Mauran; Alain Tchana (NOTERE, 2016)