Equipe de recherche REGAL

Publications de l'équipe REGAL

2012

Communications avec actes

Titre
Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Auteurs
Tegawendé F. Bissyandé url; Laurent Réveillère; Julia L. Lawall; Gilles Muller
Détail
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp. 60-69
Accès au texte intégral et bibtex
diagnosys-ase12.pdf BibTex
Titre
Mariages et Trahisons
Auteurs
Swan Dubois; Sébastien Tixeuil; Nini Zhu
Détail
Mathieu, Fabien et Hanusse, Nicolas. AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp. 1-4
Accès au texte intégral et bibtex
Algotel12.ps Algotel12.pdf BibTex

Autres publications

Titre
Caju: a content distribution system for edge networks
Auteurs
Guthemberg Da Silva Silvestre url; Pierre Sens; Sébastien Monnet; Ruby Krishnaswamy
Détail
Aug. 2012. 1st Workshop on Big Data Management in Clouds, in Conjunction with Euro-Par 2012
Accès au bibtex
BibTex

Rapports

Titre
Towards a Scalable Dynamic Spatial Database System
Auteurs
Joaquín Keller; Raluca Diaconu; Mathieu Valero
Détail
[Research Report], 2012, 20 p.
Accès au texte intégral et bibtex
main.ps main.pdf BibTex
Titre
An optimized conflict-free replicated set
Auteurs
Annette Bieniusa url; Marek Zawirski; Nuno Preguiça url; Marc Shapiro url; Carlos Baquero url; Valter Balegas; Sérgio Duarte url
Détail
[Research Report], 2012, pp. 12. RR-8083
Accès au texte intégral et bibtex
RR-8083.pdf BibTex
Titre
Non-Monotonic Snapshot Isolation
Auteurs
Masoud Saeida Ardekani url; Pierre Sutra; Nuno Preguiça; Marc Shapiro
Détail
[Research Report], 2012, pp. 34. RR-7805
Accès au texte intégral et bibtex
document.pdf BibTex
Titre
Caju: a content distribution system for edge networks
Auteurs
Guthemberg Silvestre; Sébastien Monnet url; Ruby Krishnaswamy; Pierre Sens
Détail
[Research Report], 2012. RR-8006
Accès au texte intégral et bibtex
RR-8006.pdf BibTex

2011

Articles dans des revues avec comité de lecture

Titre
CORPS: Building a Community Of Reputable PeerS in Distributed Hash Tables
Auteurs
Erika Rosas; Olivier Marin; Xavier Bonnaire
Détail
The Computer Journal, Oxford University Press, 2011
Accès au bibtex
BibTex
Titre
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Auteurs
Shlomi Dolev; Swan Dubois; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil
Détail
Information Processing Letters, Elsevier, 2011
Accès au bibtex
BibTex

Communications avec actes

Titre
A Tabu Based Cache to Improve Latency and Load Balancing on Prefix Trees
Auteurs
Nicolas Hidalgo; Luciana Arantes; Pierre Sens; Xavier Bonnaire
Détail
ICPADS 2011 - IEEE International Conference on Parallel and Distributed Systems, Dec 2011, Tainan, Taiwan, Province Of China.
Accès au bibtex
BibTex
Titre
DRing: A Layered Scheme for Range Queries over DHTs
Auteurs
Nicolas Hidalgo; Erika Rosas; Luciana Arantes; Olivier Marin; Pierre Sens; Bonnaire Xavier
Détail
IEEE International Conference on Computer and Information Technology, Aug 2011, Paphos, Cyprus.
Accès au bibtex
BibTex
Titre
Consolidation dynamique d'applications Web haute-disponibilité
Auteurs
Fabien Hermenier url; Julia L. Lawall; Jean-Marc Menaud; Gilles Muller
Détail
CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France.
Accès au bibtex
BibTex
Titre
Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages
Auteurs
Pierre Sutra; Marc Shapiro
Détail
Ducourthial, Bertrand and Felber, Pascal. ALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2011, Cap Estérel, France.
Accès au texte intégral et bibtex
SutraShapiroAlgotel2011.pdf BibTex
Titre
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
Auteurs
Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
Ducourthial, Bertrand and Felber, Pascal. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France.
Accès au texte intégral et bibtex
Algotel11.pdf Algotel11.ps BibTex
Titre
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
Ducourthial, Bertrand and Felber, Pascal. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France.
Accès au texte intégral et bibtex
Algotel11.ps Algotel11.pdf BibTex
Titre
Construction auto-stabilisante d'un arbre couvrant de poids minimum
Auteurs
Lélia Blin; Shlomi Dolev; Maria Potop-Butucaru; Stephane Rovedakis
Détail
Ducourthial, Bertrand et Felber, Pascal. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France.
Accès au texte intégral et bibtex
SS_MST_Dyn.pdf BibTex

Rapports

