dblp.uni-trier.dewww.uni-trier.de

Gérard Padiou Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
28EENadege Pontisso, Philippe Quéinnec, Gérard Padiou: Temporal data matching in component based real time systems. SIES 2009: 62-65
2007
27EEPhilippe Mauran, Gérard Padiou, Philippe Quéinnec: Separability to Help Parallel Simulation of Distributed Computations. OPODIS 2007: 358-371
26EEChristophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou: Safe Adaptation of Component Coordination. Electr. Notes Theor. Comput. Sci. 189: 69-85 (2007)
2006
25EEPhilippe Mauran, Gérard Padiou, Pham Thi Xuan Loc: Supervising Distributed Black Boxes. CBSE 2006: 166-181
24EECezar 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
2005
23EECezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: Streaming with causality: a practical approach. ACM Multimedia 2005: 283-286
22EECezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: A Flexible Communication Toolkit for Synchronous Groupware. ICW/ICHSN/ICMCS/SENET 2005: 216-221
21EEMichel Charpentier, Gérard Padiou, Philippe Quéinnec: Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274
20EEMamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
19EEIbrahim Lokpo, Tra Goore Bi, Gérard Padiou: Ad hoc location service for mobile agents. SITIS 2005: 156-161
2004
18EEIbrahim Lokpo, Michel Babri, Gérard Padiou: Assistance for Supporting XP Test Practices in a Distributed CSCW Environment. XP 2004: 262-265
2003
17 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
16EEMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
15EEPham Thi Xuan Loc, Philippe Mauran, Gérard Padiou: Sûreté de Service des Composants. RIVF 2003: 159-162
14EEBernard 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: (2003)
2000
13EEMamoun 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
12 Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
1999
11EEGérard Padiou, André Schiper: Distributed Systems and Algorithms - Introduction. Euro-Par 1999: 767-768
10 Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164
9EEMichel 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)
1998
8 Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832
7 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)
6 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)
1996
5EEMichel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104
1994
4 Philippe Quéinnec, Gérard Padiou: Derivation of Fault Tolerance Properties of Distributed Algorithms. PODC 1994: 382
1992
3 Bamba Ibrahim Lokpo, Gérard Padiou: Reusability in the Occam Language. Structured Programming 13(2): 65-74 (1992)
1990
2 Gérard Padiou: Nested Coroutines for Exception Handling in Modula-2. Structured Programming 11(2): 79-84 (1990)
1985
1 Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah: Distributed Control Through Task Migration via Abstract Networks. ICDCS 1985: 532-538

Coauthor Index

1Michel Babri [18]
2J. L. Bernartt [14]
3Bernard Berthomieu [14]
4Claude Bétourné [1]
5Tra Goore Bi [19]
6Jean-Paul Bodeveix [14]
7Michel Charpentier [5] [6] [7] [8] [9] [10] [21]
8Pierre Dissaux [14]
9Jean Fanchon [24]
10Patrick Farail [14]
11Jean-Marie Farines [14]
12Mamoun Filali [1] [5] [8] [9] [10] [12] [13] [14] [16] [20]
13Pierre Gauffilet [14]
14Romulus Grigoras [22] [23] [24]
15Valérie Issarny [20]
16Jean-Luc Lambert [14]
17Pham Thi Xuan Loc [15] [17] [25]
18Bamba Ibrahim Lokpo [3]
19Ibrahim Lokpo [18] [19]
20Philippe Mauran [5] [8] [9] [10] [12] [13] [15] [16] [17] [20] [25] [26] [27]
21Pierre Michel [14]
22Cezar Plesca [22] [23] [24]
23Nadege Pontisso [28]
24Philippe Quéinnec [4] [5] [8] [9] [10] [12] [13] [16] [20] [21] [22] [23] [24] [27] [28]
25Pierre-Olivier Ribet [14]
26A. Sayah [1]
27André Schiper [11]
28Christophe Sibertin-Blanc [26]
29Xavier Thirioux [13]
30François Vernadat [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)