Michel Charpentier

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 2

Top Topics

Recently Developed

Programming Assignments

Top Venues

Publications

Karen H. Jin, Michel Charpentier
When Black-box Testing is Not Enough - on Designing Auto-graded Programming Assignments. SIGCSE (2020)
Ying Li, Radim Bartos, Michel Charpentier
Performance analysis of local algorithms in large-scale disconnected networks. CCNC (2015)
Michel Charpentier, Radim Bartos, Ying Li
Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks. NCA (2012)
Michel Charpentier, Radim Bartos, Swapnil Bhatia
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks. ICDCN (2009)
Michel Charpentier, Radim Bartos, Swapnil Bhatia
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. WOWMOM (2009)
K. Mani Chandy, Michel Charpentier, Agostino Capponi
Towards a theory of events. DEBS (2007)
K. Mani Chandy, Michel Charpentier
Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS (2007)
Michel Charpentier
Composing invariants. Sci. Comput. Program. 60 (3) (2006)
Michel Charpentier, Gérard Padiou, Philippe Quéinnec
Cooperative Mobile Agents to Gather Global Information. NCA (2005)
Michel Charpentier, K. Mani Chandy
Specification transformers: a predicate transformer approach to composition. Acta Informatica 40 (4) (2004)
Michel Charpentier
Composing Invariants. FME (2003)
Michel Charpentier, Beverly A. Sanders
Workshop Introduction. IPDPS (2002)
Michel Charpentier
An Approach to Composition Motivated by wp. FASE (2002)
K. Mani Chandy, Michel Charpentier
An Experiment in Program Composition and Proof. Formal Methods Syst. Des. 20 (1) (2002)
Michel Charpentier, K. Mani Chandy
Theorems about Composition. MPC (2000)
Michel Charpentier, K. Mani Chandy
Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS (2000)
Michel Charpentier, K. Mani Chandy
Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Observation: An Abstract Communication Mechanism. Parallel Process. Lett. 9 (3) (1999)
Michel Charpentier, K. Mani Chandy
Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Migration: A case study. OPODIS (1999)
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Process. Lett. 8 (4) (1998)
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. Parallel Process. Lett. 8 (4) (1998)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops (1998)
Michel Charpentier
A UNITY Mapping Operator for Distributed Programs. FME (1997)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms. WDAG (1996)