Michel Charpentier

According to our database, Michel Charpentier authored at least 24 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

When Black-box Testing is Not Enough - on Designing Auto-graded Programming Assignments.

Karen H. Jin, Michel Charpentier

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2015

Performance analysis of local algorithms in large-scale disconnected networks.

Ying Li, Radim Bartos, Michel Charpentier

Proceedings of the 12th Annual IEEE Consumer Communications and Networking Conference, 2015

2012

Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks.

Michel Charpentier, Radim Bartos, Ying Li

Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

2009

When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors.

Michel Charpentier, Radim Bartos, Swapnil Bhatia

Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks.

Michel Charpentier, Radim Bartos, Swapnil Bhatia

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2007

Self-Similar Algorithms for Dynamic Distributed Systems.

K. Mani Chandy, Michel Charpentier

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Towards a theory of events.

K. Mani Chandy, Michel Charpentier, Agostino Capponi

Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006

Composing invariants.

Michel Charpentier

Sci. Comput. Program., 2006

2005

Cooperative Mobile Agents to Gather Global Information.

Michel Charpentier, Gérard Padiou, Philippe Quéinnec

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

2004

Specification transformers: a predicate transformer approach to composition.

Michel Charpentier, K. Mani Chandy

Acta Informatica, 2004

2002

An Experiment in Program Composition and Proof.

K. Mani Chandy, Michel Charpentier

Formal Methods Syst. Des., 2002

Workshop Introduction.

Michel Charpentier, Beverly A. Sanders

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

An Approach to Composition Motivated by wp.

Michel Charpentier

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000

Theorems about Composition.

Michel Charpentier, K. Mani Chandy

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Reasoning about Composition Using Property Transformers and Their Conjugates.

Michel Charpentier, K. Mani Chandy

Proceedings of the Theoretical Computer Science, 2000

1999

The Observation: An Abstract Communication Mechanism.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Parallel Process. Lett., 1999

Modelling and Verifying Migration: A case study.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

Examples of Program Composition Illustrating the Use of Universal Properties.

Michel Charpentier, K. Mani Chandy

Proceedings of the Parallel and Distributed Processing, 1999

Towards a Compositional Approach to the Design and Verification of Distributed Systems.

Michel Charpentier, K. Mani Chandy

Proceedings of the FM'99 - Formal Methods, 1999

1998

Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.

Michel Charpentier, Gérard Padiou

Parallel Process. Lett., 1998

Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.

Michel Charpentier, Gérard Padiou

Parallel Process. Lett., 1998

Tailoring UNITY to Distributed Program Design.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997

A UNITY Mapping Operator for Distributed Programs.

Michel Charpentier

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Abstracting Communication to Reason about Distributed Algorithms.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec

Proceedings of the Distributed Algorithms, 10th International Workshop, 1996