| 2007 |
|---|
| 14 | EE | Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Separability to Help Parallel Simulation of Distributed Computations.
OPODIS 2007: 358-371 |
| 2006 |
|---|
| 13 | 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 |
|---|
| 12 | EE | Cezar Plesca,
Romulus Grigoras,
Philippe Quéinnec,
Gérard Padiou:
Streaming with causality: a practical approach.
ACM Multimedia 2005: 283-286 |
| 11 | 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 |
| 10 | EE | Michel Charpentier,
Gérard Padiou,
Philippe Quéinnec:
Cooperative Mobile Agents to Gather Global Information.
NCA 2005: 271-274 |
| 9 | 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 |
|---|
| 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 |
| 2000 |
|---|
| 7 | 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 |
| 6 | | Philippe Quéinnec,
Mamoun Filali,
Philippe Mauran,
Gérard Padiou:
Describing Mobile Computations with Path Vectors.
OPODIS 2000: 221-234 |
| 1999 |
|---|
| 5 | | Michel Charpentier,
Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Modelling and Verifying Migration: A case study.
OPODIS 1999: 149-164 |
| 4 | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | Michel Charpentier,
Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Abstracting Communication to Reason about Distributed Algorithms.
WDAG 1996: 89-104 |
| 1994 |
|---|
| 1 | | Philippe Quéinnec,
Gérard Padiou:
Derivation of Fault Tolerance Properties of Distributed Algorithms.
PODC 1994: 382 |
