According to our database1, Michel Charpentier authored at least 23 papers between 1996 and 2015.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the FME 2003: Formal Methods, 2003
An Experiment in Program Composition and Proof.
Formal Methods in System Design, 2002
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