Publications de
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching
Dans : Concurrency and Computation:Practice and Experience, Wiley, Vol. 25 N. 2, p. 234-249, février 2013.
Accès : http://onlinelibrary.wiley.com/doi/10.1002/cpe.2803/abstract – https://oatao.univ-toulouse.fr/12313/
BibTeXTanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems
Dans : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Vol. 10 N. 3, p. 229-239, septembre 2009.
Accès : http://queinnec.perso.enseeiht.fr/publis/SCPE09.pdf
BibTeXChristophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
Safe Adaptation of Component Coordination
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Numéro spécial Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, Vol. 189, p. 69-85, juillet 2007.
Résumé Accès : http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4P5RTKV-6-1&_cdi=13109&_user=4373277&_orig=browse&_coverDate=07%2F17%2F2007&_sk=998109999&view=c&w
BibTeXChristophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou
Safe Adaptation of Component Coordination
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 189, p. 69-85, 2007.
Ibrahim Lokpo, Tra Goore Bi, Cristophe Cubat-Dit Cros, Gérard Padiou
Ad Hoc Location Service for Mobile Agents
Dans : Journal of Digital Information Management (JDIM), Digital Information Research Foundation (DIRF), Vol. 4 N. 2, p. 131-135, mai 2006.
Ronan Guivarch, Gérard Padiou, Philippe Papaix
Asynchronous Schwarz alternating method in observation based distributed environment
Dans : Réseaux et Systèmes Répartis – Calculateurs Parallèles, Hermes, Vol. 13, N. 1, p. 35-45, 2001.
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.
Gérard Padiou, Mamoun Filali, Philippe Quéinnec
Les modèles d’exécution répartie
Dans : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, p. 477-492, 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.
Philippe Quéinnec, Gérard Padiou
Diffussion hiérarchisée fiable pour une mémoire répliquée à grande échelle
Dans : Revue Electronique sur les Réseaux et l’Informatique Répartie, Vol. -, septembre 1995.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching (regular paper)
Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisia, 31/05/10-02/06/10, IEEE : Institute of Electrical and Electronics Engineers, p. 81-88, mai 2010.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou
Temporal Data Matching in Component Based Real Time Systems (short paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/09-10/07/09, IEEE Computer Society, p. 62-65, juillet 2009.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
A Data Oriented Approach for Real-Time Systems (regular paper)
Dans : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, France, 26/10/09-27/10/09, IEEE Computer Society, p. 147-158, octobre 2009.
Tanguy Le Berre, Gérard Padiou, Philippe Quéinnec
Étude du comportement temporel de données réparties
Dans : FAC, Toulouse, 01/04/09-01/04/09.
Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Bernard Delatte
Using Separability to Enable Time-Consistent Distributed Space Simulation
Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, p. 281-284, 2009.
Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran
Data Consistency in a Component Based Space System
Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/09-29/05/09, ESA, p. 277-280, mai 2009.
Nadège Pontisso, Gérard Padiou, Philippe Quéinnec
Cohérence temporelle des calculs répartis embarqués
Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, CNRS, (en ligne), avril 2008.
Accès : http://www.cert.fr/feria/svf/FAC/2008/actes.html
BibTeXNadège Pontisso, Gérard Padiou, Philippe Quéinnec
Real time data consistency in component based embedded systems
Dans : international conference on New technologies in distributed systems – Atelier Cohérence Des Données en Univers Réparti (NOTERE – CDUR 2008), Lyon, 23/06/08, ACM : Association for Computing Machinery, p. 1-6, juin 2008.
Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Real Time Behavior of Data in Distributed Embedded Systems
Dans : International Multiconference on Computer Science and Information Technology, Wisla (Poland), 20/10/08-22/10/08, Polish Information Processing Society, p. 569-575, octobre 2008.
Tanguy Le Berre, Philippe Quéinnec, Gérard Padiou
Ensuring Timed Validity of Distributed Real Time Data
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, 29/01/08-01/02/08, SIA/3AF/SEE, (en ligne), janvier 2008.
Accès : http://www.sia.fr/dyn/publications_detail.asp?codepublication=R-2008-01-1B05
BibTeXPhilippe Mauran, Philippe Quéinnec, Gérard Padiou
Separability to help Parallel Simulation of Distributed Computations
Dans : International Conference On Principles Of Distributed Systems (OPODIS 2007), Guadeloupe, 17/12/07-20/12/07, Hacene Fouchal, Eduardo Tovar, Philippas Tsigas (Eds.), Springer-Verlag, LNCS, p. 358-371, 2007.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW
Dans : Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2006), Montbéliard, France, 15/02/06-17/02/06, IEEE : Institute of Electrical and Electronics Engineers, p. 316-321, février 2006.
Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou, Christophe Sibertin-Blanc
Quelques problèmes typiques des TIC au Vietnam (en vietnamien)
Dans : Conférence nationale sur l’enseignement assisté par ordinateur, Dalat (Vietnam), 15/06/06-17/06/06, Dalat University, (support électronique), juin 2006.
Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi
Safe dynamic Adaptation of Interaction Protocols
Dans : International Workshop on Coordination and Adaptation for Software Entities (WCAT 2006), Nantes, 04/07/06-04/07/06, Vol. Technical Report IBISC RR 2006, Steffen Becker, Carlos Canal, Nicolay Diakov, Juan M. Murillo, Pascal Poizat (Eds.), Laboratoire IBISC (Genopole), p. 81-90, juillet 2006.
Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi
Supervising Distributed Black Boxes
Dans : International Symposium on Component-Based Software Engineering (CBSE 2006), Västeras, Sweden, 29/06/06-01/07/06, Vol. 4063, Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford (Eds.), Springer-Verlag, LNCS, p. 166-181, juillet 2006.
Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou
Ad Hoc Location Service for Mobile Agents
Dans : IEEE International Conference on signal-image technology ans Internet-based Systems, Yaoundé, Cameroun, 27/11/05-01/12/05, IEEE, p. 125-132, novembre 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
A Flexible Communication Toolkit for Synchronous Groupware
Dans : ICMCS 2005 (International Conference on Multimedia Communication Systems, Montreal, 14/08/05-17/08/05, IARIA, p. 10-15, août 2005.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Streaming with Causality : A Practical Approach
Dans : ACM Multimedia 2005, Singapore, 06/11/05-11/11/05, Sheridan Printing Company, p. 10-14, novembre 2005.
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/09/05-14/09/05, LNCS Vol. 3911, Springer-Verlag, p. 51-58, septembre 2005.
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.
Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou
Adaptive multimodal communication for multimedia
Dans : EUROMEDIA, Toulouse, 11/04/05, EUROSIS-ETI, Ghent University Faculty of Engineering Dept. of Industrial Mgmt. Technologiepark 903 Campus Ardoyen B- 9052 Ghent-Zwijnaarde Belgium, p. 183-189, avril 2005.
Gérard Padiou, Philippe Quéinnec, Philippe Mauran, Cristophe Cubat-Dit Cros
Composants mobiles fondés sur des agents mobiles coopérants
Dans : Journées Composants, Le Croisic, France, 05/04/05-08/04/05, ASF : Association ACM-SIGOPS de France, p. 80-86, avril 2005.
Tra Goore Bi, Ibrahim Lokpo, Gérard Padiou
Localisation décentralisée et adaptative d’agents mobiles dans les réseaux dynamiques
Dans : RenPar’16 : Rencontres francophones du Parallélisme, Le Croisic, France, 05/04/05-08/04/05, Association ACM/SIGOPS de France, p. 213-218, avril 2005.
Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi
Instrumenter pour superviser, superviser pour adapter, adapter pour réutiliser
Dans : RIVF 2005 – Troisième Conférence Internationale en Informatique :Recherche, Innovation & Vision du Futur, Can Tho, Vietnam, 21/02/05-24/02/05, Patrick Bellot, Marc Bui, Dinh-Tri Nguyen (Eds.), Editions SUGER, Collection Informatique, 41 rue Gay Lussac, F-75005 Paris, p. 234-242, février 2005.
Ibrahim Lokpo, Michel Babri, Gérard Padiou
Un environnement XP de tests unitaires répartis
Dans : 7ième Colloque Africain sur la Recherche en Informatique (CARI 2004), Hammamet (Tunisie), 22/11/04-25/11/04, Mohamed Jaoua, Bernard Philippe, Maurice Tchuente (Eds.), Revue africaine de la recherche en informatiqueet mathématiques appliquées (ARIMA), INRIA, p. 120-128, novembre 2004.
Ibrahim Lokpo, Michel Babri, Gérard Padiou
Assistance for supporting XP test practices in a distributed CSCW environment
Dans : Fifth International Conference on Extreme Programming and Agile Processes in Software Engineering (XP-2004), Garmisch-Partenkirchen, 06/06/04-10/06/04.
Romulus Grigoras, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Ordonnancement causal de flux répartis multimédia
Dans : Journées Formalisation des Activités Concurrentes FAC-2003, TOULOUSE, 12/04/03-13/04/03.
Xuan Loc Pham Thi, Philippe Mauran, Gérard Padiou
Try and patch : an approach to improve the trust in software components
Dans : Fifth International Conference on Enterprise Information Systems, Angers, 23/04/03-26/04/03, Olivier Camp, Joaquim Filipe, Slimane Hammoudi, Mario Piattini (Eds.), Excola Superior de Tecnologia de Setubal, Campus do Instituto Politecnico de Setubalrua do Vale de Chaves, Estefanilha, 2910-761 Setubal, Portugal, p. 505-508, avril 2003.
Xuan Loc Pham Thi, Philippe Mauran, Gérard Padiou
Sûreté de service des composants logiciels
Dans : First International Conference RIVF’03, Hanoi, 10/02/03-13/02/03, Marc Bui (Eds.), Editions SUGER, Collection Informatique, 41 rue Gay Lussac, F-75005 Paris, p. 159-162, février 2003.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Set based trees for the validation of a diffusing computation reconstruction algorithm
Dans : 2nd Int’l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/03-06/06/03, ?, juin 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
BibTeXBernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: TheCotre approach
Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeXMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and its Validation
Dans : Int’l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/03-26/04/03, IEEE, avril 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
BibTeXXuan Loc Pham Thi, Philippe Mauran, Gérard Padiou
Essayer et adapter : une approche pour améloirer la confiance dans l’usage d’un composant
Dans : Journées Systèmes à composants adaptables et extensibles, Grenoble, 17/10/02-18/10/02, Michel Riveill, Aline Senart, Olivier Charra (Eds.), ASF-ACM/SIGOPS, p. 225-233, octobre 2002.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Rejeu d’un calcul d’agents mobiles
Dans : Journées Formalisation des Activités Concurrentes FAC-2000, TOULOUSE, 26/03/00-27/03/00.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Contrôle d’agents mobiles
Dans : FAC’2000, Toulouse, 18/05/00-19/05/00, IRIT, p. 56-70, mai 2000.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement based validation of a distributed termination detection algorithm
Dans : International Workshop FMPPTA’2000, Cancun, 05/05/00, ., mai 2000.
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.
Mamoun Filali, Gérard Padiou, Philippe Quéinnec
Développement d’une spécification formelle en UNITY — Analyse d’un système de contrôle d’accès
Dans : AFADL98 Approches Formelles dans l’Assistance au Développement de Logiciels, Poitiers, ., p. 109-120, septembre 1998.
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.
Xavier Thirioux, Gérard Padiou
Etude comparative de deux techniques de preuve de programmes Unity
Dans : AFADL : Approches formelles dans l’assistance au développement de logiciels, Toulouse, ONERA-CERT, p. 177-188, mai 1997.
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.
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.
Xavier Thirioux, Gérard Padiou
Assistance à la preuve de programmes Unity à l’aide du démonstrateur Coq
Dans : Journées du PRC de Programmation, Orléans, .
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
Dans : Journées du GDR Programmation, –, -, novembre 1995.
Philippe Quéinnec, Gérard Padiou
Design of a highly available replicated memory
Dans : European Research Seminar on Advances in Distributed Systems, –, -, avril 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.
Philippe Quéinnec, Gérard Padiou, Philippe Papaix
Un Serveur Mémoire Réparti
Dans : Actes des Journées Parallélisme de l’IRIT, Toulouse, .
Philippe Quéinnec, Gérard Padiou
Derivation of fault tolerance properties of distributed algorithms, series “short paper”
Dans : Thirteenth ACM Symposium on Principles of Distributed Computing (PODC94), Los Angeles, -, août 1994.
Jean-Paul Arcangeli, Mamoun Filali, Abdelkader Hameurlain, Gérard Padiou
Les environnements d’exécution répartie
Dans : Calculateurs Parallèles, Réseaux et Systèmes Répartis, HERMES, 8, quai du Marche-Neuf 75004 Paris France, Vol. 10, 5, 1998.