Titre
Efficient locking for multicore architectures
Auteurs
Jean-Pierre Lozi; Gaël Thomas; Julia L. Lawall; Gilles Muller
Détail
[Research Report], 2011, pp. 30. RR-7779
Accès au texte intégral et bibtex
rr7779.pdf BibTex
Titre
Generation of Debugging Interfaces for Linux Kernel Services
Auteurs
Tegawendé Bissyandé; Laurent Réveillère; Julia L. Lawall; Gilles Muller
Détail
[Research Report], 2011, pp. 28. RR-7800
Accès au texte intégral et bibtex
RR-7800.pdf BibTex
Titre
A Taxonomy of Daemons in Self-stabilization
Auteurs
Swan Dubois; Sébastien Tixeuil
Détail
[Report], 2011
Accès au texte intégral et bibtex
Daemon.pdf BibTex
Titre
Conflict-free Replicated Data Types
Auteurs
Marc Shapiro; Nuno Preguiça; Carlos Baquero; Marek Zawirski
Détail
[Research Report], 2011, pp. 18. RR-7687
Accès au texte intégral et bibtex
RR-7687.pdf BibTex
Titre
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions
Auteurs
Sergey Legtchenko; Sébastien Monnet; Pierre Sens
Détail
[Research Report], 2011, pp. 20. RR-7614
Accès au texte intégral et bibtex
RR-7614.pdf BibTex
Titre
Maximum Metric Spanning Tree made Byzantine Tolerant
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
[Research Report], 2011, pp. 32
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.ps DuboisMasuzawaTixeuil.pdf BibTex
Titre
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
[Research Report], 2011, pp. 17
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.pdf DuboisMasuzawaTixeuil.ps BibTex
Titre
TPT-C: A Heuristic-Based Cache to Improve Range Queries over DHTs
Auteurs
Nicolas Hidalgo; Luciana Arantes; Pierre Sens; Xavier Bonnaire
Détail
[Research Report], 2011, pp. 24. RR-7576
Accès au texte intégral et bibtex
RR_7576.pdf RR_7576.ps BibTex
Titre
Dynamic Consolidation of Highly Available Web Applications
Auteurs
Fabien Hermenier; Julia Lawall; Jean-Marc Menaud; Gilles Muller
Détail
[Research Report], 2011, pp. 26. RR-7545
Accès au texte intégral et bibtex
RR-7545.pdf BibTex
Titre
A comprehensive study of Convergent and Commutative Replicated Data Types
Auteurs
Marc Shapiro; Nuno Preguiça; Carlos Baquero; Marek Zawirski
Détail
[Research Report], 2011, pp. 50. RR-7506
Accès au texte intégral et bibtex
techreport.pdf BibTex
Titre
Optimal grid exploration by asynchronous oblivious robots
Auteurs
Stéphane Devismes; Anissa Lamani; Franck Petit; Pascal Raymond; Sébastien Tixeuil
Détail
[Report], 2011
Accès au texte intégral et bibtex
Report.pdf Report.ps BibTex
Titre
Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants
Auteurs
Fabiola Greve; Pierre Sens; Luciana Arantes; Véronique Martin
Détail
[Research Report], 2011, pp. 29. RR-6088
Accès au texte intégral et bibtex
RR-6088.pdf BibTex

Thèses

Titre
Tolérer les fautes transitoires, permanentes et intermittentes
Auteurs
Swan Dubois
Détail
Université Pierre et Marie Curie - Paris VI, Dec. 2011. English
Accès au texte intégral et bibtex
these_swan_dubois_version_publique.pdf BibTex

Documents sans référence de publication

Titre
Anonymous Agreement: The Janus Algorithm
Auteurs
Zohir Bouzid; Pierre Sutra; Corentin Travers
Détail
Sep. 2011
Accès au texte intégral et bibtex
main-longversion.pdf main-longversion.ps BibTex
Titre
Emergent Velocity Agreement in Robot Networks
Auteurs
Davide Canepa; Xavier Défago; Taisuke Izumi; Maria Potop-Butucaru
Détail
May. 2011
Accès au texte intégral et bibtex
sirocco.pdf sirocco.ps BibTex
Titre
Physical expander in Virtual Tree Overlay
Auteurs
Taisuke Izumi; Maria Potop-Butucaru; Mathieu Valero
Détail
Feb. 2011
Accès au texte intégral et bibtex
robust-tree.pdf robust-tree.ps BibTex

2010

Communications avec actes

Titre
Bridging the Gap between Legacy Services and Web Services
Auteurs
Tegawendé F. Bissyandé; Laurent Réveillère; Yérom-David Bromberg; Julia L. Lawall; Gilles Muller
Détail
Middleware 2010, Nov 2010, Bangalore, India. pp. 273-292, LNCS 6452
Accès au texte intégral et bibtex
paper.pdf BibTex
Titre
An Aggregation-Based Routing Protocol for Structured Peer to Peer Overlay Networks
Auteurs
Nicolas Hidalgo; Luciana Arantes; Pierre Sens; Xavier Bonnaire
Détail
The Second International Conference on Advances in P2P Systems, Oct 2010, Florence, Italy.
Accès au bibtex
BibTex
Titre
Multi-agent Coordination in Ad-hoc Networks based on Coalition Formation
Auteurs
Mir U.; Samir Aknine; Luciana Arantes
Détail
International Conference ICAART, 2010, Spain. pp. 33
Accès au bibtex
BibTex
Titre
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
Maria Gradinariu Potop-Butucaru and Hervé Rivano. 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France.
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.pdf DuboisMasuzawaTixeuil.ps BibTex

Rapports

