Travelled to:1 × Austria
1 × Italy
2 × France
Collaborated with:∅ K.M.Chandy
Talks about:distribut (2) composit (2) approach (2) program (1) toward (1) system (1) invari (1) design (1) compos (1) verif (1)
Person: Michel Charpentier
DBLP: Charpentier:Michel
Contributed to:
2003
200219991997Wrote 4 papers:
- FME-2003-Charpentier #invariant
- Composing Invariants (MC), pp. 401–421.
- FASE-2002-Charpentier #approach #composition #motivation
- An Approach to Composition Motivated by wp (MC), pp. 1–14.
- FM-v1-1999-CharpentierC #approach #composition #design #distributed #towards #verification
- Towards a Compositional Approach to the Design and Verification of Distributed Systems (MC, KMC), pp. 570–589.
- FME-1997-Charpentier #distributed #source code
- A UNITY Mapping Operator for Distributed Programs (MC), pp. 665–684.