Publications de
Tanguy 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.
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.
Transactional Memory Protocols for Multicore Processors
Dans : CONAIS 2012 (9o Congreso Nacional y 6o Internacional de Informática y Sistemas), Villahermosa (Mexique), 19/09/12-21/09/12 (conférencier invité).
Philippe Mauran, Philippe Quéinnec, Xavier Thirioux
Teaching Transition Systems and Formal Specifications with TLA+ (regular paper)
Dans : International Workshop on the TLA+ Method and Tools, Paris, France, 27/08/12, Kent State UNiversity, (support électronique), août 2012.
Accès : http://queinnec.perso.enseeiht.fr/publis/TLA2012.pdf
BibTeXTanguy 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.
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.
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.
Philippe 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.
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.
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, 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.
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.
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
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.
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, 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.
Synchronisation : de la spécification à la synthèse
Dans : IASTED MIC’94, Grindelwald, .