Titre
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Auteurs
Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2010
Accès au texte intégral et bibtex
DolevDuboisPotopTixeuil.pdf DolevDuboisPotopTixeuil.ps BibTex
Titre
A framework for proving the self-organization of dynamic systems
Auteurs
Emmanuelle Anceaume; Xavier Défago; Maria Potop-Butucaru; Matthieu Roy
Détail
[Research Report], 2010, pp. 26
Accès au texte intégral et bibtex
Anceaume_et_al.pdf Anceaume_et_al.ps BibTex
Titre
Faults in Linux: Ten Years Later
Auteurs
Nicolas Palix; Suman Saha; Gaël Thomas; Christophe Calvès; Julia Lawall; Gilles Muller
Détail
[Research Report], 2010, pp. 21. RR-7357
Accès au texte intégral et bibtex
RR-7357.pdf BibTex
Titre
Snap-Stabilizing Linear Message Forwarding
Auteurs
Anissa Lamani; Alain Cournier; Swan Dubois; Franck Petit; Vincent Villain
Détail
[Technical Report], 2010
Accès au texte intégral et bibtex
RapportTech.pdf TechReport.pdf TechReport.ps BibTex
Titre
On Byzantine Containment Properties of the $min+1$ Protocol
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
[Research Report], 2010
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.pdf DuboisMasuzawaTixeuil.ps BibTex
Titre
Bounding the Impact of Unbounded Attacks in Stabilization
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
[Research Report], 2010, pp. 20
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.pdf DuboisMasuzawaTixeuil.ps BibTex
Titre
The Impact of Topology on Byzantine Containment in Stabilization
Auteurs
Swan Dubois; Toshimitsu Masuzawa; Sébastien Tixeuil
Détail
[Research Report], 2010, pp. 18
Accès au texte intégral et bibtex
DuboisMasuzawaTixeuil.pdf DuboisMasuzawaTixeuil.ps BibTex
Titre
RoboCast: Asynchronous Communication in Robot Networks
Auteurs
Zohir Bouzid; Shlomi Dolev; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2010
Accès au texte intégral et bibtex
main.pdf main.ps BibTex
Titre
Exclusive perpetual ring exploration without chirality
Auteurs
Lélia Blin; Alessia Milani; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2010, pp. 17
Accès au texte intégral et bibtex
perpetual-last.pdf BibTex
Titre
Byzantine Failure Detection for Dynamic Distributed Systems
Auteurs
Murilo Santos De Lima; Fabiola Greve; Luciana Arantes; Pierre Sens
Détail
[Research Report], 2010, pp. 21. RR-7222
Accès au texte intégral et bibtex
RR-7222.pdf BibTex
Titre
Mely: Efficient Workstealing for Multicore Event-Driven Systems
Auteurs
Fabien Gaud; Sylvain Genevès; Renaud Lachaize; Baptiste Lepers; Fabien Mottet; Gilles Muller; Vivien Quéma
Détail
[Research Report], 2010, pp. 23. RR-7169
Accès au texte intégral et bibtex
RR-7169.pdf BibTex

Documents sans référence de publication

Titre
Universal Loop-Free Super-Stabilization
Auteurs
Lélia Blin; Stephane Rovedakis; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
May. 2010
Accès au texte intégral et bibtex
SS_generic_LF.ps SS_generic_LF.pdf BibTex
Titre
Fast Genuine Generalized Consensus
Auteurs
Pierre Sutra; Marc Shapiro
Détail
May. 2010
Accès au texte intégral et bibtex
FGGC.pdf BibTex
Titre
Fast Self-Stabilizing Minimum Spanning Tree Construction
Auteurs
Lélia Blin; Shlomi Dolev; Maria Potop-Butucaru; Stephane Rovedakis
Détail
May. 2010
Accès au texte intégral et bibtex
SS_MST_Dyn.pdf SS_MST_Dyn.ps BibTex

2009

Articles dans des revues avec comité de lecture

Titre
WTR: a reputation metric for distributed hash tables based on a risk and credibility factor
Auteurs
Erika Rosas; Bonnaire Xavier
Détail
Journal of Computer Science and Technology, Springer Boston, 2009, 24 (5)
Accès au bibtex
BibTex
Titre
Building Effective Mutual Exclusion Services for Grids
Auteurs
Julien Sopena; Luciana Arantes; Fabrice Legond-Aubry; Pierre Sens
Détail
Journal of Supercomputing, Springer, 2009, 49, pp. 84-107
Accès au bibtex
BibTex

Communications avec actes

Titre
I-JVM: a Java Virtual Machine for Component Isolation in OSGi
Auteurs
Nicolas Geoffray; Gaël Thomas; Gilles Muller; Pierre Parrend; Stéphane Frénot; Bertil Folliot
Détail
9th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2009), Jun 2009, Estoril, Portugal. pp. 544-553
Accès au bibtex
BibTex
Titre
Automatic Generation of Network Protocol Gateways
Auteurs
Yérom-David Bromberg; Laurent Réveillère; Julia Lawall; Gilles Muller
Détail
10th International Middleware Conference ACM/IFIP/USENIX, Nov 2009, Urbana Champaign, Illinois, United States. pp. 1-20
Accès au bibtex
BibTex
Titre
Une CNS pour l'acheminement de messages instantanément stabilisant
Auteurs
Alain Cournier; Swan Dubois; Vincent Villain
Détail
Chaintreau, Augustin and Magnien, Clemence. AlgoTel, 2009, Carry-Le-Rouet, France.
Accès au texte intégral et bibtex
Algotel09.pdf Algotel09.ps BibTex
Titre
log(n)-approximation d'un arbre de Steiner auto-stabilisant et dynamique
Auteurs
Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis
Détail
Chaintreau, Augustin and Magnien, Clemence. AlgoTel, 2009, Carry-Le-Rouet, France.
Accès au texte intégral et bibtex
SS_Steiner-Algotel.pdf BibTex
Titre
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
Auteurs
Samuel Bernard; Stéphane Devismes; Katy Paroux; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil
Détail
Chaintreau, Augustin and Magnien, Clemence. AlgoTel, Jun 2009, Carry-Le-Rouet, France.
Accès au texte intégral et bibtex
unidir_algotel.pdf BibTex
Titre
Entropy: a consolidation manager for clusters
Auteurs
Fabien Hermenier; Xavier Lorca; Jean-Marc Menaud; Gilles Muller; Julia Lawall
Détail
VEE '09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, Mar 2009, New York, NY, USA, United States. ACM, pp. 41-50
Accès au bibtex
BibTex
Titre
Telex: A Semantic Platform for Cooperative Application Development
Auteurs
Lamia Benmouffok; Jean-Michel Busca; Joan Manuel Marquès; Marc Shapiro; Pierre Sutra; Georgios Tsoukalas
Détail
cfse, 2009, Toulouse, France, France.
Accès au texte intégral et bibtex
Telex-CFSE-2009.pdf BibTex
Titre
A commutative replicated data type for cooperative editing
Auteurs
Nuno Preguiça; Joan Manuel Marquès; Marc Shapiro; Mihai Leția
Détail
29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Québec, Canada. IEEE Computer Society, pp. 395-403
Accès au texte intégral et bibtex
icdcs09-treedoc.pdf BibTex

