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
Activités
de recherche dans l'équipe Acadie :
Ces activités sont
centrées sur l'utilisation de méthodes formelles pour modéliser et
analyser des algorithmes ou/et systèmes répartis à contraintes
temporelles. Pour une présentation générale de ces activités, se
reporter à la présentation générale de l'équipe Acadie.
Une liste globale des publications est accessible par interrogation de
la base de
publications de l'IRIT.
Principales
publications classées par thématiques étudiées :
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.
Simulation
distribuée :
Philippe Mauran, Philippe
Quéinnec, Gérard Padiou. Separability to help
Parallel Simulation of Distributed Computations.
International Conference On Principles Of Distributed Systems (OPODIS
2007), Guadeloupe, 17/12/2007-20/12/2007, Hacene Fouchal, Eduardo
Tovar, Philippas Tsigas (Eds.), Springer-Verlag, LNCS, p. 358-371,
2007.
Cohérence
des données dans les systèmes embarqués :
Nadège Pontisso, Gérard Padiou,
Philippe Quéinnec. Real
time data consistency in component based embedded systems.
International conference on New technologies in distributed systems -
Atelier Cohérence Des Données en Univers Réparti (NOTERE - CDUR 2008),
Lyon, 23/06/2008, ACM, p. 1-6, juin / june 2008.
Tanguy Le Berre, Philippe
Mauran, Gérard Padiou, Philippe Quéinnec. Real Time Behavior of
Data in Distributed Embedded Systems.
SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social
Psychology, Vol. 10 N°3, p. 229-239, septembre / september 2009.
Publications
récentes
Nadège Pontisso, Philippe Quéinnec,
Gérard Padiou. Temporal Data
Matching in Component Based Real Time Systems (short paper). IEEE International Symposium on Industrial Embedded Systems
(SIES 2009), Lausanne, Suisse, 08/07/2009-10/07/2009, IEEE Computer
Society, p. 62-65, juillet / july 2009.
Tanguy Le Berre, Philippe Mauran,
Gérard Padiou, Philippe Quéinnec.A
Data Oriented Approach for Real-Time Systems. International Conference on Real-Time and Network Systems (RTNS
2009), Paris, France, 26/10/2009-27/10/2009, IEEE Computer Society,
octobre / october 2009
Philippe Mauran, Gérard Padiou,
Philippe Quéinnec, Bernard Delatte. Using Separability to
Enable Time-Consistent Distributed Space Simulation.
Data Systems In Aerospace (DASIA 2009), Istanbul Turquie,
26/05/2009-29/05/2009, ESA, p. 281-284, 2009.
