Gérard Padiou

According to our database, Gérard Padiou authored at least 38 papers between 1981 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Analysis of distributed multiperiodic systems to achieve consistent data matching.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Concurr. Comput. Pract. Exp., 2013

2010

Analysis of distributed multi-periodic systems to achieve consistent data matching.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

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

Temporal data matching in component based real time systems.

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

2008

Real time data consistency in component based embedded systems.

Nadège Pontisso, Gérard Padiou, Philippe Quéinnec

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

2007

Separability to Help Parallel Simulation of Distributed Computations.

Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

2006

Ad Hoc Location Service for Mobile Agents.

Ibrahim Lokpo, Tra Goore Bi, Christophe Cubat Dit Cros, Gérard Padiou

J. Digit. Inf. Manag., 2006

Safe Adaptation of Component Coordination.

Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 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

A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon

Proceedings of the 14th Euromicro International Conference on Parallel, 2006

Supervising Distributed Black Boxes.

Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Ad hoc location service for mobile agents.

Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou

Proceedings of the 1st International Conference on Signal-Image Technology and Internet-Based Systems, 2005

Maximal Group Membership in Ad Hoc Networks.

Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Cooperative Mobile Agents to Gather Global Information.

Michel Charpentier, Gérard Padiou, Philippe Quéinnec

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Streaming with causality: a practical approach.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou

Proceedings of the 13th ACM International Conference on Multimedia, 2005

A Flexible Communication Toolkit for Synchronous Groupware.

Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

2004

Assistance for Supporting XP Test Practices in a Distributed CSCW Environment.

Ibrahim Lokpo, Michel Babri, Gérard Padiou

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Sûreté de Service des Composants.

Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

The Reconstruction of a Mobile Agent Computation and Its Validation.

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Try and Patch: An Approach to Improve the Trust in Software Components.

Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou

Proceedings of the ICEIS 2003, 2003

2000

Describing Mobile Computations with Path Vectors.

Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Refinement Based Validation of an Algorithm for Detecting Distributed Termination.

Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux

Proceedings of the Parallel and Distributed Processing, 2000

1999

The Observation: An Abstract Communication Mechanism.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Parallel Process. Lett., 1999

Modelling and Verifying Migration: A case study.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

Distributed Systems and Algorithms - Introduction.

Gérard Padiou, André Schiper

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.

Michel Charpentier, Gérard Padiou

Parallel Process. Lett., 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

Tailoring UNITY to Distributed Program Design.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1996

Abstracting Communication to Reason about Distributed Algorithms.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

1994

Derivation of Fault Tolerance Properties of Distributed Algorithms.

Philippe Quéinnec, Gérard Padiou

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Flight plan management in a distributed air traffic control system.

Philippe Quéinnec, Gérard Padiou

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Unity, as a Tool for Reactive Systems Specification and Derivation.

Mamoun Filali, Philippe Mauran, Gérard Padiou

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992

Reusability in the Occam Language.

Bamba Ibrahim Lokpo, Gérard Padiou

Struct. Program., 1992

1990

Nested Coroutines for Exception Handling in Modula-2.

Gérard Padiou

Struct. Program., 1990

1989

The use of Modula-2 for implementing a distributed kernel.

F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith

Softw. Eng. J., 1989

1985

Distributed Control Through Task Migration via Abstract Networks.

Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1981

An operating system course project.

J. M. LaGarde, G. Olivier, Gérard Padiou

ACM SIGCSE Bull., 1981