Gérard Padiou

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou: Analysis of distributed multiperiodic systems to achieve consistent data matching. Concurrency and Computation: Practice and Experience 25(2): 234-249 (2013)

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

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Real Time Behavior of Data in Distributed Embedded Systems. Scalable Computing: Practice and Experience 10(3) (2009)

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

Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Real time behavior of data in distributed embedded systems. IMCSIT 2008: 569-575

Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou: Safe Adaptation of Component Coordination. Electr. Notes Theor. Comput. Sci. 189: 69-85 (2007)

Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Separability to Help Parallel Simulation of Distributed Computations. OPODIS 2007: 358-371

Ibrahim Lokpo, Tra Goore Bi, Christophe Cubat Dit Cros, Gérard Padiou: Ad Hoc Location Service for Mobile Agents. JDIM 4(2): 131-135 (2006)

Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc: Supervising Distributed Black Boxes. CBSE 2006: 166-181

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

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: A Flexible Communication Toolkit for Synchronous Groupware. ICW/ICHSN/ICMCS/SENET 2005: 216-221

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

Michel Charpentier, Gérard Padiou, Philippe Quéinnec: Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274

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

Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou: Ad hoc location service for mobile agents. SITIS 2005: 156-161

Ibrahim Lokpo, Michel Babri, Gérard Padiou: Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. XP 2004: 262-265

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: 203-218 (2003)

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

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

Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou: Sûreté de Service des Composants. RIVF 2003: 159-162

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

Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Observation: An Abstract Communication Mechanism. Parallel Processing Letters 9(3): 437-450 (1999)

Gérard Padiou, André Schiper: Distributed Systems and Algorithms - Introduction. Euro-Par 1999: 767-768

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

Michel Charpentier, Gérard Padiou: Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. Parallel Processing Letters 8(4): 421-432 (1998)

Michel Charpentier, Gérard Padiou: Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Processing Letters 8(4): 433-445 (1998)

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

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

Philippe Quéinnec, Gérard Padiou: Derivation of Fault Tolerance Properties of Distributed Algorithms. PODC 1994: 382

Bamba Ibrahim Lokpo, Gérard Padiou: Reusability in the Occam Language. Structured Programming 13(2): 65-74 (1992)

Gérard Padiou: Nested Coroutines for Exception Handling in Modula-2. Structured Programming 11(2): 79-84 (1990)

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