PUBLICATIONS:

Journals.
J-7.
Michel Charpentier. Composing Invariants. Science of Computer Programming, 60:221-243, 2006. (abstract, pdf)
J-6.
Michel Charpentier and K. Mani Chandy. Specification Transformers: A Predicate Transformer Approach to Composition. Acta Informatica, 40(3):265-301, February 2004. (abstract, Postscript, pdf) The original publication is available at www.springerlink.com.
J-5.
K. Mani Chandy and Michel Charpentier. An experiment in program composition and proof. Formal Methods in System Design, 20(1):7-21, January 2002. (abstract)
J-4.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, and Philippe Quéinnec. The observation: an abstract communication mechanism. Parallel Processing Letters, 9(3), 1999. (abstract)
J-3.
Michel Charpentier and Gérard Padiou. Specification and verification of the ATMR protocol using UNITY. Part 2: correctness proof. Parallel Processing Letters, 8(4):433-445, December 1998. (abstract)
J-2.
Michel Charpentier and Gérard Padiou. Specification and verification of the ATMR protocol using UNITY. Part 1: modeling and specification. Parallel Processing Letters, 8(4):421-432, December 1998. (abstract)
J-1.
Michel Charpentier, Abdellah El Hadri, and Gérard Padiou. Preuve automatique dans un environnement de développement UNITY. Technique et Science Informatiques (TSI), 15(1):37-63, January 1996. (abstract in French)