Chapitres d'ouvrages scientifiques

Titre
Eventual Consistency
Auteurs
Marc Shapiro; Bettina Kemme
Détail
Ózsu, M. Tamer and Liu, Ling. Encyclopedia of Database Systems (online and print), springer, 2009
Accès au texte intégral et bibtex
eventual-consistency-Encyclopedia-DB-systems-2009.pdf BibTex

Rapports

Titre
Blue Banana: resilience to avatar mobility in distributed MMOGs
Auteurs
Sergey Legtchenko; Sébastien Monnet; Gaël Thomas
Détail
[Research Report], 2009, pp. 22. RR-7149
Accès au texte intégral et bibtex
RR-7149.pdf BibTex
Titre
VMKit: a Substrate for Virtual Machines
Auteurs
Nicolas Geoffray; Gaël Thomas; Charles Clément; Bertil Folliot; Gilles Muller
Détail
[Research Report], 2009, pp. 25. RR-6799
Accès au texte intégral et bibtex
RR-6799.pdf BibTex
Titre
I-JVM: a Java Virtual Machine for Component Isolation in OSGi
Auteurs
Nicolas Geoffray; Gaël Thomas; Gilles Muller; Pierre Parrend; Stéphane Frénot; Bertil Folliot
Détail
[Research Report], 2009, pp. 21. RR-6801
Accès au texte intégral et bibtex
RR-6801.pdf BibTex
Titre
Transaction Activation scheduling Support for Transactional Memory
Auteurs
Walther Maldonado; Patrick Marlier; Pascal Felber; Julia Lawall; Gilles Muller
Détail
[Research Report], 2009, 28 p.. RR-6807
Accès au texte intégral et bibtex
RR-6807.pdf BibTex
Titre
Churn-resilient replication strategy for peer-to-peer distributed hash-tables
Auteurs
Sergey Legtchenko; Sébastien Monnet; Pierre Sens; Gilles Muller
Détail
[Research Report], 2009, pp. 21. RR-6897
Accès au texte intégral et bibtex
RR-6897.pdf BibTex
Titre
Dynamic FTSS in Asynchronous Systems: the Case of Unison
Auteurs
Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2009, pp. 34
Accès au texte intégral et bibtex
DuboisPotopTixeuil.pdf DuboisPotopTixeuil.ps BibTex
Titre
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property
Auteurs
Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis; Sébastien Tixeuil
Détail
[Research Report], 2009
Accès au texte intégral et bibtex
SS_LF-MST.pdf SS_LF-MST.ps BibTex
Titre
Optimal byzantine resilient convergence in oblivious robot networks
Auteurs
Zohir Bouzid; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2009, pp. 15
Accès au texte intégral et bibtex
convergence.pdf convergence.ps BibTex
Titre
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
Auteurs
Zohir Bouzid; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2009, pp. 15
Accès au texte intégral et bibtex
convergence.pdf convergence.ps BibTex
Titre
A Timer-Free Fault Tolerant K -Mutual Exclusion Algorithm
Auteurs
Mathieu Bouillaguet; Luciana Arantes; Pierre Sens
Détail
[Research Report], 2009
Accès au texte intégral et bibtex
self-contained.pdf BibTex
Titre
CRDTs: Consistency without concurrency control
Auteurs
Mihai Leția; Nuno Preguiça; Marc Shapiro
Détail
[Research Report], 2009, pp. 16. RR-6956
Accès au texte intégral et bibtex
RR-6956.pdf RR-6956.ps BibTex
Titre
Herodotos: A Tool to Expose Bugs' Lives
Auteurs
Nicolas Palix; Julia Lawall; Gilles Muller
Détail
[Research Report], 2009, pp. 16. RR-6984
Accès au texte intégral et bibtex
RR-6984.pdf BibTex
Titre
Partition Participant Detector with Dynamic Paths in MANETs
Auteurs
Luciana Arantes; Pierre Sens; Gaël Thomas; Denis Conan; Léon Lim
Détail
[Research Report], 2009, pp. 18. RR-7002
Accès au texte intégral et bibtex
RR-7002.pdf BibTex
Titre
Efficient filtering for massively distributed video games
Auteurs
Luciana Arantes; Maria Potop-Butucaru; Pierre Sens; Mathieu Valero
Détail
[Research Report], 2009, pp. 19. RR-7008
Accès au texte intégral et bibtex
RR-7008.pdf BibTex
Titre
Byzantine Convergence in Robots Networks: The Price of Asynchrony
Auteurs
Zohir Bouzid; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Technical Report], 2009, pp. 22
Accès au texte intégral et bibtex
convergence.pdf convergence.ps BibTex
Titre
Optimal deterministic ring exploration with oblivious asynchronous robots
Auteurs
Anissa Lamani; Maria Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2009, pp. 23
Accès au texte intégral et bibtex
ReportExploration.pdf ReportExploration.ps BibTex
Titre
Self-Stabilizing Byzantine Asynchronous Unison
Auteurs
Swan Dubois; Maria Gradinariu Potop-Butucaru; Mikhail Nesterenko; Sébastien Tixeuil
Détail
[Research Report], 2009, pp. 15
Accès au texte intégral et bibtex
DGNT09.pdf DGNT09.ps BibTex

