Michel Charpentier

According to our database1, Michel Charpentier
  • authored at least 24 papers between 1996 and 2015.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2012
Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks.
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.
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

2007
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

2006
Composing invariants.
Sci. Comput. Program., 2006

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

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

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

2002
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

2000
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

1999
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

1998
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.
IPPS/SPDP Workshops, 1998

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

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


  Loading...