Philippe Mauran

	2007
13		Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Separability to Help Parallel Simulation of Distributed Computations. OPODIS 2007: 358-371
12		Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou: Safe Adaptation of Component Coordination. Electr. Notes Theor. Comput. Sci. 189: 69-85 (2007)
	2006
11		Philippe Mauran, Gérard Padiou, Pham Thi Xuan Loc: Supervising Distributed Black Boxes. CBSE 2006: 166-181
	2005
10		Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
	2003
9		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
8		Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
7		Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou: Sûreté de Service des Composants. RIVF 2003: 159-162
	2000
6		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
5		Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
	1999
4		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164
3		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
2		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832
	1996
1		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104

Coauthor Index

1	Michel Charpentier	[1] [2] [3] [4]
2	Mamoun Filali	[1] [2] [3] [4] [5] [6] [8] [10]
3	Valérie Issarny	[10]
4	Pham Thi Xuan Loc	[7] [9] [11]
5	Gérard Padiou	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
6	Philippe Quéinnec	[1] [2] [3] [4] [5] [6] [8] [10] [13]
7	Christophe Sibertin-Blanc	[12]
8	Xavier Thirioux	[6]