Documents sans référence de publication

Titre
Two snap-stabilizing point-to-point communication protocols in message-switched networks
Auteurs
Alain Cournier; Swan Dubois; Vincent Villain
Détail
May. 2009
Accès au texte intégral et bibtex
RR.pdf RR.ps BibTex

2008

Communications avec actes

Titre
The impact of clustering on token-based mutual exclusion algorithms
Auteurs
Julien Sopena; Luciana Arantes; Fabrice Legond-Aubry; Pierre Sens
Détail
Emilio Luque and Tomàs Margalef and Domingo Benítez. Euro-Par 2008 Workshops - Parallel Processing, Aug 2008, Las Palmas de Gran Canaria, Spain. Springer, 5168, pp. 565-575, LNCS
Accès au bibtex
BibTex
Titre
Fault-Tolerant Partial Replication in Large-Scale Database Systems
Auteurs
Pierre Sutra; Marc Shapiro
Détail
europar, 2008, Las Palmas de Gran Canaria, Spain, Spain. pp. 404-413
Accès au bibtex
BibTex

Rapports

Titre
Fault-Tolerant Partial Replication in Large-Scale Database Systems
Auteurs
Pierre Sutra; Marc Shapiro
Détail
[Research Report], 2008, pp. 25. RR-6440
Accès au texte intégral et bibtex
main.pdf main.ps BibTex
Titre
Bounds for self-stabilization in unidirectional networks
Auteurs
Samuel Bernard; Stéphane Devismes; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2008, pp. 24. RR-6524
Accès au texte intégral et bibtex
RR-6524.pdf RR-6524.ps BibTex
Titre
Telex: Principled System Support for Write-Sharing in Collaborative Applications
Auteurs
Lamia Benmouffok; Jean-Michel Busca; Joan Manuel Marquès; Marc Shapiro; Pierre Sutra; Georgios Tsoukalas
Détail
[Research Report], 2008, pp. 31. RR-6546
Accès au texte intégral et bibtex
Telex-principled-RR-6546-2008-06.pdf rr.pdf rr.ps BibTex

2007

Communications avec actes

Titre
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
Auteurs
Claudia Ignat; Gérald Oster; Pascal Molli; Michèle Cart; Jean Ferrié; Anne-Marie Kermarrec; Pierre Sutra; Marc Shapiro; Lamia Benmouffok; Jean-Michel Busca; Rachid Guerraoui
Détail
3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. IEEE Computer Society, Proceedings of the The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharin - CollaborateCom, pp. 474 - 483
Accès au texte intégral et bibtex
main2.final.pdf BibTex
Titre
FRACS: A Hybrid Fragmentation-Based CDN for E-commerce Applications
Auteurs
Ikram Chabbouh; Mesaac Makpangou
Détail
USENIX Annual Technical Conference, Jun 2007, Santa Clara, California / USA.
Accès au texte intégral et bibtex
cdn.pdf BibTex
Titre
A Composition Approach to Mutual Exclusion Algorithms for Grid Applications
Auteurs
Julien Sopena; Fabrice Legond-Aubry; Luciana Arantes; Pierre Sens
Détail
IEEE Computer Society. The 36th International Conference on Parallel Processing (ICPP07), Sep 2007, XiAn, China. IEEE Computer Society, pp. 65
Accès au bibtex
BibTex
Titre
Decentralised Commitment for Optimistic Semantic Replication
Auteurs
Pierre Sutra; Joao Barreto; Marc Shapiro
Détail
coopis, 2007, Vilamoura, Algarve, Portugal, Portugal.
Accès au texte intégral et bibtex
sutra-barreto-shapiro-coopis40.pdf BibTex
Titre
Comparing Optimistic Database Replication Techniques
Auteurs
Pierre Sutra; Marc Shapiro
Détail
Bases de Données Avancées (BDA), 2007, Marseille, France, France.
Accès au texte intégral et bibtex
sutra-shapiro-bda2007.pdf BibTex
Titre
Semantic Middleware for Designing Collaborative Applications in Mobile Environment
Auteurs
Lamia Benmouffok; Jean-Michel Busca; Marc Shapiro
Détail
5th workshop on Middleware for Network Eccentric and Mobile Applications : MiNEMA 2007, 2007, Magdeburg, Germany, Germany. pp. 58-61
Accès au texte intégral et bibtex
benmouffok-busca-minema-2007.pdf BibTex
Titre
Decentralised Commitment for Optimistic Semantic Replication
Auteurs
Pierre Sutra; Joao Barreto; Marc Shapiro
Détail
coopis, 2007, Vilamoura, Algarve, Portugal, Portugal.
Accès au texte intégral et bibtex
sutra-barreto-shapiro-coopis40.pdf BibTex
Titre
Comparing Optimistic Database Replication Techniques
Auteurs
Pierre Sutra; Marc Shapiro
Détail
Bases de Données Avancées (BDA), 2007, Marseille, France, France.
Accès au texte intégral et bibtex
sutra-shapiro-bda2007.pdf BibTex
Titre
Semantic Middleware for Designing Collaborative Applications in Mobile Environment
Auteurs
Lamia Benmouffok; Jean-Michel Busca; Marc Shapiro
Détail
Middleware for Network Eccentric and Mobile Applications Workshop : MiNEMA, 2007, Magdeburg, Germany, Germany. pp. 58-61
Accès au texte intégral et bibtex
benmouffok-busca-minema-2007.pdf BibTex
Titre
Exploiting our computational surroundings for better mobile collaboration
Auteurs
Joao Barreto; Paulo Ferreira; Marc Shapiro
Détail
Mobile Data Management (MDM), 2007, Mannheim, Germany, Germany. pp. 110-117
Accès au texte intégral et bibtex
DecoupledConsistency-MDM-2007.pdf BibTex

