SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Gérard Padiou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc
Supervising Distributed Black Boxes. [Citation Graph (0, 0)][DBLP]
CBSE, 2006, pp:166-181 [Conf]
Gérard Padiou, André Schiper
Distributed Systems and Algorithms - Introduction. [Citation Graph (0, 0)][DBLP]
Euro-Par, 1999, pp:767-768 [Conf]
Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah
Distributed Control Through Task Migration via Abstract Networks. [Citation Graph (0, 0)][DBLP]
ICDCS, 1985, pp:532-538 [Conf]
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
Try and Patch: An Approach to Improve the Trust in Software Components. [Citation Graph (0, 0)][DBLP]
ICEIS (1), 2003, pp:505-508 [Conf]
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
A Flexible Communication Toolkit for Synchronous Groupware. [Citation Graph (0, 0)][DBLP]
ICW/ICHSN/ICMCS/SENET, 2005, pp:216-221 [Conf]
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to Distributed Program Design. [Citation Graph (0, 0)][DBLP]
IPPS/SPDP Workshops, 1998, pp:820-832 [Conf]
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and Its Validation. [Citation Graph (0, 0)][DBLP]
IPDPS, 2003, pp:236- [Conf]
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. [Citation Graph (0, 0)][DBLP]
IPDPS Workshops, 2000, pp:1027-1036 [Conf]
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Streaming with causality: a practical approach. [Citation Graph (0, 0)][DBLP]
ACM Multimedia, 2005, pp:283-286 [Conf]
Michel Charpentier, Gérard Padiou, Philippe Quéinnec
Cooperative Mobile Agents to Gather Global Information. [Citation Graph (0, 0)][DBLP]
NCA, 2005, pp:271-274 [Conf]
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Migration: A case study. [Citation Graph (0, 0)][DBLP]
OPODIS, 1999, pp:149-164 [Conf]
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
Describing Mobile Computations with Path Vectors. [Citation Graph (0, 0)][DBLP]
OPODIS, 2000, pp:221-234 [Conf]
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. [Citation Graph (0, 0)][DBLP]
PDP, 2006, pp:316-321 [Conf]
Philippe Quéinnec, Gérard Padiou
Derivation of Fault Tolerance Properties of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
PODC, 1994, pp:382- [Conf]
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal Group Membership in Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
PPAM, 2005, pp:51-58 [Conf]
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou
Sûreté de Service des Composants. [Citation Graph (0, 0)][DBLP]
RIVF, 2003, pp:159-162 [Conf]
Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou
Ad hoc location service for mobile agents. [Citation Graph (0, 0)][DBLP]
SITIS, 2005, pp:156-161 [Conf]
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
WDAG, 1996, pp:89-104 [Conf]
Ibrahim Lokpo, Michel Babri, Gérard Padiou
Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. [Citation Graph (0, 0)][DBLP]
XP, 2004, pp:262-265 [Conf]
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. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. [Citation Graph (0, 0)][DBLP]
Parallel Processing Letters, 1998, v:8, n:4, pp:421-432 [Journal]
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Observation: An Abstract Communication Mechanism. [Citation Graph (0, 0)][DBLP]
Parallel Processing Letters, 1999, v:9, n:3, pp:437-450 [Journal]
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. [Citation Graph (0, 0)][DBLP]
Parallel Processing Letters, 1998, v:8, n:4, pp:433-445 [Journal]
Bamba Ibrahim Lokpo, Gérard Padiou
Reusability in the Occam Language. [Citation Graph (0, 0)][DBLP]
Structured Programming, 1992, v:13, n:2, pp:65-74 [Journal]
Gérard Padiou
Nested Coroutines for Exception Handling in Modula-2. [Citation Graph (0, 0)][DBLP]
Structured Programming, 1990, v:11, n:2, pp:79-84 [Journal]
Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
Safe Adaptation of Component Coordination. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:189, n:, pp:69-85 [Journal]
Separability to Help Parallel Simulation of Distributed Computations. [Citation Graph (, )][DBLP]
Temporal data matching in component based real time systems. [Citation Graph (, )][DBLP]
Real time behavior of data in distributed embedded systems. [Citation Graph (, )][DBLP]
Analysis of distributed multi-periodic systems to achieve consistent data matching. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.511secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP