Annéé 2002-03 (Horloges et causalité
directe (d'après Vilay K. Garg) version
pdf
Année 2001-02 (Causalité, horloges et
clichés) version pdf
Année 2000-01 (Causalité, horloges et
clichés) version pdf
Principales
publications (liste
complète des publications) :
Modélisation et preuve
: Michel Charpentier, Gérard Padiou, Specification and
verification of the ATMR protocol using Unity, Part 1 : modeling
and specification, Part 2 : correctness proof, Parallel Processing
Letters, 8(4), pp. 421-432 (Part 1) & 433-445 (Part 2), Dec.
1998
Observation : Michel
Charpentier, Mamoun Filali, Philippe Mauran, G. Padiou, Ph.
Quéinnec, The Observation : an abstract communication
mechanism, Parallel Processing Letters, 9(3), 1999
Synthèse : Michel
Charpentier, Mamoun Filali, Philippe Mauran, G. Padiou, Ph.
Quéinnec, Tailoring Unity to distributed program design,
in José Rolim editor, International Workshop on Formal
Methods for Parallel Programming : Theory and Applications (FMPPTA'1998),
Orlando, vol. 1388 of Lectures Notes in Computer Science, pp. 820-832,
Springer-Verlag, April 1998 (abstract)(postscript)
Mobilité : Michel
Charpentier, Mamoun Filali, Philippe Mauran, G. Padiou, Ph.
Quéinnec, Modeling and Verifying Mobility : a case study,
International Conference on Principles of Distributed Systems
(OPODIS'99), pp. 151-166, Oct. 1999 (abstract)(postscript)
Chemins répartis :
Mamoun Filali, Philippe Mauran,
G. Padiou, Ph. Quéinnec, Xavier Thirioux, Refinement based
validation of an algorithm for detecting distributed termination, International
Workshop on Formal Methods for Parallel Programming : Theory and
Applications (FMPPTA'2000), Cancun, May 2000 (abstract)(postscript, short version)(postscript, long version)
Philippe Quéinnec, Mamoun
Filali, Philippe Mauran, Gérard Padiou, Describing Mobile
Computations with Path Vectors, OPODIS'2000, dans Studia
Informatica Universalis, Éditions Suger, pp. 221-234,
Déc. 2000
Calcul parallèle
asynchrone et observations : Ronan Guivarch, Gérard Padiou,
Philippe Papaix . Asynchronous Schwarz alternating method in
observation based distributed environment, Réseaux et
Systèmes Répartis - Calculateurs Parallèles . Eds:
Hermes , Vol. 13(1) , pp. 35-45 , 2001.
Agents mobiles coopérants
et Réseaux dynamiques :
Tra Goore Bi, Ibrahim Lokpo,
Gérard Padiou, Ad hoc location Service for Mobile Agents,
IEEE international Conference on signal-image Technology &
Internet-based Systems (SITIS'05), November 27th-December 1st 2005,
Yaoundé, Cameroun.
Gérard Padiou, Michel
Charpentier, Philippe Quéinnec, Collaborating Mobile Agents
to gather Global Information in Dynamic Networks. Application to
Load Balancing Example. The 4th IEEE International Symposium on
Network Computing and Applications (IEEE NCA05) Juillet 27-29,
2005, Cambridge, MA, USA.
Mamoun Filali, Valérie
Issarny, Philippe Mauran, Gérard Padiou, Philippe
Quéinnec. Maximal group membership in ad hoc networks.
Dans : Sixth International Conference on Parallel Processing and
Applied Mathematics, Poznan (Pologne), 11 septembre 14 septembre 2005.
Springer-Verlag.
Ibrahim Lokpo,Tra Goore Bi,
Christophe Cubat dit Cros, Gérard Padiou, Ad Hoc Location
Service ofr Mobile Agents, Journal of Digital Information
Management, Vol. 4, n° 2, pp. 131-135, mai 2006.
Publications
récentes
Simulation parallèle de
calculs répartis : Philippe Mauran, Philippe
Quéinnec, Gérard Padiou, Separability to help
Parallel Simulation of Distributed Computations, 11th International
Conference On Principles Of Distributed Systems (OPODIS 2007), LNCS
vol. 4878 , Décembre 2007
Cohérence temporelle des
données dans les systèmes embarqués répartis
: Tanguy Le Berre, Philippe Quéinnec, Gérard Padiou, Ensuring
Timed Validity of Distributed Real Time Data, European Congress on
Embedded Real-Time Software (ERTS'2008), Janvier 2008.