Rapports

Titre
An experimental evaluation of the Pastis peer-to-peer file system under churn
Auteurs
Fabio Picconi; Jean-Michel Busca; Pierre Sens
Détail
[Research Report], 2007, pp. 25. RR-6114
Accès au texte intégral et bibtex
RR-6114.pdf BibTex
Titre
Section critique à entrées multiples tolérante aux fautes et utilisant des détecteurs de défaillances
Auteurs
Mathieu Bouillaguet; Luciana Arantes; Pierre Sens
Détail
[Research Report], 2007, pp. 20. RR-6526
Accès au texte intégral et bibtex
RR-6526.pdf BibTex
Titre
Failure, Disconnection and Partition Detection in Mobile Environment
Auteurs
Denis Conan; Pierre Sens; Luciana Arantes; Mathieu Bouillaguet
Détail
[Research Report], 2007, pp. 21. RR-6184
Accès au texte intégral et bibtex
RR-6184.pdf BibTex
Titre
On the Self-stabilization of Mobile Robots in Graphs
Auteurs
Lélia Blin; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil
Détail
[Research Report], 2007, pp. 23. RR-6266
Accès au texte intégral et bibtex
RR-6266.pdf RR-6266.ps BibTex
Titre
Stabilizing flocking via leader election in robot networks
Auteurs
Davide Canepa; Maria Gradinariu Potop-Butucaru
Détail
[Research Report], 2007, pp. 29. RR-6268
Accès au texte intégral et bibtex
RR-6268.pdf RR-6268.ps BibTex
Titre
Stabilizing leader election in population protocols
Auteurs
Davide Canepa; Maria Gradinariu Potop-Butucaru
Détail
[Research Report], 2007, pp. 17. RR-6269
Accès au texte intégral et bibtex
RR-6269.pdf RR-6269.ps BibTex
Titre
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
Auteurs
Claudia Ignat; Gérald Oster; Pascal Molli; Michèle Cart; Jean Ferrié; Anne-Marie Kermarrec; Pierre Sutra; Marc Shapiro; Lamia Benmouffok; Jean-Michel Busca; Rachid Guerraoui
Détail
[Research Report], 2007, pp. 19. RR-6278
Accès au texte intégral et bibtex
RR-6278.pdf RR-6278.ps BibTex
Titre
Designing a commutative replicated data type
Auteurs
Marc Shapiro; Nuno Preguiça
Détail
[Research Report], 2007. RR-6320
Accès au texte intégral et bibtex
RR-6320.pdf BibTex

2006

Articles dans des revues avec comité de lecture

Titre
What's wrong with us?
Auteurs
Marc Shapiro
Détail
Distributed Systems Online, IEEE, 2006, 7 (5)
Accès au bibtex
BibTex

Communications avec actes

Titre
Un algorithme équitable d'exclusion mutuelle tolérant les fautes
Auteurs
Julien Sopena; Luciana Arantes; Pierre Sens
Détail
5éme Conférence Française sur les Systèmes d'Exploitation (CFSE'06), Oct 2006, Perpignan, France.
Accès au bibtex
BibTex
Titre
Performance evaluation of a fair fault-tolerant mutual exclusion algorithm
Auteurs
Julien Sopena; Luciana Arantes; Pierre Sens
Détail
IEEE Computer Society. The 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Oct 2006, Leeds, United Kingdom. IEEE Computer Society, pp. 225-234
Accès au bibtex
BibTex
Titre
An Application Framework for Nomadic, Collaborative Applications
Auteurs
James O'Brien; Marc Shapiro
Détail
Frank Eliassen, Alberto Montresor. Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, DAIS 2006, Jun 2006, Bologna, Italy. Springer, Distributed applications and interoperable systems, 4025, Lecture notes in computer science
Accès au texte intégral et bibtex
Joyce_DAIS-2006.pdf BibTex

Communications sans actes

Titre
GEDEON , un Intergiciel pour Grille de Données
Auteurs
Olivier Valentin; Fabrice Jouanot; Laurent D'Orazio; Yves Denneulin; Claudia Roncancio; Cyril Labbé; Christophe Blanchet; Pierre Sens; Claude Bonnard
Détail
RenPar'17 : 17ème Rencontres Francophones du Parallélisme, Oct 2006, Canet en Roussillon, France.
Accès au bibtex
BibTex

Chapitres d'ouvrages scientifiques

