Publications de
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
Dans : Studia Informatica, Vol. special issue, p. 151-166, 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The observation : an abstract communication mechanism
Dans : Parallel Processing Letters, World Scientific Publishing Company, ., Vol. 9 N. 3, 1999.
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR protocol using Unity : Correctness Proof
Dans : Parallel Processing Letters, World Scientific Publishing Company, 57 Shelton Street, London WC2H 9HE, England, Vol. 8 N. 4, p. 433-445, 1998.
Michel Charpentier, Gérard Padiou
Specification and Verification of the ATMR Protocol using Unity : modeling and specification of the protocol
Dans : Parallel Processing Letters, World Scientific Publishing Company, 57 Shelton Street, Londo WC2H 9HE, England, Vol. 8 N. 4, p. 421-432, 1998.
Michel Charpentier, A. El Hadiri, Gérard Padiou
Preuve Automatique dans un Environnement de Développement Unity
Dans : RAIRO Technique et Science Informatiques, Hermès, Vol. 15, N. 1, p. 37-63, janvier 1996.
Gérard Padiou, Michel Charpentier, Philippe Quéinnec
Collaborative Mobile Agents to gather Global Information
Dans : The 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/05-29/07/05, IEEE Computer Society, p. 120-123, juillet 2005.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
Dans : 3rd Int’l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, p. 151-166, octobre 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to distributed program design
Dans : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA’98), ., ., avril 1998.
Michel Charpentier, Gérard Padiou
Specification and verification of the ATMR protocol using UNITY
Dans : Second International Workshop on Formal methods for parallel programming : theory and applications, –, Dominique Méry, avril 1997.
A UNITY composition operator for distributed programs
Dans : Fourth Int’l FME symposium, –, -, septembre 1997.
Description de systèmes réactifs répartis à partir d’une sémantique par entrelacement
Dans : Actes des huitièmes Rencontres francophones du Parallélisme, –, -, mai 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms
Dans : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG’96), –, Springer-Verlag, LNCS 1151, octobre 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
Dans : Journées du GDR Programmation, –, -, novembre 1995.
Michel Charpentier, A. El Hadiri, Gérard Padiou
A UNITY-based Algorithm Design Assistant
Dans : Workshop on Tools and Algorithms for the Construction and Analysis of Systems, –, BRICS Notes Series NS-095-2, Aarhus, Danmark, p. 131-145, mai 1995.
Assistance à la répartition des systèmes réactifs
Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 1997.