Michel Charpentier

According to our database1, Michel Charpentier authored at least 23 papers between 1996 and 2015.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Performance analysis of local algorithms in large-scale disconnected networks.
Proceedings of the 12th Annual IEEE Consumer Communications and Networking Conference, 2015

Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks.
Proceedings of the 11th IEEE International Symposium on Network Computing and Applications, 2012

When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors.
Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks.
Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

Self-Similar Algorithms for Dynamic Distributed Systems.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Towards a theory of events.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

Cooperative Mobile Agents to Gather Global Information.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Specification transformers: a predicate transformer approach to composition.
Acta Inf., 2004

Composing Invariants.
Proceedings of the FME 2003: Formal Methods, 2003

An Experiment in Program Composition and Proof.
Formal Methods in System Design, 2002

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

An Approach to Composition Motivated by wp.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Theorems about Composition.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Reasoning about Composition Using Property Transformers and Their Conjugates.
Proceedings of the Theoretical Computer Science, 2000

The Observation: An Abstract Communication Mechanism.
Parallel Processing Letters, 1999

Modelling and Verifying Migration: A case study.
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.
Proceedings of the Parallel and Distributed Processing, 1999

Towards a Compositional Approach to the Design and Verification of Distributed Systems.
Proceedings of the FM'99 - Formal Methods, 1999

Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.
Parallel Processing Letters, 1998

Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.
Parallel Processing Letters, 1998

Tailoring UNITY to Distributed Program Design.
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

A UNITY Mapping Operator for Distributed Programs.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Abstracting Communication to Reason about Distributed Algorithms.
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996