Titre
GDS: An Architecture Proposal for a grid Data-Sharing Service
Auteurs
Gabriel Antoniu; Luc Bougé; Mathieu Jan; Sébastien Monnet; Marin Bertier; Eddy Caron; Frédéric Desprez; Pierre Sens
Détail
Vladimir Getov and Domenico Laforenza and Alexander Reinefeld, CoreGrid series. Future Generation Grids, XVIII, CoreGrid Series, Springer, 2006, Proceedings of the Workshop on Future Generation Grids, 0-387-27935-0
Accès au texte intégral et bibtex
AntBerCarDesBouJanMonSens05GDS.pdf AntBerCarDesBouJanMonSens05GDS.ps BibTex

Rapports

Titre
An asynchronous, decentralised commitment protocol for semantic optimistic replication
Auteurs
Pierre Sutra; Marc Shapiro; Joao Barreto
Détail
[Research Report], 2006, pp. 21. RR-6069
Accès au texte intégral et bibtex
squelette-rr.pdf squelette-rr.ps BibTex
Titre
Fostering Systems Research in Europe
Auteurs
Peter Druschel; Rebecca Isaacs; Thomas Gross; Marc Shapiro
Détail
[Technical Report], 2006
Accès au texte intégral et bibtex
whitepaper-2006-04.pdf BibTex

Thèses

Titre
La réalisation de modèles de cohérence et de requis de temps de réponse pour des services répliqués hétérogènes
Auteurs
Corina Ferdean
Détail
informatique. Université Pierre et Marie Curie - Paris VI, Dec. 2006. English
Accès au texte intégral et bibtex
memoire.pdf memoire.ps BibTex

2005

Communications avec actes

Titre
A fault-tolerant token-based mutual exclusion algorithm using a dynamic tree
Auteurs
Julien Sopena; Marin Bertier; Luciana Arantes; Pierre Sens
Détail
Springer Berlin. Europar 2005, Aug 2005, Lisboa, Portugal. Springer Berlin, 3648/2005
Accès au bibtex
BibTex
Titre
The three dimensions of data consistency
Auteurs
Marc Shapiro; Nishith Krishna
Détail
Journées Francophones sur la Conférence des Données en Univers Réparti (CDUR), 2005, CNAM, Paris, France, France. pp. 54-58
Accès au texte intégral et bibtex
cdur2005.pdf BibTex
Titre
The three dimensions of data consistency
Auteurs
Marc Shapiro; Nishith Krishna
Détail
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), 2005, CNAM, Paris, France, France. pp. 54-58
Accès au texte intégral et bibtex
cdur2005.pdf BibTex
Titre
FEW: File Management for Portable Devices
Auteurs
Nuno Preguiça; Carlos Baquero; José Legatheaux Martins; Marc Shapiro; Paulo Sérgio Almeida; Henrique Domingos; Victor Fonte; Sérgio Duarte
Détail
International Workshop on Software Support for Portable Storage, 2005, San Francisco, CA, USA, United States.
Accès au texte intégral et bibtex
FEW_File_Management_for_Portable_Devices_IWSSPS.pdf BibTex

Autres publications

Titre
Systems research, education and industry in Europe
Auteurs
Marc Shapiro; Yolande Berbers; Willy Zwaenepoel; Tim Harris
Détail
2005. -
Accès au bibtex
BibTex

Rapports

Titre
An application Framework for Collaborative, Nomadic Applications
Auteurs
James O'Brien; Marc Shapiro
Détail
[Research Report], 2005, pp. 26. RR-5745
Accès au texte intégral et bibtex
RR-5745.pdf RR-5745.ps BibTex
Titre
Proving Correctness of Highly-Concurrent Linearisable Objects
Auteurs
Viktor Vafeiadis; Maurice Herlihy; Tony Hoare; Marc Shapiro
Détail
[Research Report], 2005, pp. 20. RR-5716
Accès au texte intégral et bibtex
RR-5716.pdf RR-5716.ps BibTex
Titre
GDS: an Architecture Proposal for a Grid Data-Sharing Service
Auteurs
Gabriel Antoniu; Marin Bertier; Luc Bougé; Eddy Caron; Frédéric Desprez; Mathieu Jan; Sébastien Monnet; Pierre Sens
Détail
[Research Report], 2005. RR-5593
Accès au texte intégral et bibtex
RR-5593.pdf RR-5593.ps BibTex

2004

Communications avec actes

