Gérard Padiou

Publication Activity (10 Years)

Years Active: 1981-2013
Publications (10 Years): 0

Top Topics

Data Repositories

Computing Environments

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of distributed multiperiodic systems to achieve consistent data matching. Concurr. Comput. Pract. Exp. 25 (2) (2013)
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of distributed multi-periodic systems to achieve consistent data matching. NOTERE (2010)
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal data matching in component based real time systems. SIES (2009)
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems. Scalable Comput. Pract. Exp. 10 (3) (2009)
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real time behavior of data in distributed embedded systems. IMCSIT (2008)
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Real time data consistency in component based embedded systems. NOTERE (2008)
Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
Safe Adaptation of Component Coordination. Electron. Notes Theor. Comput. Sci. 189 (2007)
Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Separability to Help Parallel Simulation of Distributed Computations. OPODIS (2007)
Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc
Supervising Distributed Black Boxes. CBSE (2006)
Ibrahim Lokpo, Tra Goore Bi, Christophe Cubat Dit Cros, Gérard Padiou
Ad Hoc Location Service for Mobile Agents. J. Digit. Inf. Manag. 4 (2) (2006)
Ibrahim Lokpo, Michel Babri, Gérard Padiou
Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie. ARIMA J. 4 (2006)
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. PDP (2006)
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal Group Membership in Ad Hoc Networks. PPAM (2005)
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
A Flexible Communication Toolkit for Synchronous Groupware. Systems Communications (2005)
Michel Charpentier, Gérard Padiou, Philippe Quéinnec
Cooperative Mobile Agents to Gather Global Information. NCA (2005)
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Streaming with causality: a practical approach. ACM Multimedia (2005)
Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou
Ad hoc location service for mobile agents. SITIS (2005)
Ibrahim Lokpo, Michel Babri, Gérard Padiou
Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. XP (2004)
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
Sûreté de Service des Composants. RIVF (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)
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS (2003)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
Describing Mobile Computations with Path Vectors. OPODIS (2000)
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)
Gérard Padiou, André Schiper
Distributed Systems and Algorithms - Introduction. Euro-Par (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Observation: An Abstract Communication Mechanism. Parallel Process. Lett. 9 (3) (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Migration: A case study. OPODIS (1999)
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Process. Lett. 8 (4) (1998)
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. Parallel Process. Lett. 8 (4) (1998)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops (1998)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms. WDAG (1996)
Philippe Quéinnec, Gérard Padiou
Derivation of Fault Tolerance Properties of Distributed Algorithms. PODC (1994)
Philippe Quéinnec, Gérard Padiou
Flight plan management in a distributed air traffic control system. ISADS (1993)
Mamoun Filali, Philippe Mauran, Gérard Padiou
Unity, as a Tool for Reactive Systems Specification and Derivation. RTS (1993)
Bamba Ibrahim Lokpo, Gérard Padiou
Reusability in the Occam Language. Struct. Program. 13 (2) (1992)
Gérard Padiou
Nested Coroutines for Exception Handling in Modula-2. Struct. Program. 11 (2) (1990)
F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith
The use of Modula-2 for implementing a distributed kernel. Softw. Eng. J. 4 (2) (1989)
Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah
Distributed Control Through Task Migration via Abstract Networks. ICDCS (1985)
J. M. LaGarde, G. Olivier, Gérard Padiou
An operating system course project. ACM SIGCSE Bull. 13 (2) (1981)