| 2009 |
|---|
| 21 | EE | Michel Charpentier,
Radim Bartos,
Swapnil Bhatia:
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks.
ICDCN 2009: 425-436 |
| 2007 |
|---|
| 20 | EE | K. Mani Chandy,
Michel Charpentier,
Agostino Capponi:
Towards a theory of events.
DEBS 2007: 180-187 |
| 19 | EE | K. Mani Chandy,
Michel Charpentier:
Self-Similar Algorithms for Dynamic Distributed Systems.
ICDCS 2007: 67 |
| 2006 |
|---|
| 18 | EE | Michel Charpentier:
Composing invariants.
Sci. Comput. Program. 60(3): 221-243 (2006) |
| 2005 |
|---|
| 17 | EE | Michel Charpentier,
Gérard Padiou,
Philippe Quéinnec:
Cooperative Mobile Agents to Gather Global Information.
NCA 2005: 271-274 |
| 2004 |
|---|
| 16 | EE | Michel Charpentier,
K. Mani Chandy:
Specification transformers: a predicate transformer approach to composition.
Acta Inf. 40(4): 265-301 (2004) |
| 2003 |
|---|
| 15 | EE | Michel Charpentier:
Composing Invariants.
FME 2003: 401-421 |
| 2002 |
|---|
| 14 | EE | Michel Charpentier:
An Approach to Composition Motivated by wp.
FASE 2002: 1-14 |
| 13 | EE | Michel Charpentier,
Beverly A. Sanders:
Workshop Introduction.
IPDPS 2002 |
| 12 | | K. Mani Chandy,
Michel Charpentier:
An Experiment in Program Composition and Proof.
Formal Methods in System Design 20(1): 7-21 (2002) |
| 2000 |
|---|
| 11 | EE | Michel Charpentier,
K. Mani Chandy:
Reasoning about Composition Using Property Transformers and Their Conjugates.
IFIP TCS 2000: 580-595 |
| 10 | | Michel Charpentier,
K. Mani Chandy:
Theorems about Composition.
MPC 2000: 167-186 |
| 1999 |
|---|
| 9 | | Michel Charpentier,
K. Mani Chandy:
Examples of Program Composition Illustrating the Use of Universal Properties.
IPPS/SPDP Workshops 1999: 1215-1227 |
| 8 | | Michel Charpentier,
Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Modelling and Verifying Migration: A case study.
OPODIS 1999: 149-164 |
| 7 | EE | Michel Charpentier,
K. Mani Chandy:
Towards a Compositional Approach to the Design and Verification of Distributed Systems.
World Congress on Formal Methods 1999: 570-589 |
| 6 | 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 |
|---|
| 5 | | Michel Charpentier,
Mamoun Filali,
Philippe Mauran,
Gérard Padiou,
Philippe Quéinnec:
Tailoring UNITY to Distributed Program Design.
IPPS/SPDP Workshops 1998: 820-832 |
| 4 | | 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) |
| 3 | | 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) |
| 1997 |
|---|
| 2 | | Michel Charpentier:
A UNITY Mapping Operator for Distributed Programs.
FME 1997: 665-684 |
| 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 |