Titre
Pandora : une plate-forme efficace pour la construction d'applications autonomes
Auteurs
Simon Patarin; Mesaac Makpangou
Détail
IMAG/LSR. 2004. pp. 15-26, ISBN : 2-7261-1276-5
Accès au texte intégral et bibtex
decor04.pdf decor04.ps BibTex
Titre
Reconfigurations dynamiques de services dans un intergiciel à composants CORBA CCM
Auteurs
Assia Hachichi; Cyril Martin; Gaël Thomas; Simon Patarin; Bertil Folliot
Détail
IMAG/LSR. 2004. pp. 159-170, ISBN : 2-7261-1276-5
Accès au texte intégral et bibtex
main.pdf main.ps BibTex
Titre
Rufis: mobile data sharing using a generic constraint-oriented reconciler
Auteurs
Marc Shapiro; Nuno Preguiça; James O'Brien
Détail
Conference on Mobile Data Management, 2004, Berkeley, CA, USA, United States. pp. 146-151
Accès au texte intégral et bibtex
mdm-2004-final.pdf BibTex
Titre
Undo for anyone, anywhere, anytime
Auteurs
James O'Brien; Marc Shapiro
Détail
sigopsew, 2004, Leuven, Belgium, Belgium.
Accès au texte intégral et bibtex
Joyce_Sigops_EW-2004.pdf BibTex
Titre
A Constraint-based Formalism for Consistency in Replicated Systems
Auteurs
Marc Shapiro; Karthikeyan Bhargavan; Nishith Krishna
Détail
opodis, 2004, Grenoble, France, France. pp. 331-345, lncs
Accès au texte intégral et bibtex
opodis2004-final-2004-10-30.pdf BibTex
Titre
Brief Announcement: A formalism for consistency and partial replication
Auteurs
Marc Shapiro; Karthikeyan Bhargavan; Yek Chong; Youssef Hamadi
Détail
Rachid Guerraoui. Distributed Computing (DISC), 2004, Trippenhuis, Amsterdam, the Netherlands, Netherlands. 3274/2004, lncs
Accès au texte intégral et bibtex
TR-2004-58.pdf BibTex
Titre
A Constraint-based Formalism for Consistency in Replicated Systems
Auteurs
Marc Shapiro; Karthikeyan Bhargavan; Nishith Krishna
Détail
opodis, 2004, Grenoble, France, France. pp. 331-345, lncs
Accès au texte intégral et bibtex
opodis2004-final-2004-10-30.pdf BibTex

Rapports

Titre
Sabbarus: Distributed plate-form for replica divergence control, design and implementation
Auteurs
Ahmed Jebali
Détail
[Research Report], 2004, pp. 20. RR-5356
Accès au texte intégral et bibtex
RR-5356.pdf RR-5356.ps BibTex
Titre
Pastis: a Highly-Scalable Multi-User Peer-to-Peer File System
Auteurs
Jean-Michel Busca; Fabio Picconi; Pierre Sens
Détail
[Research Report], 2004, pp. 29. RR-5288
Accès au texte intégral et bibtex
RR-5288.pdf RR-5288.ps BibTex
Titre
A Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids
Auteurs
Jean-Michel Busca; Marin Bertier; Fatima Belkouch; Pierre Sens; Luciana Arantes
Détail
[Research Report], 2004, pp. 17. RR-5287
Accès au texte intégral et bibtex
RR-5287.pdf RR-5287.ps BibTex
Titre
Hierarchical token based mutual exclusion algorithms
Auteurs
Marin Bertier; Luciana Arantes; Pierre Sens
Détail
[Research Report], 2004. RR-5177
Accès au texte intégral et bibtex
RR-5177.pdf RR-5177.ps BibTex
Titre
A formalism for consistency and partial replication
Auteurs
Marc Shapiro; Karthikeyan Bhargavan; Yek Chong; Youssef Hamadi
Détail
[Technical Report], 2004
Accès au texte intégral et bibtex
TR-2004-58.pdf BibTex
Titre
A formalism for consistency and partial replication
Auteurs
Marc Shapiro; Karthikeyan Bhargavan; Yek Chong; Youssef Hamadi
Détail
[Technical Report], 2004
Accès au texte intégral et bibtex
TR-2004-58.pdf BibTex

2003

Communications avec actes

Titre
Automating semantics-based reconciliation for mobile databases
Auteurs
Nuno Preguiça; Marc Shapiro; José Legatheaux Martins
Détail
Renpar'15, cfse'3,SympAAA'2003, 2003, La-Colle-sur-Loup, France, France. pp. 515-524
Accès au texte intégral et bibtex
SQLIceCube_cfse2003.pdf BibTex

Rapports

Titre
MLdonkey, a Multi-Network Peer-to-Peer File-Sharing Program
Auteurs
Fabrice Le Fessant; Simon Patarin
Détail
[Research Report], 2003. RR-4797
Accès au texte intégral et bibtex
RR-4797.pdf RR-4797.ps BibTex
Titre
On-line Measurement of Web Proxy Cache Efficiency
Auteurs
Simon Patarin; Mesaac Makpangou
Détail
[Research Report], 2003. RR-4782
Accès au texte intégral et bibtex
RR-4782.pdf RR-4782.ps BibTex
Titre
SqlIceCube: Automatic Semantics-Based Reconciliation for Mobile Databases
Auteurs
Nuno Preguiça; Marc Shapiro; José Legatheaux Martins
Détail
[Technical Report], 2003
Accès au texte intégral et bibtex
sqlice3-rep.pdf BibTex
Titre
Optimistic Replication
Auteurs
Yasushi Saito; Marc Shapiro
Détail
[Technical Report], 2003
Accès au texte intégral et bibtex
tr-2003-60.pdf BibTex

2002

Articles dans des revues avec comité de lecture

Titre
Bottleneck shortest paths on a partially ordered scale
Auteurs
Jérôme Monnot; Olivier Spanjaard
Détail
4OR, 2003, 1, pp. 225-241
Accès au texte intégral et bibtex
partialpath_prelim_.pdf BibTex

Communications avec actes

Titre
Scaling Optimistic Replication
Auteurs
Marc Shapiro; Yasushi Saito
Détail
A. Schiper and A. A. Shvartsman and H. Weatherspoon and B. Y. Zhao. Worskshop on Future Directions in Distributed Computing (FuDiCo 2002): Research and Position Papers, 2002, Bertinoro, Forlì, Italy, Italy. springer, 2584, pp. 164-168, lncs
Accès au bibtex
BibTex

Rapports

Titre
Replication: Optimistic Approaches
Auteurs
Yasushi Saito; Marc Shapiro
Détail
[Technical Report], 2002
Accès au bibtex
BibTex