An operating system course project. - J. M. LaGarde; G. Olivier; Gérard Padiou (ACM SIGCSE Bull., 1981)

Distributed Control Through Task Migration via Abstract Networks. - Claude Bétourné; Mamoun Filali; Gérard Padiou; A. Sayah (ICDCS, 1985)

The use of Modula-2 for implementing a distributed kernel. - F. Bichon; Mamoun Filali; Gérard Padiou; R. Smith (Softw. Eng. J., 1989)

Nested Coroutines for Exception Handling in Modula-2. - Gérard Padiou (Struct. Program., 1990)

Reusability in the Occam Language. - Bamba Ibrahim Lokpo; Gérard Padiou (Struct. Program., 1992)

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

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)

Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. - Michel Charpentier; Gérard Padiou (Parallel Process. Lett., 1998)

Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. - Michel Charpentier; Gérard Padiou (Parallel Process. Lett., 1998)

Distributed Systems and Algorithms - Introduction. - Gérard Padiou; André Schiper (Euro-Par, 1999)

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)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. - Ibrahim Lokpo; Michel Babri; Gérard Padiou (XP, 2004)

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)

Ad hoc location service for mobile agents. - Ibrahim Lokpo; Bi Tra Goore; Gérard Padiou (SITIS, 2005)

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

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

Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie. - Ibrahim Lokpo; Michel Babri; Gérard Padiou (ARIMA J., 2006)

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

Ad Hoc Location Service for Mobile Agents. - Ibrahim Lokpo; Bi Tra Goore; Christophe Cubat Dit Cros; Gérard Padiou (J. Digit. Inf. Manag., 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)