Conferences.
P-21.
Michel Charpentier, Radim Bartos and Ying Li. Local algorithms for robust mission realization in large-scale disconnected networks. In 11th IEEE International Symposium on Network Computing and Applications (NCA'2012), August 2012. (abstract, pdf)
P-20.
Michel Charpentier, Radim Bartos and Ying Li. Interaction patterns for resilient intermittently-connected static sensor networks. In Military Communications Conference (MILCOM'2010), October 2010. (abstract, pdf)
P-19.
Michel Charpentier, Radim Bartos and Swapnil Bhatia. When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. In Third IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications (AOC'2009), June 2009. (abstract, pdf)
P-18.
Michel Charpentier, Radim Bartos and Swapnil Bhatia. A mechanism to structure mission-aware interaction in mobile sensor networks. In 10th International Conference on Distributed Computing and Networking (ICDCN'2009), January 2009. (abstract, pdf)
P-17.
K. Mani Chandy and Michel Charpentier. Self-similar algorithms for dynamic distributed systems. In 27th International Conference on Distributed Computing Systems (ICDCS'2007), June 2007. (abstract, pdf)
P-16.
K. Mani Chandy, Michel Charpentier and Agostino Capponi. Towards a theory of events. In Inaugural Conference on Distributed Event-Based Systems (DEBS'2007), pages 180-187, New York, NY, USA, June 2007. ACM Press. (abstract, pdf)
P-15.
Michel Charpentier, Gérard Padiou, and Philippe Quéinnec. Cooperative mobile agents to gather global information. In 4th International Symposium on Network Computing and Applications (NCA'2005). IEEE Computer Society, July 2005. (abstract, Postscript, pdf)
P-14.
Michel Charpentier. Composing Invariants. In K. Araki, S. Gnesi and D. Mandrioli, editors, 12th International Symposium of Formal Methods Europe (FME'2003), volume 2805 of Lecture Notes in Computer Science, pages 401-421, September 2003, Springer-Verlag. (abstract, Postscript, pdf)
P-13.
Michel Charpentier. An Approach to Composition Motivated by wp. In R.D. Kutsche and H. Weber, editors, Fundamental Approaches to Software Engineering (FASE'2002), volume 2306 of Lecture Notes in Computer Science, pages 1-14, April 2002, Springer-Verlag. (abstract, Postscript, pdf)
P-12.
Michel Charpentier. Reasoning about composition: A predicate transformer approach. Specification and Verification of Component-Based Systems (SAVCBS'2001), pages 42-49, October 2001. Workshop at OOPSLA'2001. (abstract, Postscript, pdf)
P-11.
Michel Charpentier and K. Mani Chandy. Reasoning about composition using property transformers and their conjugates. In J. van Leeuwen, O. Watanabe, M. Hagiya, P.D. Mosses and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP-TCS'2000), volume 1872 of Lecture Notes in Computer Science, pages 580-595, August 2000, Springer-Verlag. (abstract, Postscript)
P-10.
Michel Charpentier and K. Mani Chandy. Theorems about composition. In R. Backhouse and J. Nuno Oliveira, editors, International Conference on Mathematics of Program Construction (MPC'00), volume 1837 of Lecture Notes in Computer Science, pages 167-186, July 2000. Springer-Verlag. (abstract, Postscript)
P-9.
K. Mani Chandy and Michel Charpentier. Predicate transformers for composition. In J. Davies, B. Roscoe, and J. Woodcock, editors, Millennial Perspectives in Computer Science: proccedings of the 1999 Oxford-Microsoft symposium in honour of Sir Tony Hoare, Cornerstones of Computing, pages 81-90. Palgrave, 2000.
P-8.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou and Philippe Quéinnec. Modeling and Verifying Migration: A case study. International Conference On Principles Of DIstributed Systems (OPODIS'99), pages 151-166, October 1999. (abstract, PostScript)
P-7.
Michel Charpentier and K. Mani Chandy. Towards a Compositional Approach to the Design and Verification of Distributed Systems. In J. Wing, J. Woodcock and J. Davies, editors, World Congress on Formal Methods in the Development of Computing Systems (FM'99), volume 1708 of Lecture Notes in Computer Science, pages 570-589, September 1999. Springer-Verlag. (abstract, pdf)
P-6.
Michel Charpentier and K. Mani Chandy. Examples of Program Composition Illustrating the Use of Universal Properties. In José Rolim, editor, International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'99), volume 1586 of Lecture Notes in Computer Science, pages 1215-1227, April 1999. Springer-Verlag. (abstract, PostScript)
P-5.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, and Philippe Quéinnec. Tailoring UNITY to distributed program design. In José Rolim, editor, International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'98), volume 1388 of Lecture Notes in Computer Science, pages 820-832, Orlando, April 1998. Springer-Verlag. (abstract, PostScript)
P-4.
Michel Charpentier. A UNITY mapping operator for distributed programs. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Fourth International Symposium of Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 665-684. Springer-Verlag, September 1997. (abstract, PostScript)
P-3.
Michel Charpentier and Gérard Padiou. Specification and verification of the ATMR protocol using UNITY. In D. Méry, editor, International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'97), pages 26-36, University of Geneva, Switzerland, April 1997. (abstract, PostScript)
P-2.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, and Philippe Quéinnec. Abstracting communication to reason about distributed algorithms. In Ö. Babaoglu and K. Marzullo, editors, Tenth International Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science, pages 89-104. Springer-Verlag, October 1996. (abstract, PostScript)
P-1.
Michel Charpentier, Abdellah El Hadri, and Gérard Padiou. A UNITY-based algorithm design assistant. In Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), pages 131-145, Aarhus, Denmark, May 1995. BRICS Notes Series NS-95-2. (abstract, PostScript)

Dissertations.
D-2.
Michel Charpentier. Assistance à la Répartition de Systèmes Réactifs. PhD thesis, Institut National Polytechnique de Toulouse, France, November 1997. (abstract, PostScript in French)
D-1.
Michel Charpentier. Assistance au raffinement de programmes répartis. Rapport de DEA Informatique Fondamentale et Parallélisme, Institut National Polytechnique de Toulouse, France, July 1993. (abstract in French, PostScript in French)

Michel Charpentier <>
Last modified: Mon Feb 13 11:06:38 EST 2012