Gérard Padiou

2007
27	EE	Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Separability to Help Parallel Simulation of Distributed Computations. OPODIS 2007: 358-371
26	EE	Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou: Safe Adaptation of Component Coordination. Electr. Notes Theor. Comput. Sci. 189: 69-85 (2007)
2006
25	EE	Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc: Supervising Distributed Black Boxes. CBSE 2006: 166-181
24	EE	Cezar 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
23	EE	Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: Streaming with causality: a practical approach. ACM Multimedia 2005: 283-286
22	EE	Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: A Flexible Communication Toolkit for Synchronous Groupware. ICW/ICHSN/ICMCS/SENET 2005: 216-221
21	EE	Michel Charpentier, Gérard Padiou, Philippe Quéinnec: Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274
20	EE	Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
19	EE	Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou: Ad hoc location service for mobile agents. SITIS 2005: 156-161
2004
18	EE	Ibrahim 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
16	EE	Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
15	EE	Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou: Sûreté de Service des Composants. RIVF 2003: 159-162
14	EE	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. Electr. Notes Theor. Comput. Sci. 80: (2003)
2000
13	EE	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: 1027-1036
12		Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
1999
11	EE	Gé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
9	EE	Michel 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
5		Michel 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

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

Colors in the list of coauthors