The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc
    Supervising Distributed Black Boxes. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:166-181 [Conf]
  2. Gérard Padiou, André Schiper
    Distributed Systems and Algorithms - Introduction. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:767-768 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. Philippe Quéinnec, Gérard Padiou
    Derivation of Fault Tolerance Properties of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:382- [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

  27. Separability to Help Parallel Simulation of Distributed Computations. [Citation Graph (, )][DBLP]


  28. Temporal data matching in component based real time systems. [Citation Graph (, )][DBLP]


  29. Real time behavior of data in distributed embedded systems. [Citation Graph (, )][DBLP]


  30. Analysis of distributed multi-periodic systems to achieve consistent data matching. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002