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