| 2007 |
|---|
| 13 | EE | Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Separability to Help Parallel Simulation of Distributed Computations.
OPODIS 2007: 358-371 |
| 12 | EE | Christophe Sibertin-Blanc,
Philippe Mauran,
Gérard Padiou:
Safe Adaptation of Component Coordination.
Electr. Notes Theor. Comput. Sci. 189: 69-85 (2007) |
| 2006 |
|---|
| 11 | EE | Philippe Mauran,
Gérard Padiou,
Pham Thi Xuan Loc:
Supervising Distributed Black Boxes.
CBSE 2006: 166-181 |
| 2005 |
|---|
| 10 | 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 |
| 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 | EE | Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
The Reconstruction of a Mobile Agent Computation and Its Validation.
IPDPS 2003: 236 |
| 7 | EE | Pham Thi Xuan Loc,
Philippe Mauran,
Gérard Padiou:
Sûreté de Service des Composants.
RIVF 2003: 159-162 |
| 2000 |
|---|
| 6 | 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 |
| 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 | 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 |
|---|
| 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 |
