- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c17 |      | Michel Charpentier, Radim Bartos, Ying Li: Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks. NCA 2012: 244-248 |
| 2009 | ||
| c16 | | Michel Charpentier, Radim Bartos, Swapnil Bhatia: A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks. ICDCN 2009: 425-436 |
| c15 | | Michel Charpentier, Radim Bartos, Swapnil Bhatia: When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. WOWMOM 2009: 1-6 |
| 2007 | ||
| c14 | | K. Mani Chandy, Michel Charpentier, Agostino Capponi: Towards a theory of events. DEBS 2007: 180-187 |
| c13 | | K. Mani Chandy, Michel Charpentier: Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67 |
| 2006 | ||
| j6 | | |
| 2005 | ||
| c12 | | Michel Charpentier, Gérard Padiou, Philippe Quéinnec: Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274 |
| 2004 | ||
| j5 | | Michel Charpentier, K. Mani Chandy: Specification transformers: a predicate transformer approach to composition. Acta Inf. 40(4): 265-301 (2004) |
| 2003 | ||
| c11 | | |
| 2002 | ||
| j4 | | K. Mani Chandy, Michel Charpentier: An Experiment in Program Composition and Proof. Formal Methods in System Design 20(1): 7-21 (2002) |
| c10 | | |
| c9 | | |
| 2000 | ||
| c8 | | Michel Charpentier, K. Mani Chandy: Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595 |
| c7 | | |
| 1999 | ||
| j3 | | 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) |
| c6 | | 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 |
| c5 | | Michel Charpentier, K. Mani Chandy: Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227 |
| c4 |  | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164 |
| 1998 | ||
| j2 | | 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) |
| j1 | | 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) |
| c3 | | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832 |
| 1997 | ||
| c2 | | |
| 1996 | ||
| c1 | | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104 |
| 1 | Radim Bartos | |
| 2 | Swapnil Bhatia | |
| 3 | Agostino Capponi | |
| 4 | K. Mani Chandy | |
| 5 | Mamoun Filali (Mamoun Filali-Amine) | |
| 6 | Ying Li | |
| 7 | Philippe Mauran | |
| 8 | Gérard Padiou | |
| 9 | Philippe Quéinnec | |
| 10 | Beverly A. Sanders |
Colors in the list of coauthors
Last update Sun May 19 12:05:41 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page