Sites Inria

English version

Equipe de recherche REGAL

Publications de l'équipe REGAL

2017

Article dans une revue

titre
ASCENT: a Provably-Terminating Decentralized Logging Service
auteur
Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin
article
The Computer Journal, Oxford University Press (UK), 2017, to be published, 60 (12), pp.1889-1911. ⟨10.1093/comjnl/bxx076⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01547514/file/HALCompJournal.pdf BibTex
titre
Hybris: Robust Hybrid Cloud Storage
auteur
Paolo Viotti, Dan Dobre, Marko Vukolić
article
Transactions on Storage, Association for Computing Machinery, 2017, 13 (3), pp.1 - 32. ⟨10.1145/3119896⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01610463/file/hybris-tos.pdf BibTex
titre
A failure detector for HPC platforms
auteur
George Bosilca, Aurelien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 32 (1), pp.139-158. ⟨10.1177/1094342017711505⟩
Accès au bibtex
BibTex
titre
Technical Perspective: Unexpected Connections
auteur
Marc Shapiro
article
Communications- ACM, Association for Computing Machinery, 2017, 60 (8), pp.82--82. ⟨10.1145/3068768⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01570845/file/main.pdf BibTex
titre
Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems
auteur
Wen Sun, Véronique Simon, Sébastien Monnet, Philippe Robert, Pierre Sens
article
Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2017, 1 (1), pp.1 - 21. ⟨10.1145/3084462⟩
Accès au bibtex
BibTex
titre
Self-Stabilizing Leader Election in Polynomial Steps
auteur
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
article
Information and Computation, Elsevier, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01347471/file/main.pdf BibTex
titre
Évolution des mémoires à semi-conducteurs à accès aléatoire
auteur
Philippe Darche
article
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2017
Accès au bibtex
BibTex

Communication dans un congrès

titre
Toward heterogeneity-aware device-to-device data dissemination over Wi-Fi networks
auteur
Lyes Hamidouche, Sébastien Monnet, Pierre Sens, Dimitri Refauvelet
article
ICPADS 2017 - International Conference on Parallel and Distributed Systems, Dec 2017, Shenzhen, China
Accès au texte intégral et bibtex
http://hal.univ-smb.fr/hal-01619216/file/article%20%281%29.pdf BibTex
titre
ACDC : Advanced Consolidation for Dynamic Containers
auteur
Damien Carver, Julien Sopena, Sébastien Monnet
article
NCA 2017 - 16th IEEE International Symposium on Network Computing and Applications, Oct 2017, Cambridge, MA, United States. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01673304/file/acdc.pdf BibTex
titre
Summary Prefix Tree: An over DHT Indexing Data Structure for Efficient Superset Search
auteur
Bassirou Ngom, Mesaac Makpangou
article
NCA 2017 - 16th IEEE International Symposium on Network Computing and Applications, Oct 2017, Cambridge, MA, United States. pp.1-5, ⟨10.1109/NCA.2017.8171372⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01672052/file/spt_short_final-versionHal.pdf BibTex
titre
A Publish/Subscribe System Using Causal Broadcast Over Dynamically Built Spanning Trees
auteur
João Paulo de Araujo, Luciana Arantes, Elias Duarte Júnior, Luiz Rodrigues, Pierre Sens
article
SBAC-PAD 2017 - 29th International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.161-168, ⟨10.1109/SBAC-PAD.2017.28⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644469/file/sbac-pad2017.pdf BibTex
titre
Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm
auteur
Sébastien Bouchard, Marjorie Bournat, Yoann Dieudonné, Swan Dubois, Franck Petit
article
31st International Symposium on Distributed Computing, DISC 2017, Oct 2017, Vienna, Austria
Accès au bibtex
BibTex
titre
PaInleSS: a Framework for Parallel SAT Solving.
auteur
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
article
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩
Accès au bibtex
BibTex
titre
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs
auteur
Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix
article
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02111160/file/compas2017.pdf BibTex
titre
Vers une cohérence causale évolutive sans chaînes de ralentissements
auteur
Ilyas Toumlilt, Alejandro Tomsic, Marc Shapiro
article
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Nice Sophia-Antipolis, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01860334/file/compas2017_Ilyas_Toumlilt.pdf BibTex
titre
Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach
auteur
Wen Sun, Véronique Simon, Sébastien Monnet, Philippe Robert, Pierre Sens
article
ACM Sigmetrics 2017- International Conference on Measurement and Modeling of Computer Systems, Jun 2017, Urbana-Champaign, Illinois, United States. pp.51--51, ⟨10.1145/3078505.3078531⟩
Accès au bibtex
https://arxiv.org/pdf/1701.00335 BibTex
titre
Computability of Perpetual Exploration in Highly Dynamic Rings
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017) , Jun 2017, Atlanta, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01548109/file/main.pdf BibTex
titre
Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques
auteur
Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre Sens
article
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01511559/file/algotel17.pdf BibTex
titre
Quel est le nombre optimal de robots pour explorer un anneau hautement dynamique ?
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01516182/file/main.pdf BibTex
titre
Towards Proving Optimistic Multicore Schedulers
auteur
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
article
HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01556597/file/main.pdf BibTex
titre
Towards a generic autonomic model to manage Cloud Services
auteur
Jonathan Lejeune, Frederico Alvares, Thomas Ledoux
article
The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. pp.175-186, ⟨10.5220/0006302801750186⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01511360/file/CLOSER-2017.pdf BibTex
titre
An interface to implement NUMA policies in the Xen hypervisor
auteur
Gauthier Voron, Gaël Thomas, Vivien Quema, Pierre Sens
article
Twelfth European Conference on Computer Systems, EuroSys 2017 , Apr 2017, Belgrade, Serbia. pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515359/file/voron17eurosys-xen-numa.pdf BibTex
titre
Saving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks
auteur
Janine Kniess, Luciana Arantes, Pierre Sens, Célio Albuquerque
article
The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Mar 2017, Tapei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515369/file/aina2017a.pdf BibTex
titre
EDWiN : leveraging device-to-device communications for Efficient data Dissemination over Wi-Fi Networks
auteur
Lyes Hamidouche, Sébastien Monnet, Frédéric Bardolle, Pierre Sens, Dimitri Refauvelet
article
The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Mar 2017, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01515372/file/aina2017b.pdf BibTex
titre
Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments
auteur
Luciana Arantes, Roy Friedman, Olivier Marin, Pierre Sens
article
18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ⟨10.1145/1235⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399026/file/ICDCN.pdf BibTex

Chapitre d'ouvrage

titre
Optimistic Replication and Resolution
auteur
Marc Shapiro
article
Liu, Ling ; Özsu, M. Tamer. Encyclopedia Of Database Systems, Optimistic Replication and Resolution, Springer-Verlag, pp.1-8, 2017, ⟨10.1007/978-1-4899-7993-3_258-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01576333/file/optimistic-replication-Encyclopedia-DB-systems-2016-authorversion.pdf BibTex
titre
Replicated Data Types
auteur
Marc Shapiro
article
Liu, Ling; Özsu, M. Tamer. Encyclopedia Of Database Systems, Replicated Data Types, Springer-Verlag, pp.1-5, 2017, ⟨10.1007/978-1-4899-7993-3_80813-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01578910/file/replicated-data-types-Encyclopedia-DB-systems-2016-authorversion.pdf BibTex
titre
Eventual Consistency
auteur
Marc Shapiro, Bettina Kemme
article
Ling Liu; M. Tamer Özsu. Encyclopedia of Database Systems, Springer, pp.2, 2017, 978-1-4899-7993-3. ⟨10.1007/978-1-4899-7993-3_1366-2⟩. ⟨https://link.springer.com/referenceworkentry/10.1007/978-1-4899-7993-3_1366-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01547451/file/eventual-consistency-Encyclopedia-DB-systems-2016-authorversion.pdf BibTex

Rapport

titre
Evaluation of the CEC (Correct Eventual Consistency) Tool
auteur
Sreeja Nair
article
[Research Report] RR-9111, Inria Paris; LIP6 UMR 7606, UPMC Sorbonne Universités, France. 2017, pp.1-27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01628719/file/RR-9111.pdf BibTex
titre
Identifying thread interference with performance variation
auteur
Mohamed Saïd Mosli Bouksiaa, François Trahay, Alexis Lescouet, Gauthier Voron, Amina Guermouche, Elisabeth Brunet, Gaël Thomas
article
[Research Report] Dept. Informatique (Institut Mines-Télécom-Télécom SudParis); Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); Laboratoire Informatique Paris VI (Université Pierre et Marie Curie - Paris VI). 2017, pp.14
Accès au bibtex
BibTex
titre
A Failure Detector for HPC Platforms
auteur
George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article
[Research Report] RR-9024, INRIA. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01453086/file/RR-9024.pdf BibTex

Thèse

titre
Garantir la disponibilité et la gestion de la cohérence dans les systèmes géo-distribués
auteur
Vinh Tao Thanh
article
Computer Science [cs]. Pierre et Marie Curie, Paris VI; Inria Paris; REGAL; Scality, 2017. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01673030/file/these_archivage_3369912.pdf BibTex
titre
Scalable Location-Temporal Range Query Processing for Structured Peer-to-Peer Networks
auteur
Rudyar Cortés
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Pierre et Marie Curie, Paris VI; LIP6 UMR 7606 UPMC Sorbonne Universités, France; équipe REGAL, 2017. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01552377/file/these_archivage_3370236.pdf BibTex

Pré-publication, Document de travail

titre
Persistent Memory Programming Abstractions in Context of Concurrent Applications
auteur
Ajay Singh, Marc Shapiro, Gaël Thomas
article
2017
Accès au bibtex
https://arxiv.org/pdf/1712.04989 BibTex

2016

Article dans une revue

titre
Byzantine gathering in networks
auteur
Sébastien Bouchard, Yoann Dieudonné, Bertrand Ducourthial
article
Distributed Computing, Springer Verlag, 2016, 29 (6), pp.435-457. ⟨10.1007/s00446-016-0276-9⟩
Accès au bibtex
BibTex
titre
BSP Cost and Scalability Analysis for MapReduce Operations
auteur
Hermes Senger, Veronica Gil-Costa, Luciana Arantes, Cesar A.C. Marcondes, Mauricio Marin, Liria M. Sato, Fabricio A. B. da Silva
article
Concurrency and Computation: Practice and Experience, Wiley, 2016, 28 (8), pp.2503-2527 ⟨10.1002/cpe.3628⟩
Accès au bibtex
BibTex
titre
The expressive power of snap-stabilization
auteur
Alain Cournier, Ajoy K. Datta, Stéphane Devismes, Franck Petit, Vincent Villain
article
Theoretical Computer Science, Elsevier, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01292988/file/Cournier_2016_The_expressive.pdf BibTex
titre
Geo-Replication: Fast If Possible, Consistent If Necessary
auteur
Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis
article
IEEE Data Engineering Bulletin, IEEE Computer Society, 2016, IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, 39 (1), pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350652/file/GeoReplication-DataEngineering-2016-05.pdf BibTex
titre
ECHO: Efficient Complex Query over DHT overlays
auteur
Nicolas Hidalgo, Luciana Arantes, Pierre Sens, Xavier Bonnaire
article
Journal of Parallel and Distributed Computing, Elsevier, 2016, 88, pp.31-45. ⟨10.1016/j.jpdc.2015.10.007⟩
Accès au bibtex
BibTex
titre
SLA guarantees for cloud services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Frederico Alvares de Oliveira Jr., Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
Future Generation Computer Systems, Elsevier, 2016, 54, pp.233-246. ⟨10.1016/j.future.2015.03.018⟩
Accès au bibtex
BibTex
titre
Snap-Stabilizing Committee Coordination
auteur
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
article
Journal of Parallel and Distributed Computing, Elsevier, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01347461/file/main_jpdc.pdf BibTex
titre
Self-Stabilizing Prefix Tree Based Overlay Networks
auteur
Eddy Caron, Ajoy K. Datta, Cédric Tedeschi, Franck Petit
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (5), pp.607-630. ⟨10.1142/S0129054116500192⟩
Accès au bibtex
BibTex
titre
The Next 700 Impossibility Results in Time-Varying Graphs
auteur
Nicolas Braud-Santoni, Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2016, 6 (1), pp.27-41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01344422/file/IJNC_HAL.pdf BibTex
titre
Probabilistic Semantics
auteur
Salvatore Flavio Pileggi
article
Procedia Computer Science, Elsevier, 2016, 80, pp.1834-1845. ⟨10.1016/j.procs.2016.05.472⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01327353/file/1-s2.0-S1877050916309577-main.pdf BibTex
titre
A QoS-configurable failure detection service for internet applications
auteur
Rogério Turchetti, Elias Duarte Júnior, Luciana Arantes, Pierre Sens
article
Journal of Internet Services and Applications, Springer, 2016, 7 (9), pp.14. ⟨10.1186/s13174-016-0051-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405120/file/JISA-2016.pdf BibTex
titre
Solving k-Set Agreement Using Failure Detectors in Unknown Dynamic Networks
auteur
Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre Sens
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354864/file/tpds.pdf BibTex
titre
Survey on Simulation for Mobile Ad-Hoc Communication for Disaster Scenarios
auteur
Erika Rosas, Nicolas Hidalgo, Veronica Gil Costa, Mauricio Marin, Caroline Bonacic, Hermes Senger, Luciana Arantes, Cesar Marcondes, Olivier Marin
article
Journal of Computer Science and Technology, Springer Verlag, 2016, 31 (2), ⟨10.1007/s11390-016-1630-x⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Data Management for the RedisDG Scientific Workflow Engine
auteur
Leila Abidi, Souha Bejaoui, Christophe Cérin, Jonathan Lejeune, Yanik Ngoko, Walid Saad
article
IEEE International Conference on Computer and Information Technology, Dec 2016, Nadi, Fiji. pp.599 - 606, ⟨10.1109/CIT.2016.55⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01517163/file/RedisDG_SC2_2016.pdf BibTex
titre
Failure Detection and Propagation in HPC systems
auteur
George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article
SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt Lake City, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01352109/file/sc16-hal.pdf BibTex
titre
High Responsiveness for Group Editing CRDTs
auteur
Loïck Briot, Pascal Urso, Marc Shapiro
article
ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343941/file/camera-ready-2016-06-27.pdf BibTex
titre
Self-Stabilizing Robots in Highly Dynamic Environments
auteur
Marjorie Bournat, Ajoy Datta, Swan Dubois
article
SSS 2016 - 18th International Symposium Stabilization, Safety, and Security of Distributed Systems, Nov 2016, Lyon, France. pp.54-69, ⟨10.1007/978-3-319-49259-9_5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416308/file/SSS16.pdf BibTex
titre
Crowdsourcing-based architecture for post-disaster geolocation: A comparative performance evaluation
auteur
Florent Coriat, Anne Fladenmuller, Luciana Arantes, Olivier Marin
article
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Oct 2016, Cambridge, MA, United States. pp.1 - 9, ⟨10.1109/NCA.2016.7778583⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01416297/file/NCA_2016_Final.pdf BibTex
titre
Implementing a flexible failure detector that expresses the confidence in the system
auteur
Anubis Graciela de Moraes Rossetto, Claudio R. Geyer, Luciana Arantes, Pierre Sens
article
LADC 2016 - 7th Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01352162/file/Impact.pdf BibTex
titre
WiFi-Direct Simulation for INET in OMNeT++
auteur
Syphax Iskounen, Thi-Mai-Trang Nguyen, Sébastien Monnet
article
The 3rd OMNeT++ Community Summit, Sep 2016, Brno, Czech Republic
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01389581/file/Wifi-direct-simulation-using-Omnetpp-camera-ready.pdf BibTex
titre
Consistency in 3D
auteur
Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri
article
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350668/file/concur-2016-invited.pdf BibTex
titre
Gradual Stabilization under τ-Dynamics
auteur
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
article
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01215190/file/unison.pdf BibTex
titre
Specification and Complexity of Collaborative Text Editing
auteur
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
article
Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. pp.10, ⟨10.1145/2933057.2933090⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01351512/file/editing-podc16.pdf BibTex
titre
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
auteur
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
article
28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Jul 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01346979/file/ecrts.pdf BibTex
titre
Cure: Strong semantics meets high availability and low latency
auteur
Deepthi Devaki Akkoorath, Alejandro Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça, Marc Shapiro
article
Int. Conf. on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. pp.405-414, ⟨10.1109/ICDCS.2016.98⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350558/file/paper%20%281%29.pdf BibTex
titre
Algorithme auto-stabilisant efficace en mémoire pour la construction d'un arbre couvrant de diamètre minimum
auteur
Lélia Blin, Fadwa Boubekeur, Swan Dubois
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01302779/file/diametre-algotel.pdf BibTex
titre
Understanding the Memory Consumption of the MiBench Embedded Benchmark
auteur
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
article
Netys, May 2016, Marakech, Morocco
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01349421/file/netsys.pdf BibTex
titre
Eventually Consistent Register Revisited
auteur
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, Marc Shapiro
article
Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242700/file/mvreg_arXiv.pdf https://hal.inria.fr/hal-01242700/file/bug-run%20%281%29.pdf https://hal.inria.fr/hal-01242700/file/bug-run.pdf https://hal.inria.fr/hal-01242700/file/lww-run.pdf https://hal.inria.fr/hal-01242700/file/lww-run2%20%281%29.pdf https://hal.inria.fr/hal-01242700/file/lww-run2.pdf BibTex
titre
PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation
auteur
Alejandro Tomsic, Tyler Crain, Marc Shapiro
article
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Apr 2016, London, United Kingdom. pp.4, ⟨10.1145/2911151.2911166⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350657/file/main.pdf BibTex
titre
The CISE Tool: Proving Weakly-Consistent Applications Correct
auteur
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
article
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ⟨10.1145/2911151.2911160⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350636/file/CISE-tool-PaPoC-2016.pdf BibTex
titre
Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
auteur
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
article
Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243192/file/CISE-POPL-2016.pdf BibTex
titre
An Autonomic Majority Quorum System
auteur
Luiz A. Rodrigues, Luciana Arantes, Elias Duarte Júnior
article
30th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2016, Crans-Montana, Switzerland. ⟨10.1109/AINA.2016.73⟩
Accès au bibtex
BibTex
titre
GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets
auteur
Rudyar Cortés, Xavier Bonnaire, Olivier Marin, Luciana Arantes, Pierre Sens
article
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), 2016, Cambridge, MA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388949/file/main.pdf BibTex
titre
An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector
auteur
Denis Jeanneau, Luiz Rodrigues, Elias Duarte Júnior, Luciana Arantes
article
Latin-American Symposium on Dependable Computing (LADC), 2016, Cali, Colombia
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
A failure detector based on processes’ relevance and the confidence degree in the system for self-healing in ubiquitous environments
auteur
Anubis Graciela de Moraes Rossetto, Carlos Rolim, Valderi Leithardt, Claudio R. Geyer, Luciana Arantes, Pierre Sens
article
Ciprian Dobre; Fatos Xhafa Pervasive Computing , pp.23, 2016, Next Generation Platforms for Intelligent Data Collection ISBN: 978-0-12-803663-1
Accès au bibtex
BibTex

Autre publication

titre
Rencontre avec Marc Shapiro et son projet européen SyncFree
auteur
Marc Shapiro
article
2016
Accès au bibtex
BibTex

Poster

titre
Device-to-Device communications using Wi-Fi Direct for Dense Wireless Networks
auteur
Syphax Iskounen, Thi-Mai-Trang Nguyen, Sébastien Monnet, Lyes Hamidouche
article
7th International Conference on Network of the Futur (NoF 2016), Nov 2016, Buzios, Brazil. Proceedings of the 7th International Conference on Network of the Futur (NoF 2016), 2016
Accès au bibtex
BibTex

Rapport

titre
Computability of Perpetual Exploration in Highly Dynamic Rings
auteur
Marjorie Bournat, Swan Dubois, Franck Petit
article
[Research Report] Laboratoire d'informatique de Paris 6 [LIP6]; UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01417565/file/main.pdf BibTex
titre
Self-Stabilizing Robots in Highly Dynamic Environments
auteur
Marjorie Bournat, Ajoy K. Datta, Swan Dubois
article
[Research Report] LIP6 UMR 7606, INRIA, UPMC Sorbonne Universités, France; University of Nevada, Las Vegas, United States. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01368920/file/main_TR.pdf BibTex
titre
Impact: an Unreliable Failure Detector Based on Processes' Relevance and the Confidence Degree in the System
auteur
Anubis Rossetto, Luciana Arantes, Pierre Sens, Claudio Geyer
article
[Research Report] Université Pierre et Marie Curie; INRIA Paris-Rocquencourt - Regal; Universidade Federal do Rio Grande do Sul. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01136595/file/TechReport_Impact.pdf BibTex
titre
Consistency in 3D
auteur
Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri
article
[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01343592/file/RR-8932.pdf BibTex
titre
The CISE Tool: Proving Weakly-Consistent Applications Correct
auteur
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
article
[Research Report] RR-8870, Inria Paris Rocquencourt. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01279495/file/RR-8870-published.pdf BibTex
titre
Cure: Strong semantics meets high availability and low latency
auteur
Deepthi Devaki Akkoorath, Alejandro Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguiça, Marc Shapiro
article
[Research Report] RR-8858, INRIA; Paris 6. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01270776/file/RR-8858.pdf BibTex
titre
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
auteur
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
article
[Research Report] RR-8838, Inria. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01268078/file/rr.pdf BibTex

Thèse

titre
The Analysis and Co-design of Weakly-Consistent Applications
auteur
Mahsa Najafzadeh
article
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01351187/file/thesis-najafzadeh-2016-04-22.pdf BibTex
titre
Une approche distribuée pour les problèmes de couverture dans les systèmes hautement dynamiques
auteur
Mohamed Hamza Kaaouachi
article
Calcul parallèle, distribué et partagé [cs.DC]. UPMC - Paris 6 Sorbonne Universités, 2016. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01289153/file/these.pdf BibTex

2015

Article dans une revue

titre
Maximum Metric Spanning Tree Made Byzantine Tolerant
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
Algorithmica, Springer Verlag, 2015, 73 (1), pp.166-201. ⟨10.1007/s00453-014-9913-5⟩
Accès au bibtex
BibTex
titre
A fair starvation-free prioritized mutual exclusion algorithm for distributed systems
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
Journal of Parallel and Distributed Computing, Elsevier, 2015, 83, pp.13-29. ⟨10.1016/j.jpdc.2015.04.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178757/file/JPDC-2014.pdf BibTex
titre
Practically stabilizing SWMR atomic memory in message passing systems
auteur
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
article
Journal of Computer and System Sciences, Elsevier, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩
Accès au bibtex
BibTex
titre
Towards Fast Invariant Preservation in Geo-replicated Systems
auteur
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Mahsa Najafzadeh, Marc Shapiro, Nuno Preguiça
article
Operating Systems Review, Association for Computing Machinery, 2015, ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts, 49 (1), pp.5. ⟨10.1145/2723872.2723889⟩
Accès au bibtex
BibTex
titre
MRA++: Scheduling and data placement on MapReduce for heterogeneous environments
auteur
Julio Anjos, Ivan Carrera Izurieta, Wagner Kolberg, Andre Luis Tibola, Luciana Arantes, Claudio Geyer
article
Future Generation Computer Systems, Elsevier, 2015, 42, pp.22-35. ⟨10.1016/j.future.2014.09.001⟩
Accès au bibtex
BibTex
titre
Conception et évaluation d'un système de cache réparti adapté aux environnements virtualisés
auteur
Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens
article
Technique et Science Informatiques, Hermès-Lavoisier, 2015, 34 (1-2), pp.22. ⟨10.3166/tsi.34.101-123⟩
Accès au bibtex
BibTex
titre
Bringing the cloud closer to users
auteur
Marc Shapiro
article
EU Research, 2015, 2015 (1), pp.68--69
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248193/file/syncfree-cloud-closer-EU-Research-2015-09.pdf BibTex
titre
Boosting Streaming Video Delivery with WiseReplica
auteur
Guthemberg da Silva Silvestre, David Buffoni, Karine Pires, Sébastien Monnet, Pierre Sens
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2015, XX, pp.34-58. ⟨10.1007/978-3-662-46703-9_2⟩
Accès au bibtex
BibTex
titre
Etude des services de matchmaking dans les jeux mutlijoueurs en ligne: récupérer les traces utilisateur afin d'améliorer l'expérience de jeu
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet, Pierre Sens
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (1-2), pp.175-194. ⟨10.3166/tsi.34.175-194⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Write Fast, Read in the Past: Causal Consistency for Client-side Applications
auteur
Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, Marc Shapiro
article
Int. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248194/file/write-fast-read-past-middleware-2015.pdf BibTex
titre
Efficient Probabilistic Information Broadcast Algorithm over Random Geometric Topologies
auteur
Ruijing Hu
article
GLOBECOM, Dec 2015, San Diego, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01232676/file/globecom.pdf BibTex
titre
CRDTs in practice
auteur
Marc Shapiro
article
W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States
Accès au bibtex
BibTex
titre
A Scalable Architecture for Spatio-Temporal Range Queries over Big Location Data
auteur
Rudyar Cortés, Olivier Marin, Xavier Bonnaire, Luciana Arantes, Pierre Sens
article
14th IEEE International Symposium on Network Computing and Applications - IEEE NCA'15, Sep 2015, Cambridge, MA, United States
Accès au bibtex
BibTex
titre
Scattering and placing data replicas to enhance long-term durability
auteur
Véronique Simon, Sébastien Monnet, Matthieu Feuillet, Philippe Robert, Pierre Sens
article
The 14th IEEE International Symposium on Network Computing and Applications (IEEE NCA15), Sep 2015, Cambridge, United States. pp.6, ⟨10.1109/NCA.2015.15⟩
Accès au bibtex
BibTex
titre
Probabilistic Byzantine Tolerance for Cloud Computing
auteur
Luciana Arantes, Roy Friedman, Olivier Marin, Pierre Sens
article
34th International Symposium on Reliable Distributed Systems (SRDS 2015), Sep 2015, Montreal, Canada. pp.1-10, ⟨10.1109/SRDS.2015.22⟩
Accès au bibtex
BibTex
titre
A Failure Detector for k-Set Agreement in Dynamic Systems
auteur
Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre Sens
article
NCA 2015 - 14th IEEE International Symposium on Network Computing and Applications, Sep 2015, Cambridge, United States. pp.176-183, ⟨10.1109/NCA.2015.45⟩
Accès au bibtex
BibTex
titre
Scaling geo-replicated databases to the MEC environment
auteur
Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro
article
W. on Planetary-Scale Distributed Systems, Sep 2015, Montréal, Canada. pp.74-79, ⟨10.1109/SRDSW.2015.13⟩
Accès au bibtex
BibTex
titre
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
auteur
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno Preguiça
article
Symp. on Reliable Dist. Sys. (SRDS), Sep 2015, Montréal, Canada. pp.31-36, ⟨10.1109/SRDS.2015.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248192/file/numeric-invariants-SRDS-2015.pdf BibTex
titre
Scalability and availability for massively multiplayer online games
auteur
Guillaume Turchini, Sebastien Monnet, Olivier Marin
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01226608/file/FA_TURCHINI_LIP6.pdf BibTex
titre
Elastic Management of Byzantine Faults
auteur
Luciana Arantes, Marjorie Bournat, Roy Friedman, Olivier Marin, Pierre Sens
article
11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01226601/file/FA_ARANTES_LIP6.pdf BibTex
titre
Reducing synchronization cost in distributed multi-resource allocation problem
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01162329/file/PID3746705.pdf BibTex
titre
RepFD - Using reputation systems to detect failures in large dynamic networks
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet, Pierre Sens
article
44th International Conference on Parallel Processing (ICPP-2015), Sep 2015, Beijing, China
Accès au bibtex
BibTex
titre
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems
auteur
Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit
article
17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'15), Aug 2015, Edmonton, AB, Canada. pp.51-66, ⟨10.1007/978-3-319-21741-3_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01111610/file/RR.pdf BibTex
titre
The Weakest Failure Detector for Eventual Consistency
auteur
Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens
article
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Accès au bibtex
BibTex
titre
A Failure Detector That Gives Information on the Degree of Confidence in the System
auteur
Anubis Graciela de Moraes Rossetto, Claudio Geyer, Luciana Arantes, Pierre Sens
article
20th IEEE Symposium on Computers and Communication (ISCC-2015), Jul 2015, Larnaca, Cyprus. pp.532-537, ⟨10.1109/ISCC.2015.7405569⟩
Accès au bibtex
BibTex
titre
Gestion dynamique du cache entre machines virtuelles
auteur
Maxime Lorrillere, Joel Poudroux, Julien Sopena, Sébastien Monnet
article
Conférence d'Informatique en Parallélisme, Architecture et Système, Jun 2015, Lille, France. pp.1-10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01171226/file/compas2015.pdf BibTex
titre
MERCi-MIsS: Should I Turn off My Servers?
auteur
Mar Callau-Zori, Luciana Arantes, Julien Sopena, Pierre Sens
article
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.16-29, ⟨10.1007/978-3-319-19129-4_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01775024/file/978-3-319-19129-4_2_Chapter.pdf BibTex
titre
Détecteur de défaillances minimal pour le consensus adapté aux réseaux inconnus
auteur
Thibault Rieutord, Luciana Arantes, Pierre Sens
article
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01144111/file/detecteur-de-defaillances.pdf BibTex
titre
Dynamisme et Domination
auteur
Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit
article
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01145496/file/Algotel15.pdf BibTex
titre
Élection autostabilisante en un nombre polynomial de pas de calcul
auteur
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
article
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01145472/file/main.pdf BibTex
titre
Puma: pooling unused memory in virtual machines for I/O intensive applications
auteur
Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens
article
SYSTOR'15 - 8th ACM International Systems and Storage Conference, May 2015, Haifa, Israel. pp.1:1--1:11, ⟨10.1145/2757667.2757669⟩
Accès au bibtex
BibTex
titre
A Generic Framework for Impossibility Results in Time-Varying Graphs
auteur
Nicolas Braud-Santoni, Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit
article
17th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM'15), May 2015, Hyderabad, India. pp.483-489, ⟨10.1109/IPDPSW.2015.59⟩
Accès au bibtex
BibTex
titre
Enabling Ring Exploration with Myopic Oblivious Robots
auteur
Ajoy K. Datta, Anissa Lamani, Lawrence Larmore, Franck Petit
article
17th Workshop on Advances in Parallel and Distributed Computational Models, in conjunction with 29th IEEE International Parallel and Distributed Processing Symposium, May 2015, Hyderabad, India. ⟨10.1109/IPDPSW.2015.137⟩
Accès au bibtex
BibTex
titre
A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon
auteur
Lélia Blin, Fadwa Boubekeur, Swan Dubois
article
29rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2015), May 2015, Hyberabad, India. pp.1065-1074, ⟨10.1109/IPDPS.2015.44⟩
Accès au bibtex
BibTex
titre
2W-FD: A Failure Detector Algorithm with QoS
auteur
Alejandro Z. Tomsic, Pierre Sens, Joao Coelho Garcia, Luciana Arantes, Julien Sopena
article
IPDPS 2015 - The 29th IEEE International Parallel and Distributed Processing Symposium, May 2015, Hyderabad, India. pp.885-893, ⟨10.1109/IPDPS.2015.74⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01357777/file/paper.pdf BibTex
titre
Optimal Torus Exploration by Oblivious Robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
article
NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926573/file/torus.pdf BibTex
titre
Designing a causally consistent protocol for geo-distributed partial replication
auteur
Tyler Crain, Marc Shapiro
article
W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. ⟨10.1145/2745947.2745953⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01218204/file/main.pdf BibTex
titre
An empirical perspective on causal consistency
auteur
Alejandro Tomsic, Tyler Crain, Marc Shapiro
article
W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops, Apr 2015, Bordeaux, France. pp.2:1--2:3, ⟨10.1145/2745947.2745949⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01218208/file/paper.pdf BibTex
titre
Putting Consistency back into Eventual Consistency
auteur
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, Mahsa Najafzadeh, Marc Shapiro
article
European Conference on Computer Systems (EuroSys), ACM Sigops / EuroSys, Apr 2015, Bordeaux, France. pp.6:1--6:16, ⟨10.1145/2741948.2741972⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248191/file/putting-consistency-back-EuroSys-2015.pdf BibTex
titre
FreeSplit: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures
auteur
Rudyar Cortés, Xavier Bonnaire, Olivier Marin, Pierre Sens
article
29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Mar 2015, Gwangju, South Korea
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01095702/file/freesplit-Cortes-AINA15.pdf BibTex
titre
NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines
auteur
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro, Nhan Nguyen
article
20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM SIGOPS, ACM SIGPLAN, ACM SIGARCH, Mar 2015, Istanbul, Turkey. pp.661-673, ⟨10.1145/2694344.2694361⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178790/file/gidra15asplos-numagic.pdf BibTex
titre
A new unreliable failure detector for self-healing in ubiquitous environments
auteur
Anubis Graciela de Moraes Rossetto, Carlos Rolim, Valderi Leithardt, Guilherme Borges, Claudio Geyer, Luciana Arantes, Pierre Sens
article
The 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Mar 2015, Gwangiu, South Korea. pp.316-323, ⟨10.1109/AINA.2015.201⟩
Accès au bibtex
BibTex
titre
Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé
auteur
Gauthier Voron, Gaël Thomas, Pierre Sens, Vivien Quema
article
Conférence en Parallélisme, Architecture et Système, (COMPAS'15), 2015, Lille, France
Accès au bibtex
BibTex
titre
Merging Semantics for Conflict Updates in Geo-Distributed File Systems
auteur
Vinh Tao Thanh, Marc Shapiro, Vianney Rancurel
article
ACM Int. Systems and Storage Conf. (Systor), 2015, Haifa, Israel. pp.10.1--10.12, ⟨10.1145/2757667.2757683⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248190/file/geodistr-FS-Systor-2015.pdf BibTex

HDR

titre
Contributions à la réplication de données dans les systèmes distribués à grande échelle
auteur
Sébastien Monnet
article
Algorithme et structure de données [cs.DS]. UPMC Université Paris VI, 2015
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01241522/file/HDR-Monnet.pdf BibTex

Poster

titre
Puma: pooling unused memory in virtual machines for I/O intensive applications
auteur
Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens
article
The 8th ACM International Systems and Storage Conference, May 2015, Haifa, Israel. 2015, ⟨http://www.systor.org/2015/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01154566/file/poster.pdf BibTex

Rapport

titre
Write Fast, Read in the Past: Causal Consistency for Client-side Applications
auteur
Marek Zawirski, Nuno Preguiça, Sérgio Duarte, Annette Bieniusa, Valter Balegas, Marc Shapiro
article
[Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158370/file/RR-8729.pdf BibTex
titre
Emulating Geo-Replication on Grid5000
auteur
Dastagiri Reddy Malikireddy, Masoud Saeida Ardekani, Marc Shapiro
article
[Technical Report] RT-0455, Inria – Centre Paris-Rocquencourt; INRIA. 2015, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01149185/file/RT-455.pdf BibTex
titre
A Failure Detector for k-Set Agreement in Asynchronous Dynamic Systems
auteur
Denis Jeanneau, Thibault Rieutord, Luciana Arantes, Pierre Sens
article
[Research Report] RR-8727, UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01151739/file/Main.pdf BibTex
titre
Reducing synchronization cost in distributed multi-resource allocation problem
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
[Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120808/file/RR-8689.pdf BibTex

Vidéo

titre
CISE Safety Tool
auteur
Marc Shapiro, Mahsa Najafzadeh
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/medihal-01242710/file/CISE-demo%2Bvoiceover.mp4 BibTex

2014

Article dans une revue

titre
Towards a scalable refereeing system for online gaming
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet, Zahia Guessoum
article
Multimedia Systems, Springer Verlag, 2014, 20 (5), pp.579-593. ⟨10.1007/s00530-014-0358-0⟩
Accès au bibtex
BibTex
titre
Faults in Linux 2.6
auteur
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall
article
ACM Transactions on Computer Systems, Association for Computing Machinery, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01022704/file/faults-in-linux-2.6-tocs.pdf BibTex
titre
Comparing Distributed Online Stream Processing Systems Considering Fault Tolerance Issues.
auteur
André Leon Sampaio Gradvohl, Hermes Senger, Luciana Arantes, Pierre Sens
article
Journal of Emerging Technologies in Web Intelligence, 2014, 6 (2), pp.174-179. ⟨10.4304/jetwi.6.2.174-179⟩
Accès au bibtex
BibTex
titre
Dagstuhl Seminar Review: Consistency in Distributed Systems
auteur
Bettina Kemme, André Schiper, Ramlingam Ganesan, Marc Shapiro
article
ACM SIGACT News, Association for Computing Machinery (ACM), 2014, 45 (1), pp.22. ⟨http://doi.acm.org/10.1145/2596583.2596601⟩. ⟨10.1145/2596583.2596601⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
POPS: a popularity-aware live streaming service
auteur
Karine Pires, Sébastien Monnet, Pierre Sens
article
IEEE International Conference on Parallel and Distributed Systems (ICPADS 2014), Dec 2014, Hsinchu, Taiwan. pp.710-717, ⟨10.1109/PADSW.2014.7097873⟩
Accès au bibtex
BibTex
titre
G-DUR: A Middleware for Assembling, Analyzing, and Improving Transactional Protocols
auteur
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro
article
Middleware, Dec 2014, Bordeaux, France. pp.12, ⟨10.1145/2663165.2663336⟩
Accès au bibtex
BibTex
titre
Towards distributed geolocation for large scale disaster management
auteur
Florent Coriat, Luciana Arantes, Olivier Marin, Anne Fladenmuller, Nicolas Hidalgo, Erika Rosas
article
WSDP - Chilean Workshop on Distributed and Parallel Systems, Nov 2014, Talca, Chile
Accès au bibtex
BibTex
titre
Putting the Consistency Back Into Eventual Consistency
auteur
Valter Balegas, Mahsa Najafzadeh, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno Preguiça
article
Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
Accès au bibtex
BibTex
titre
Exploring the spectrum of strongly-consistent transactional protocols
auteur
Marc Shapiro, Masoud Saeida Ardekani, Pierre Sutra
article
Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom
Accès au bibtex
BibTex
titre
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
auteur
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil
article
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. pp.50-59, ⟨10.1109/SRDSW.2014.34⟩
Accès au bibtex
BibTex
titre
The Case for Fast and Invariant-Preserving Geo-Replication
auteur
Valter Balegas, Nuno Preguiça, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Mahsa Najafzadeh, Marc Shapiro
article
SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩
Accès au bibtex
BibTex
titre
Self-Stabilizing Leader Election in Polynomial Steps
auteur
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
article
SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00980798/file/main_tr.pdf BibTex
titre
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs
auteur
Ripon K. Saha, Julia L. Lawall, Sarfraz Khurshid, Dewayne E. Perry
article
ICSME 2014 - 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.161-170, ⟨10.1109/ICSME.2014.38⟩
Accès au bibtex
BibTex
titre
Memory Monitoring in a Multi-tenant OSGi Execution Environment
auteur
Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller
article
CBSE '14 -17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Marcq-en-Baroeul, France. ⟨10.1145/2602458.2602467⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01080634/file/cbse35-attouchi.pdf BibTex
titre
Explorer un anneau avec des robots amnésiques et myopes
auteur
Ajoy K. Datta, Anissa Lamani, Lawrence Larmore, Franck Petit
article
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00985611/file/algotel.pdf BibTex
titre
An Autonomic Implementation of Reliable Broadcast Based on Dynamic Spanning Trees.
auteur
Luiz A. Rodrigues, Luciana Arantes, Elias Duarte Júnior
article
EDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle, United Kingdom. pp.1-12, ⟨10.1109/EDCC.2014.31⟩
Accès au bibtex
BibTex
titre
Applying Machine Learning to Reduce Overhead in DTN Vehicular Networks
auteur
Lourdes Portugal-Poma, Cesar Marcondes, Hermes Senger, Luciana Arantes
article
The 2014 Computer Networks and Distributed Systems (SBRC), May 2014, Florianopolis, Brazil. pp.94-102, ⟨10.1109/SBRC.2014.12⟩
Accès au bibtex
BibTex
titre
FreeCore : Un substrat d'indexation des filtres de Bloom fragmentés pour la recherche par mots clés
auteur
Mesaac Makpangou, Bassirou Ngom, Samba Ndiaye
article
ComPAS'2014, Apr 2014, Neuchâtel, Suisse
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01049544/file/compas2014-final.pdf BibTex
titre
Contrôle de la bande passante mémoire dans les systèmes à criticité mixte par sous-réservation
auteur
Antoine Blin, Julien Sopena, Gilles Muller, Youssef Laarouchi
article
ComPAS 2014 - Conférence d'informatique en Parallélisme, Architecture et Systeme, Apr 2014, Neuchâtel, Suisse
Accès au bibtex
BibTex
titre
Matchmaking dans les jeux mutlijoueurs en ligne : étudier les traces utilisateurs pour améliorer l’expérience de jeu
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet
article
Conférence d’informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Accès au bibtex
BibTex
titre
POPS : service de diffusion de flux vidéos live prenant en compte la popularité
auteur
Karine Pires, Sébastien Monnet, Pierre Sens
article
ComPAS 2014 - Conférence d'informatique en Parallélisme, Architecture et Systeme, Apr 2014, Neuchâtel, Suisse
Accès au bibtex
BibTex
titre
PUMA: Un cache distant pour mutualiser la mémoire inutilisée des machines virtuelles
auteur
Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens
article
ComPAS'2014 : Conférence d'informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse. pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00983984/file/compas2014_submission_27.pdf BibTex
titre
Matchmaking in multi-player on-line games: studying user traces to improve the user experience
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet
article
NOSSDAV 2014 - ACM Workshop on Network and Operating Systems Support for Digital Audio and Video, Mar 2014, Singapore, Singapore. pp.7:7-7:12, ⟨10.1145/2578260.2578265⟩
Accès au bibtex
BibTex
titre
OneSim: Scaling Second Life with Kiwano
auteur
Joaquín Keller, Raluca Diaconu
article
MMVE, Mar 2014, Singapore, Singapore. pp.1 - 2, ⟨10.1145/2594448.2577394⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079511/file/mmve2014.pdf BibTex
titre
An Architecture for Resilient Ubiquitous Systems
auteur
Anubis Graciela de Moraes Rossetto, Claudio Geyer, Luciana Arantes, Carlos Rolim, Valderi Leithardt
article
International Conference on Health Informatics, Mar 2014, Angers, France. pp.459-464, ⟨10.5220/0004910404590464⟩
Accès au bibtex
BibTex
titre
Automated construction of a software-specific word similarity database
auteur
Yuan Tian, David Lo, Julia Lawall
article
2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.44-53, ⟨10.1109/CSMR-WCRE.2014.6747213⟩
Accès au bibtex
BibTex
titre
Replicated Data Types: Specification, Verification, Optimality
auteur
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
article
POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, CA, United States. pp.271-284, ⟨10.1145/2535838.2535848⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00934311/file/Replicated_Data_Types-_Specification_Verification_Optimality_Marek_Alexey_Burckhardt_popl14.pdf BibTex
titre
A Self-Configurable Geo-Replicated Cloud Storage System
auteur
Masoud Saeida Ardekani, Terry B. Douglas
article
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), 2014, Broomfield, CO, United States
Accès au bibtex
BibTex
titre
Multi-site Gargamel: Optimistic synchronization for reliable geo-replicated databases
auteur
Pierpaolo Cincilla, Sébastien Monnet, Marc Shapiro
article
International Workshop on Middleware for Dependable Systems and Networks, 2014, Bordeaux, France
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Principles of Distributed Systems, 18th Int. Conf. on (OPODIS 2014)
auteur
Marc Shapiro, Marcos Kawazoe Aguilera, Leonardo Querzoni
article
Shapiro, Marc; Aguilera, Marcos Kawazoe; Querzoni, Leonardo. OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d'Ampezzo, Italy. 8878, Springer-Verlag, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-14472-6⟩. ⟨http://opodis2014.dis.uniroma1.it/⟩
Accès au bibtex
BibTex

Poster

titre
Scality's experience with a geo-distributed file system
auteur
Marc Segura, Vianney Rancurel, Vinh Tao Thanh, Marc Shapiro
article
Middleware 2014, Dec 2014, Bordeaux, France. ACM, Middleware: Posters and Demos '14; Proceedings of the Posters & Demos Session, pp.31-32, 2014, ⟨http://2014.middleware-conference.org/⟩. ⟨10.1145/2678508.2678524⟩
Accès au bibtex
BibTex

Rapport

titre
The Next 700 Impossibility Results in Time-Varying Graphs
auteur
Nicolas Braud-Santoni, Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit
article
[Research Report] UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097109/file/IPL.pdf BibTex
titre
Sport Trackers and Big Data: Studying user traces to identify opportunities and challenges
auteur
Rudyar Cortés, Xavier Bonnaire, Olivier Marin, Pierre Sens
article
[Research Report] RR-8636, INRIA Paris. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092242/file/RR-8636.pdf BibTex
titre
FreeSplit: A Write-Ahead Protocol to Improve Latency in Distributed Prefix Tree Indexing Structures
auteur
Rudyar Cortés, Xavier Bonnaire, Olivier Marin, Pierre Sens
article
[Research Report] RR-8637, INRIA Paris. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092251/file/RR-8637.pdf BibTex
titre
SPLAD: scattering and placing data replicas to enhance long-term durability
auteur
Véronique Simon, Sébastien Monnet, Matthieu Feuillet, Philippe Robert, Pierre Sens
article
[Research Report] RR-8533, inria. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00988374/file/RR-8533.pdf BibTex
titre
Incinerator - Eliminating Stale References in Dynamic OSGi Applications
auteur
Koutheir Attouchi, Gaël Thomas, André Bottaro, Julia L. Lawall, Gilles Muller
article
[Research Report] RR-8485, Inria. 2014, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00952327/file/RR-8485.pdf BibTex

Thèse

titre
Gargamel: boosting DBMS performance by parallelising write transactions
auteur
Pierpaolo Cincilla
article
Computer Science [cs]. UPMC, 2014. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01108975/file/Thesis_Pierpaolo_Cincilla.pdf BibTex

2013

Article dans une revue

titre
Quand les écrans deviennent bleus
auteur
Gilles Muller, Joanna Jongwane
article
Interstices, INRIA, 2013, ⟨https://interstices.info/jcms/ni_76200/quand-les-ecrans-deviennent-bleus⟩
Accès au bibtex
BibTex
titre
Implementing an Embedded Compiler using Program Transformation Rules
auteur
Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Yérom-David Bromberg, Gilles Muller
article
Software: Practice and Experience, Wiley, 2013, pp.1.20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844536/file/spe.pdf BibTex
titre
Optimal probabilistic ring exploration by semi-synchronous oblivious robots
auteur
Stéphane Devismes, Franck Petit, Sébastien Tixeuil
article
Theoretical Computer Science, Elsevier, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩
Accès au bibtex
BibTex
titre
Consistency in Distributed Systems
auteur
Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
article
Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932737/file/dagstuhl-consistency-2013-02.pdf BibTex
titre
MRSG - A MapReduce Simulator over SimGrid
auteur
Wagner Kolberg, Pedro de Botelho Marcos, Julio C. S. Anjos, Alexandre K. S. Miyazaki, Claudio R. Geyer, Luciana Arantes
article
Parallel Computing, Elsevier, 2013, 39 (4-5), pp.233--244. ⟨10.1016/j.parco.2013.02.001⟩
Accès au bibtex
BibTex
titre
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process
auteur
Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, Gilles Muller
article
Software: Practice and Experience, Wiley, 2013, 43 (1), pp.67-92. ⟨10.1002/spe.2102⟩
Accès au bibtex
BibTex
titre
Snap-stabilizing message forwarding algorithm on tree topologies
auteur
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
article
Theoretical Computer Science, Elsevier, 2013, 496, pp.89-112
Accès au bibtex
BibTex
titre
Deterministic Geoleader Election in Disoriented Anonymous Systems
auteur
Yoann Dieudonné, Florence Levé, Franck Petit, Vincent Villain
article
Theoretical Computer Science, Elsevier, 2013, pp.43-54
Accès au bibtex
BibTex
titre
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications
auteur
Fabien Hermenier, Julia Lawall, Gilles Muller
article
IEEE Transactions on Dependable and Secure Computing, Institute of Electrical and Electronics Engineers, 2013, 10 (5), pp.273-286. ⟨10.1109/TDSC.2013.5⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Eventual Leader Election in Evolving Mobile Networks
auteur
Luciana Arantes, Fabíola Greve, Pierre Sens, Véronique Simon
article
OPODIS 2013 - 17th International Conference Principles of Distributed Systems, Dec 2013, Nice, France. pp.23-37, ⟨10.1007/978-3-319-03850-6_3⟩
Accès au bibtex
BibTex
titre
Predicting Popularity and Adapting Replication of Internet Videos for High-Quality Delivery
auteur
Guthemberg Da Silva Silvestre, Sébastien Monnet, David Buffoni, Pierre Sens
article
ICPADS 2013 - 19th IEEE International Conference on Parallel and Distributed Systems, Dec 2013, Seoul, South Korea. pp.412-419, ⟨10.1109/ICPADS.2013.64⟩
Accès au bibtex
BibTex
titre
Improving the scalability of geo-replication with reservations
auteur
Mahsa Najafzadeh, Marc Shapiro, Valter Balegas, Nuno Preguiça
article
DCC 2013 : Workshop on Distributed Cloud Computing, Dec 2013, Dresden, Germany. pp.441-445, ⟨10.1109/UCC.2013.87⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932657/file/escrow-DCC-2013.pdf BibTex
titre
Manycraft: Massively Distributed Minecraft
auteur
Mathieu Valero, Raluca Diaconu, Joaquín Keller
article
NetGames, Dec 2013, Denver, United States. pp.1 - 3, ⟨10.1109/NetGames.2013.6820616⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079510/file/netgames2013demo.pdf BibTex
titre
Manycraft: Scaling Minecraft to Millions
auteur
Raluca Diaconu, Joaquín Keller, Mathieu Valero
article
NetGames, Dec 2013, Denver, United States. pp.1 - 6, ⟨10.1109/NetGames.2013.6820617⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079509/file/netgames2013.pdf BibTex
titre
Self-Stabilizing Balancing Algorithm for Containment-Based Trees
auteur
Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero
article
15th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, Nov 2013, Osaka, Japan. pp.191-205, ⟨10.1007/978-3-319-03089-0_14⟩
Accès au bibtex
BibTex
titre
Brief Announcement: Ring Exploration by Oblivious Robots With Vision Limited to 2 or 3
auteur
Ajoy Datta, Anissa Lamani, Lawrence Larmore, Franck Petit
article
15th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, Nov 2013, Osaka, Japan. pp.363-366, ⟨10.1007/978-3-319-03089-0_31⟩
Accès au bibtex
BibTex
titre
On the relevance of the edge-Markovian evolving graph model for real mobile networks
auteur
Aurelie Faure de Pebeyre, Fabien Tarissan, Julien Sopena
article
IFIP Wireless Days conference (WD'13), Nov 2013, Valence, Spain. pp.1-6, ⟨10.1109/WD.2013.6686487⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01211178/file/wd13.pdf BibTex
titre
Automatic recommendation of API methods from feature requests
auteur
Ferdian Thung, Shaowei Wang, David Lo, Julia Lawall
article
ASE 2013 - 28th IEEE/ACM International Conference on Automated Software Engineering, IEEE/ACM, Nov 2013, Palo Alto, California, United States. pp.290-300, ⟨10.1109/ASE.2013.6693088⟩
Accès au bibtex
BibTex
titre
Understanding the genetic makeup of Linux device drivers
auteur
Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
article
PLOS'13 - 7th Workshop on Programming Languages and Operating Systems, Nov 2013, Nemacolin Woodlands Resort, Pennsylvania, United States. ⟨10.1145/2525528.2525536⟩
Accès au bibtex
BibTex
titre
Automated library recommendation
auteur
Ferdian Thung, David Lo, Julia Lawall
article
WCRE 2013 - 20th Working Conference on Reverse Engineering, IEEE, Oct 2013, Koblenz, Germany. pp.182-191, ⟨10.1109/WCRE.2013.6671293⟩
Accès au bibtex
BibTex
titre
Efficient Dissemination Algorithm for Scale-Free Topologies
auteur
Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens, Isabelle Demeure
article
ICPP'13 - 42th International Conference on Parallel Processing, Oct 2013, Lyon, France. pp.310-319, ⟨10.1109/ICPP.2013.40⟩
Accès au bibtex
BibTex
titre
A prioritized distributed mutual exclusion algorithm balancing priority inversions and response time
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
ICPP'13 - 42th International Conference on Parallel Processing, Oct 2013, Lyon, France. pp.290-299, ⟨10.1109/ICPP.2013.38⟩
Accès au bibtex
BibTex
titre
Easily rendering token-ring algorithms of distributed and parallel applications fault tolerant
auteur
Luciana Arantes, Julien Sopena
article
25th International Symposium on Computer Architecture and High Performance Computing (SBAC'13), Oct 2013, Porto de Galinhas, Brazil. pp.206-213, ⟨10.1109/SBAC-PAD.2013.11⟩
Accès au bibtex
BibTex
titre
Évaluation du modèle évolutif par arête-markovienne pour reproduire la dynamique des réseaux mobiles
auteur
Aurélie Faure de Pebeyre, Fabien Tarissan, Julien Sopena
article
4ème Journées Modèles et l’Analyse des Réseaux : Approches Mathématiques et Informatique (MARAMI'13), Oct 2013, Saint-Etienne, France. pp.1-12
Accès au bibtex
BibTex
titre
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems
auteur
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro
article
SRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.163-172, ⟨10.1109/SRDS.2013.25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932758/file/NMSI-SRDS-2013.pdf BibTex
titre
Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms
auteur
Alexandre Beslic, Reda Bendraou, Julien Sopena, Jean-Yves Rigolet
article
MDHPCL 2013 - 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Sep 2013, Miami, Florida, United States. pp.5-14
Accès au bibtex
BibTex
titre
Ring Exploration with Oblivious Myopic Robots
auteur
Ajoy Datta, Anissa Lamani, Lawrence Larmore, Franck Petit
article
SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.335-342
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00848051/file/00010058.pdf BibTex
titre
On the Scalability of Snapshot Isolation
auteur
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro, Nuno Preguiça
article
Euro-Par 2013 - 19th International Conference Parallel Processing, Aug 2013, Aachen, Germany. pp.369-381, ⟨10.1007/978-3-642-40047-6_39⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932781/file/scalability-SI-EuroPar-2013.pdf BibTex
titre
A Scalable Architecture for Highly Reliable Certification
auteur
Xavier Bonnaire, Rudyar Cortes, Fabrice Kordon, Olivier Marin
article
TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.328-335, ⟨10.1109/TrustCom.2013.44⟩
Accès au bibtex
BibTex
titre
Ring Exploration by Oblivious Agents with Local Vision
auteur
Ajoy Datta, Anissa Lamani, Lawrence Larmore, Franck Petit
article
33rd International Conference on Distributed Computing (ICDCS), Jul 2013, Philadelphia, United States. pp.347-356, ⟨10.1109/ICDCS.2013.55⟩
Accès au bibtex
BibTex
titre
Performing accurate simulations for deadline-aware applications
auteur
Guthemberg Da Silva Silvestre, Sébastien Monnet
article
HPCS 2013 - The 2013 International Conference on High Performance Computing & Simulation, Jul 2013, Helsinki, Finland. pp.65-71, ⟨10.1109/HPCSim.2013.6641394⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00861970/file/silvestre_mospas13.pdf BibTex
titre
Kiwano: A scalable distributed infrastructure for virtual worlds
auteur
Raluca Diaconu, Joaquín Keller
article
HPCS, Jul 2013, Helsinki, Finland. pp.664 - 667, ⟨10.1109/HPCSim.2013.6641489⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079507/file/hpcs2013.pdf BibTex
titre
When Expanders Help Self-Healing Distributed R-Tree Overlays
auteur
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero
article
IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing, Jun 2013, Bucarest, Romania. pp.143-150
Accès au bibtex
BibTex
titre
A Robust Permission-Based Hierarchical Distributed k-Mutual Exclusion Algorithm
auteur
Luiz Rodrigues, Jaime Cohen, Luciana Arantes, Elias Duarte Júnior
article
The 12th International Symposium on Parallel and Distributed Computing, Jun 2013, Bucharest, Romania. pp.151-158, ⟨10.1109/ISPDC.2013.28⟩
Accès au bibtex
BibTex
titre
Hector: Detecting resource-release omission faults in error-handling code for systems software
auteur
Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia Lawall, Gilles Muller
article
DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE/IFIP, Jun 2013, Budapest, Hungary. pp.1-12, ⟨10.1109/DSN.2013.6575307⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918079/file/dsn2013.pdf BibTex
titre
EZ: Towards Efficient Asynchronous Protocol Gateway Construction
auteur
Yérom-David Bromberg, Floréal Morandat, Laurent Réveillère, Gaël Thomas
article
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.169-174, ⟨10.1007/978-3-642-38541-4_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00991335/file/paper.pdf BibTex
titre
Explorer une grille avec un minimum de robots amnésiques
auteur
Franck Petit, Anissa Lamani, Stéphane Devismes, Sébastien Tixeuil, Pascal Raymond
article
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00817123/file/algotel.pdf BibTex
titre
Acheminement de messages instantanément stabilisant pour arbres couvrants
auteur
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
article
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00817130/file/AlgoTel2013.pdf BibTex
titre
Towards QoS-Oriented SLA Guarantees for Online Cloud Services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. pp.50-57, ⟨10.1109/CCGrid.2013.66⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00780000/file/IEEE-CCGrid-2013%281%29.pdf BibTex
titre
Incremental Stream Processing using Computational Conflict-free Replicated Data Types
auteur
David Navalho, Sérgio Duarte, Nuno Preguiça, Marc Shapiro
article
CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Apr 2013, Prague, Czech Republic. pp.31-36, ⟨10.1145/2460756.2460762⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932788/file/computational-CRDTs-CloudDP-2013.pdf BibTex
titre
Verification of a Quasi certification Protocol over a DHT
auteur
Fabrice Kordon, Xavier Bonnaire, Rudyar Cortes, Olivier Marin
article
Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
A study of the scalability of stop-the-world garbage collectors on multicores
auteur
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro
article
ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, ACM, Mar 2013, Houston, United States. pp.229-240, ⟨10.1145/2451116.2451142⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868012/file/gidra13asplos-naps.pdf BibTex
titre
EHCtor: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software
auteur
Suman Saha, Jean-Pierre Lozi
article
9ème Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01302679/file/cfse9.pdf BibTex
titre
Vers un cache réparti adapté au cloud computing
auteur
Maxime Lorrillere, Julien Sopena, Sébastien Monnet, Pierre Sens
article
Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2013) - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Jan 2013, Grenoble, France. pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00832976/file/paper_20.pdf BibTex
titre
Vers un système d'arbitrage décentralisé pour les jeux en ligne
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet, Zahia Guessoum
article
RenPar'21 - Rencontres francophones du Parallelisme, Jan 2013, Grenoble, France. 9 p
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00931400/file/renpar2013.pdf BibTex
titre
Un algorithme équitable d'exclusion mutuelle distribuée avec priorité
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00839061/file/Compas2013-Lejeune.pdf BibTex
titre
SLA et qualité de service pour le Cloud Computing
auteur
Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
Accès au bibtex
BibTex
titre
Comparaisons équitables des algorithmes de gossip sur les topologies aléatoires à grande-échelle
auteur
Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens, Isabelle Demeure
article
ComPAS'2013 - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00839059/file/Compas2013-Hu.pdf BibTex
titre
Pinpoint the Offending Code in a Kernel Oops
auteur
Lisong Guo
article
ComPAS, Jan 2013, Grenoble, France
Accès au bibtex
BibTex
titre
Profiler dynamique de contention pour les verrous des applications Java
auteur
Florian David
article
ComPAS, Jan 2013, Grenoble, France
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Journal of Theoretical Computer Science, Special Issue on Stabilization, Safety, and Security
auteur
Xavier Défago, Franck Petit, Vincent Villain
article
France. 512, Elsevier, pp.1-142, 2013
Accès au bibtex
BibTex

Rapport

titre
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
auteur
Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro, Nuno Preguiça
article
[Research Report] RR-8347, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00870225/file/RR-8347.pdf BibTex
titre
Easily rendering token-ring algorithms of distributed and parallel applications fault tolerant
auteur
Luciana Arantes, Julien Sopena
article
[Research Report] RR-8359, INRIA. 2013, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859863/file/RR-8359.pdf BibTex
titre
Oops! What about a Million Kernel Oopses?
auteur
Lisong Guo, Peter Senna Tschudin, Kenji Kono, Gilles Muller, Julia Lawall
article
[Technical Report] RT-0436, INRIA. 2013, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838528/file/RT-436.pdf BibTex
titre
Non-Monotonic Snapshot Isolation
auteur
Masoud Saeida Ardekani, Pierre Sutra, Nuno Preguiça, Marc Shapiro
article
[Research Report] RR-7805, INRIA. 2013, pp.45
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643430/file/paper.pdf BibTex

Thèse

titre
Epidemic dissemination algorithms in large-scale networks: comparison and adaption to topologies
auteur
Ruijing Hu
article
Modeling and Simulation. Université Pierre et Marie Curie - Paris VI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931796/file/Thesis.pdf BibTex
titre
Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge Networks
auteur
Guthemberg Da Silva Silvestre
article
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931562/file/main.pdf BibTex
titre
Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
auteur
Ndeye Massata Ndiaye
article
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931839/file/manuscritMassata.pdf BibTex
titre
Communication inter-cœurs optimisée pour le parallélisme de flux.
auteur
Thomas Preud'Homme
article
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie - Paris VI, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931833/file/These-manuscript.pdf BibTex
titre
Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information
auteur
Suman Saha
article
Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00937807/file/Thesis.pdf BibTex

2012

Article dans une revue

titre
Eventually Strong Failure Detector with Unknown Membership
auteur
Fabíola Greve, Pierre Sens, Luciana Arantes, Véronique Simon
article
The Computer Journal, Oxford University Press (UK), 2012, 55 (12), pp.1507-1524. ⟨10.1093/comjnl/bxs084⟩
Accès au bibtex
BibTex
titre
Le logiciel libre dans la recherche
auteur
Julia Lawall, Joanna Jongwane
article
Interstices, INRIA, 2012, ⟨https://interstices.info/jcms/int_69682/le-logiciel-libre-dans-la-recherche⟩
Accès au bibtex
BibTex
titre
RelaxDHT : A Churn Resilient for Peer-to-Peer Distributed Hash-Tables
auteur
Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
article
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2012, 7 (2), pp.28. ⟨10.1145/2240166.2240178⟩
Accès au bibtex
BibTex
titre
Performance comparison of hierarchical checkpoint protocols grid computing
auteur
Ndeye Massata Ndiaye, Pierre Sens, Ousmane Thiare
article
International Journal of Interactive Multimedia and Artificial Intelligence, 2012, 1 (6), pp.46-53
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00737201/file/Grid_checkpointing.pdf BibTex
titre
Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is Undecidable
auteur
Raluca Diaconu, Catalin Dima
article
Applied Artificial Intelligence, Taylor & Francis, 2012, 26 (4), pp.331--348. ⟨10.1080/08839514.2012.652905⟩
Accès au bibtex
BibTex
titre
Self-stabilizing gathering with strong multiplicity detection
auteur
Yoann Dieudonné, Franck Petit
article
Theoretical Computer Science, Elsevier, 2012, 428, pp.47-57. ⟨10.1016/j.tcs.2011.12.010⟩
Accès au bibtex
BibTex
titre
Bounding the Impact of Unbounded Attacks in Stabilization
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (3), pp.460-466. ⟨10.1109/TPDS.2011.158⟩
Accès au bibtex
BibTex
titre
Vers une plate-forme MapReduce tolérant les fautes byzantines
auteur
Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson N. Bessani, Vinicius V. Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin
article
Technique et Science Informatiques, Hermès-Lavoisier, 2012, 31 (8-10), pp.1079-1099. ⟨10.3166/tsi.31.1079-1099⟩
Accès au bibtex
BibTex
titre
Self-stabilizing byzantine asynchronous unison
auteur
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
article
Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (7), pp.917-923. ⟨10.1016/j.jpdc.2012.04.001⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Crash Resilient and Pseudo-Stabilizing Atomic Registers
auteur
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
article
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. pp.135-150, ⟨10.1007/978-3-642-35476-2_10⟩
Accès au bibtex
BibTex
titre
AREN: a popularity aware replication scheme for cloud storage
auteur
Guthemberg Da Silva Silvestre, Sébastien Monnet, Ruby Krishnaswamy, Pierre Sens
article
IEEE International Conference on Parallel and Distributed Systems (ICPADS), Dec 2012, Singapore, Singapore. pp.189-196, ⟨10.1109/ICPADS.2012.35⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00861971/file/silvestre_icpads12.pdf BibTex
titre
Gargamel: boosting DBMS performance by parallelising write transactions
auteur
Pierpaolo Cincilla, Sébastien Monnet, Marc Shapiro
article
ICPADS 2012 - IEEE 18th International Conference on Parallel and Distributed Systems, Dec 2012, Singapour, Singapore. pp.572--579, ⟨10.1109/ICPADS.2012.83⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932795/file/gargamel-ICPADS-2012.pdf BibTex
titre
Hierarchical composition of coordinated checkpoint with pessimistic message logging
auteur
Ndeye Massata Ndiaye, Pierre Sens, Ousmane Thiare
article
PDGC 2012 - 2nd IEEE International Conference on Parallel, Distributed and Grid Computing, Dec 2012, Solan, India. pp.752-756, ⟨10.1109/PDGC.2012.6449916⟩
Accès au bibtex
BibTex
titre
An improvement of OpenMP pipeline parallelism with the BatchQueue algorithm
auteur
Thomas Preud'Homme, Julien Sopena, Gaël Thomas, Bertil Folliot
article
18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), Dec 2012, Singapore, Singapore. pp.348-355, ⟨10.1109/ICPADS.2012.55⟩
Accès au bibtex
BibTex
titre
Towards a Geocentric Mobile Syndication System
auteur
Adrien Debrie, Pacôme Eberhart, Pierre-Louis Roman, Cécile Le Pape, Olivier Marin
article
The 2012 IEEE International Conference on Internet of Things (iThings), Nov 2012, Besançon, France. ⟨10.1109/GreenCom.2012.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01140465/file/gems_ithings2012.pdf BibTex
titre
Friticores: A RSS Feed Monitoring and Dissemination System
auteur
Mesaac Makpangou, Bassirou Ngom, Samba Ndiaye
article
AFRICOMM 2012 - Fourth International IEEE EAI Conference on e-Infrastructure and e‐Services for Developing Countries, Nov 2012, Yaounde, Cameroon
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00940732/file/africommFinal.pdf BibTex
titre
Towards a scalable refereeing system for online gaming
auteur
Maxime Véron, Olivier Marin, Sébastien Monnet, Zahia Guessoum
article
11th International Workshop on Network and Systems Support for Games (NetGames'2012) (Poster), Nov 2012, Venice, Italy
Accès au bibtex
BibTex
titre
Brief Announcement: Semantics of Eventually Consistent Replicated Sets
auteur
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
article
DISC 2012 - 26th International Symposium on Distributed Computing, Oct 2012, Salvador, Bahia, Brazil. pp.441--442, ⟨10.1007/978-3-642-33651-5_48⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00769554/file/semantics-sets-BA-DISC-2012.pdf BibTex
titre
Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies
auteur
Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens, Isabelle Demeure
article
SRDS 2012 - 31th IEEE International Symposium on Reliable Distributed Systems, Oct 2012, Irvine, California, United States. pp.331-340, ⟨10.1109/SRDS.2012.28⟩
Accès au bibtex
BibTex
titre
Optimal Grid Exploration by Asynchronous Oblivious Robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
article
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Accès au bibtex
BibTex
titre
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
auteur
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil
article
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.282-284, ⟨10.1007/978-3-642-33536-5_28⟩
Accès au bibtex
BibTex
titre
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems
auteur
Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit
article
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Oct 2012, Toronto, Canada. pp.239-252, ⟨10.1007/978-3-642-33536-5_24⟩
Accès au bibtex
BibTex
titre
Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
auteur
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
article
27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00731064/file/diagnosys-ase12.pdf BibTex
titre
A Grid Based Distributed Cooperative Environment for Health Care Research
auteur
Felipe Maia, Rafael Araújo, Luiz Carlos Muniz, Rayrone Zirtany, Luciano Coutinho, Samyr Vale, Francisco José Silva, Pierpaolo Cincilla, Ikram Chabbouh, Sébastien Monnet, Luciana Arantes, Marc Shapiro
article
FHIES 2012 - Second International Symposium Foundations of Health Information Engineering and Systems, Aug 2012, Paris, France. pp.142-150, ⟨10.1007/978-3-642-39088-3_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932708/file/ecadeg_accepted-FHIES-2012.pdf BibTex
titre
Caju: a content distribution system for edge networks
auteur
Guthemberg Da Silva Silvestre, Sébastien Monnet, Ruby Krishnaswamy, Pierre Sens
article
BDMC 2012 - 1st Workshop on Big Data Management in Clouds - in Conjunction with Euro-Par 2012, Aug 2012, Rhodes Islands, Greece. pp.13-23, ⟨10.1007/978-3-642-36949-0_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00863155/file/silvestre_bdmc12.pdf BibTex
titre
Jasmin: An Alternative for Secure Modularity Inside the Digital Home
auteur
Matthieu Anne, Koutheir Attouchi, Dominique Henry-De-Villeneuve, Jacques Pulou
article
Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 145-150, ⟨10.1145/2304736.2304760⟩
Accès au bibtex
BibTex
titre
Adaptive Monitoring of End-user OSGi-based Home Boxes
auteur
Yoann Maurel, André Bottaro, Radu Kopetz, Koutheir Attouchi
article
Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 157-166, ⟨10.1145/2304736.2304763⟩
Accès au bibtex
BibTex
titre
The Byzantine Brides Problem
auteur
Swan Dubois, Sébastien Tixeuil, Nini Zhu
article
FUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. pp.107-118, ⟨10.1007/978-3-642-30347-0_13⟩
Accès au bibtex
BibTex
titre
Identifying Linux bug fixing patches
auteur
Yuan Tian, Julia Lawall, David Lo
article
ICSE 2012 - 34th International Conference on Software Engineering, Jun 2012, Zurich, Switzerland. pp.386-396
Accès au bibtex
BibTex
titre
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
auteur
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia L. Lawall, Gilles Muller
article
Usenix Annual Technical Conference 2012, Jun 2012, Boston, United States. pp.65-76
Accès au bibtex
BibTex
titre
Mariages et Trahisons
auteur
Swan Dubois, Sébastien Tixeuil, Nini Zhu
article
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
https://hal.archives-ouvertes.fr/hal-00689348/file/Algotel12.pdf BibTex
titre
A Time-Free Byzantine Failure Detector for Dynamic Networks
auteur
Fabíola Greve, Murilo Santos de Lima, Luciana Arantes, Pierre Sens
article
EDCC 2012 - 9th European Dependable Computing Conference, May 2012, Sibiu, Romania. pp.191-202, ⟨10.1109/EDCC.2012.28⟩
Accès au bibtex
BibTex
titre
Service Level Agreement for Distributed Mutual Exclusion in Cloud Computing
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
12th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGRID'12), May 2012, Ottawa, Canada. pp.180-187, ⟨10.1109/CCGrid.2012.11⟩
Accès au bibtex
BibTex
titre
Facing peak loads in a P2P transaction system
auteur
Laure Millet, Maxime Lorrillere, Luciana Arantes, Stéphane Gançarski, Hubert Naacke, Julien Sopena
article
The First Workshop on P2P and Dependability (P2PDEP'12), May 2012, Sibiu, Romania. pp.1-7, ⟨10.1145/2212346.2212347⟩
Accès au bibtex
BibTex
titre
The Space Complexity of Transactional Interactive Reads
auteur
Masoud Saeida Ardekani, Marek Zawirski, Pierre Sutra, Marc Shapiro
article
HotCDP '12 - 1st International Workshop on Hot Topics in Cloud Data Processing, Apr 2012, Bern, Switzerland. ⟨10.1145/2169090.2169094⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932803/file/interactive-reads-HotCDP-2012.pdf BibTex
titre
Optimized range queries for large scale networks
auteur
Nicolas Hidalgo, Erika Rosas, Luciana Arantes, Olivier Marin, Pierre Sens, Xavier Bonnaire
article
AINA 2012 - 26th IEEE International Conference on Advanced Information Networking and Applications, Mar 2012, Fukuoka, Japan. pp.438-445, ⟨10.1109/AINA.2012.32⟩
Accès au bibtex
BibTex
titre
Performance Comparison of Hierarchical Checkpoint Protocols on Grid Computing
auteur
Ndeye Massata Ndiaye, Pierre Sens, Ousmane Thiare
article
9th International Conference, Distributed Computing and Artificial Intelligence, Mar 2012, Salamanca, Spain. pp.339-346, ⟨10.1007/978-3-642-28765-7_40⟩
Accès au bibtex
BibTex
titre
Fastlane: Streamlining transactions for low thread counts
auteur
Jons Wamhoff, Chistof Fetzer, Pascal Felber, Étienne Rivière, Gilles Muller
article
TRANSACT 2012 - 7th ACM SIGPLAN Workshop on Transactional Computing, Feb 2012, New Orleans, LA, United States. pp.1-8
Accès au bibtex
BibTex
titre
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies
auteur
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
article
ICDCN 2012 - 13th International Conference on Distributed Computing and Networking, Jan 2012, Hong Kong, China. pp.46-60, ⟨10.1007/978-3-642-25959-3_4⟩
Accès au bibtex
BibTex
titre
Access Permission Contracts for Scripting Languages
auteur
Phillip Heidegger, Annette Bieniusa, Peter Thieman
article
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Jan 2012, Philadelphia, United States. pp.111-122, ⟨10.1145/2103656.2103671⟩
Accès au bibtex
BibTex

Rapport

titre
Self-Stabilizing Balancing Algorithm for Containment-Based Trees
auteur
Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero
article
[Technical Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00765005/file/main.pdf BibTex
titre
Towards a Scalable Dynamic Spatial Database System
auteur
Joaquín Keller, Raluca Diaconu, Mathieu Valero
article
[Research Report] 2012, 20 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00752862/file/main.pdf BibTex
titre
An optimized conflict-free replicated set
auteur
Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
article
[Research Report] RR-8083, INRIA. 2012, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00738680/file/RR-8083.pdf BibTex
titre
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems
auteur
Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714775/file/Report.pdf BibTex
titre
Caju: a content distribution system for edge networks
auteur
Guthemberg Da Silva Silvestre, Sébastien Monnet, Ruby Krishnaswamy, Pierre Sens
article
[Research Report] RR-8006, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00712990/file/RR-8006.pdf BibTex
titre
Ring Exploration with Oblivious Myopic Robots
auteur
Ajoy K.Datta, Anissa Lamani, Larmore Lawrence L., Franck Petit
article
[Technical Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00700401/file/Main.pdf BibTex
titre
Fault-Tolerant and Dynamic Service Discovery System
auteur
Eddy Caron, Florent Chuffart, Alain Cournier, Anissa Lamani, Franck Petit, Cédric Tedeschi, Vincent Villain
article
[Other] SPADE 1.2, Agence Nationale de la Recherche. 2012, pp.41
Accès au bibtex
BibTex
titre
Towards QoS-Oriented SLA Guarantees for Online Cloud Services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
[Research Report] RR-LIG-034, LIG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472052/file/RR-LIG-034_orig.pdf BibTex

2011

Article dans une revue

titre
Assessing the Scalability of Garbage Collectors on Many Cores
auteur
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro
article
Operating Systems Review, Association for Computing Machinery, 2011, Best papers from PLOS'11, 45 (3), pp.15--19. ⟨10.1145/2094091.2094096⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932831/file/GC-scalability_PLOS-2011-10.pdf BibTex
titre
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems
auteur
Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk
article
Operating Systems Review, Association for Computing Machinery, 2011, 45 (3), pp.1--4. ⟨10.1145/2094091.2094093⟩
Accès au bibtex
BibTex
titre
CORPS: Building a Community Of Reputable PeerS in Distributed Hash Tables
auteur
Erika Rosas, Olivier Marin, Xavier Bonnaire
article
The Computer Journal, Oxford University Press (UK), 2011, 54 (10), pp.1721-1735. ⟨10.1093/comjnl/bxr087⟩
Accès au bibtex
BibTex
titre
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
auteur
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
article
Information Processing Letters, Elsevier, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩
Accès au bibtex
BibTex
titre
Asymptotically Optimal Deterministic Rendezvous
auteur
Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (5), pp.1143-1159. ⟨10.1142/s012905411100860x⟩
Accès au bibtex
BibTex
titre
How to improve snap-stabilizing point-to-point communication space complexity?
auteur
Alain Cournier, Swan Dubois, Vincent Villain
article
Theoretical Computer Science, Elsevier, 2011, ⟨10.1016/j.tcs.2010.11.014⟩
Accès au bibtex
BibTex
titre
Dynamic FTSS in asynchronous systems: The case of unison
auteur
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
article
Theoretical Computer Science, Elsevier, 2011, 412 (29), pp.3418-3439. ⟨10.1016/j.tcs.2011.02.012⟩
Accès au bibtex
BibTex
titre
Convergent and Commutative Replicated Data Types
auteur
Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski
article
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2011, pp.67-88
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932833/file/CRDTs-beatcs-2011-06.pdf BibTex
titre
Self-stabilizing minimum degree spanning tree within one from the optimal degree
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stéphane Rovedakis
article
Journal of Parallel and Distributed Computing, Elsevier, 2011, 71 (3), pp.438-449. ⟨10.1016/j.jpdc.2010.08.019⟩
Accès au bibtex
BibTex
titre
Autour de l'autostabilisation. 1. Techniques généralisant l'approche
auteur
Stéphane Devismes, Franck Petit, Vincent Villain
article
Technique et Science Informatiques, Hermès-Lavoisier, 2011, 30 (7), pp.873-894. ⟨10.3166/tsi.30.873-894⟩
Accès au bibtex
BibTex
titre
Autour de l'autostabilisation. 2. Techniques spécialisant l'approche
auteur
Stéphane Devismes, Franck Petit, Vincent Villain
article
Technique et Science Informatiques, Hermès-Lavoisier, 2011, 30 (7), pp.895-922. ⟨10.3166/tsi.30.895-922⟩
Accès au bibtex
BibTex
titre
Zebu: A Language-Based Approach for Network Protocol Message Processing
auteur
Laurent Burgy, Laurent Réveillère, Julia Lawall, G. Muller
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591
Accès au bibtex
BibTex

Communication dans un congrès

titre
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction
auteur
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
article
OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. pp.251-265, ⟨10.1007/978-3-642-25873-2_18⟩
Accès au bibtex
BibTex
titre
Anonymous Agreement: The Janus Algorithm
auteur
Zohir Bouzid, Pierre Sutra, Corentin Travers
article
OPODIS'11 - 15th International Conference On Principles Of Distributed Systems, Dec 2011, Toulouse, France. pp.175-190, ⟨10.1007/978-3-642-25873-2_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00625704/file/main-longversion.pdf BibTex
titre
A Tabu Based Cache to Improve Latency and Load Balancing on Prefix Trees
auteur
Nicolas Hidalgo, Luciana Arantes, Pierre Sens, Xavier Bonnaire
article
ICPADS 2011 - IEEE International Conference on Parallel and Distributed Systems, Dec 2011, Tainan, Taiwan. pp.557-564, ⟨10.1109/ICPADS.2011.18⟩
Accès au bibtex
BibTex
titre
Assessing the Scalability of Garbage Collectors on Many Cores
auteur
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro
article
PLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. pp.7:1-7:5, ⟨10.1145/2039239.2039249⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932818/file/GC-scalability_PLOS-2011-10.pdf BibTex
titre
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems
auteur
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.19-31, ⟨10.1007/978-3-642-24550-3_4⟩
Accès au bibtex
BibTex
titre
Conflict-free Replicated Data Types
auteur
Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski
article
SSS 2011 - 13th International Symposium Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.386-400, ⟨10.1007/978-3-642-24550-3_29⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf BibTex
titre
Fast Genuine Generalized Consensus
auteur
Pierre Sutra, Marc Shapiro
article
SRDS 2011 - 30th IEEE Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. pp.255--264, ⟨10.1109/SRDS.2011.38⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932839/file/FGGC-SRDS-2011.pdf BibTex
titre
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions
auteur
Sergey Legtchenko, Sébastien Monnet, Pierre Sens
article
30th Symposium on Reliable Distributed Systems (SRDS 2011), Oct 2011, Madrid, Spain. pp.91-100, ⟨10.1109/SRDS.2011.20⟩
Accès au bibtex
BibTex
titre
Finding Resource-Release Omission Faults in {Linux}
auteur
Suman Saha, Julia L. Lawall, Gilles Muller
article
6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. ⟨10.1145/2039239.2039241⟩
Accès au bibtex
BibTex
titre
The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs
auteur
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro
article
WTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932809/file/Impossibility_of_Genuine_Replicated_STM_under_SI-WTTM-2011.pdf BibTex
titre
Physical expander in Virtual Tree Overlay
auteur
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero
article
DISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.82-96, ⟨10.1007/978-3-642-24100-0_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00569098/file/robust-tree.pdf BibTex
titre
Maximum Metric Spanning Tree made Byzantine Tolerant
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
DISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.150-164, ⟨10.1007/978-3-642-24100-0_14⟩
Accès au bibtex
BibTex
titre
Distributed Computing with Mobile Robots: an Introductory Survey
auteur
Maria Gradinariu Potop-Butucaru, Michel Raynal, Sébastien Tixeuil
article
NBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩
Accès au bibtex
BibTex
titre
What model and what conditions to implement unreliable failure detectors in dynamic networks?
auteur
Fabíola Gonçalves Pereira Greve, Luciana Arantes, Pierre Sens
article
The 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, Sep 2011, Rome, Italy. pp.13-17, ⟨10.1145/2034640.2034645⟩
Accès au bibtex
BibTex
titre
DRing: A Layered Scheme for Range Queries over DHTs
auteur
Nicolas Hidalgo, Erika Rosas, Luciana Arantes, Olivier Marin, Pierre Sens, Xavier Bonnaire
article
IEEE International Conference on Computer and Information Technology, Aug 2011, Paphos, Cyprus. pp.29-34, ⟨10.1109/CIT.2011.100⟩
Accès au bibtex
BibTex
titre
Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks
auteur
Paulo Floriano, Alfredo Goldman, Luciana Arantes
article
The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, Aug 2011, Cambridge, MA, United States. pp.203-210, ⟨10.1109/NCA.2011.35⟩
Accès au bibtex
BibTex
titre
A Failure Detector for Wireless Networks with Unknown Membership
auteur
Fabíola Gonçalves Pereira Greve, Pierre Sens, Luciana Arantes, Véronique Simon
article
Euro-Par, Aug 2011, Bordeaux, France. pp.27-38, ⟨10.1007/978-3-642-23397-5_4⟩
Accès au bibtex
BibTex
titre
Deadline-Aware Scheduling for Software Transactional Memory
auteur
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere
article
The International Conference on Dependable Systems and Networks (DSN 2011), Jun 2011, Hong Kong, Hong Kong SAR China. pp.257-268, ⟨10.1109/DSN.2011.5958224⟩
Accès au bibtex
BibTex
titre
The time-free approach to Byzantine failure detection in dynamic networks
auteur
Murilo Santos de Lima, Fabíola Gonçalves Pereira Greve, Luciana Arantes, Pierre Sens
article
Dependable Systems and Networks Workshops, Jun 2011, Hong Kong, Hong Kong SAR China. pp.3-8, ⟨10.1109/DSNW.2011.5958855⟩
Accès au bibtex
BibTex
titre
Coordination de comités instantanément stabilisante
auteur
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
article
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
https://hal.inria.fr/inria-00587166/file/camera-ready.pdf BibTex
titre
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
auteur
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
article
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
https://hal.inria.fr/inria-00587089/file/Algotel11.pdf BibTex
titre
Construction auto-stabilisante d'un arbre couvrant de poids minimum
auteur
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis
article
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
https://hal.inria.fr/inria-00587591/file/SS_MST_Dyn.pdf BibTex
titre
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
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
https://hal.inria.fr/inria-00587517/file/Algotel11.pdf BibTex
titre
Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages
auteur
Pierre Sutra, Marc Shapiro
article
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
https://hal.inria.fr/inria-00586591/file/SutraShapiroAlgotel2011.pdf BibTex
titre
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
auteur
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
article
ICSE'11 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. pp.431-440, ⟨10.1145/1985793.1985852⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537789/file/icse2011.pdf BibTex
titre
Le Remote Core Lock (RCL) : une nouvelle technique de verrouillage pour les architectures multi-coeur
auteur
Jean-Pierre Lozi
article
8ème Conférence Française en Systèmes d'Exploitation, May 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01302676/file/cfse8_03.pdf BibTex
titre
BatchQueue : file producteur / consommateur optimisée pour les multi-cœurs
auteur
Thomas Preud'Homme, Julien Sopena, Gaël Thomas, Bertil Folliot
article
8ème Conférence Française sur les Systèmes d'Exploitation (CFSE'11), May 2011, Saint-Malo, France. pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00627512/file/cfse8_04.pdf BibTex
titre
Acheminement de Messages Instantanément Stabilisant : Solution Optimale sur les Topologies Linéaires
auteur
Anissa Lamani, Alain Cournier, Swan Dubois, Franck Petit, Vincent Villain
article
Rencontres francophones du Parallélisme, May 2011, Saint Malo, France
Accès au bibtex
BibTex
titre
Optimisations applicatives pour multi-cœurs NUMA : un cas d'étude avec le serveur web Apache
auteur
Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Gilles Muller, Vivien Quéma
article
CFSE'8 - Conférence Française en Systèmes d'Exploitation, May 2011, Saint-Malo, France
Accès au bibtex
BibTex
titre
Consolidation dynamique d'applications Web haute-disponibilité
auteur
Fabien Hermenier, Julia L. Lawall, Jean-Marc Menaud, Gilles Muller
article
CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
Accès au bibtex
BibTex
titre
Asynchronous rebalancing of a replicated tree
auteur
Marek Zawirski, Marc Shapiro, Nuno Preguiça
article
Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France. pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248197/file/Asynch%2520rebalancing%2520of%2520a%2520replicated%2520tree%2520Zawirski-CFSE-2011.pdf BibTex
titre
Architectures de filtrage reconfigurables dynamiquement.
auteur
Mathieu Valero, Luciana Arantes, Maria Gradinariu Potop-Butucaru, Pierre Sens
article
Conférence Française en Systèmes d'Exploitation, May 2011, Saint-Malo, France
Accès au bibtex
BibTex
titre
Kernel-Assisted Scheduling and Deadline Support for Software Transactional Memory
auteur
Walther Maldonado, Patrick Marlier, Pascal Felber, Julia L. Lawall, Gilles Muller, Etienne Riviere
article
The Conférence Française en Systèmes d'Exploitation (CFSE), May 2011, Saint-Malo, France
Accès au bibtex
BibTex
titre
Snap-Stabilizing Committee Coordination
auteur
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
article
25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, May 2011, Anchorage, Alaska, United States. pp.231-242, ⟨10.1109/IPDPS.2011.31⟩
Accès au bibtex
BibTex
titre
Étude d'une architecture MapReduce tolérant les fautes byzantines.
auteur
Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson N. Bessani, Vinicius V. Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabrício A. B. Silva
article
20éme Rencontres francophones du parallélisme (RENPAR'11), May 2011, Saint-Malo, France
Accès au bibtex
BibTex
titre
An approach to improving the structure of error-handling code in the Linux kernel
auteur
Suman Saha, Julia L. Lawall, Gilles Muller
article
ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, Apr 2011, Chicago, IL, United States. pp.41-50, ⟨10.1145/1967677.1967684⟩
Accès au bibtex
BibTex
titre
Enhancing Fault Tolerance of Distributed R-Tree
auteur
Mathieu Valero, Luciana Arantes, Maria Gradinariu Potop-Butucaru, Pierre Sens
article
5th Latin-American Symposium on Dependable Computing, Apr 2011, Sao Jose dos Campos, Brazil. pp.25-34, ⟨10.1109/LADC.2011.26⟩
Accès au bibtex
BibTex
titre
A Semantically Rich Approach for Collaborative Model Edition
auteur
Jonathan Michaux, Xavier Blanc, Pierre Sutra, Marc Shapiro
article
Symp. on Applied Computing (SAC), Mar 2011, Taichung, Taiwan. pp.1470--1475, ⟨10.1145/1982185.1982500⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248198/file/SAC2011-Cpraxis_wholePaper.pdf BibTex
titre
Faults in Linux: Ten Years Later
auteur
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller
article
ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. pp.305-318, ⟨10.1145/1950365.1950401⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Large-Scale peer-to-peer game applications
auteur
Sébastien Monnet, Gaël Thomas
article
Distibuted Systems: Design and Algorithms, John Wiley & Sons, Ltd., pp.81-103, 2011, ⟨10.1002/9781118601365.ch5⟩
Accès au bibtex
BibTex
titre
Peer-to-Peer storage
auteur
Olivier Marin, Gaël Thomas, Sébastien Monnet
article
Distributed Systems: Design and Algorithms, John Wiley & Sons, Ltd., pp.59-80, 2011, ⟨10.1002/9781118601365.ch4⟩
Accès au bibtex
BibTex
titre
Design Principles of Large-Scale Distributed System
auteur
Xavier Bonnaire, Pierre Sens
article
Distibuted Systems: Design and Algorithms, Wiley, 2011, ⟨10.1002/9781118601365.ch3⟩
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011)
auteur
Xavier Défago, Franck Petit, Vincent Villain
article
SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, 6976, Springer, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-24550-3⟩
Accès au bibtex
BibTex
titre
Journal of Theoretical Computer Science, Special Issue on Stabilization, Safety, and Security of Distributed Systems
auteur
Ajoy Kumar Datta, Franck Petit, Rachid Guerraoui
article
France. 412 (33), Elsevier, 2011
Accès au bibtex
BibTex

Autre publication

titre
Position paper: CRDTs for large-scale incremental processing
auteur
Nuno Preguiça, Marc Shapiro, Marek Zawirski
article
2011
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Architecture des ordinateurs-Mémoires à semi-conducteurs : Principe de fonctionnement et organisation interne des mémoires vives
auteur
Philippe Darche
article
Editions Vuibert, 1, 2011, 978-2-311-00476-2
Accès au bibtex
BibTex

Poster

titre
BatchQueue: Efficient core-to-core communication for pipeline parallelism
auteur
Thomas Preud'Homme, Julien Sopena, Gaël Thomas, Bertil Folliot
article
ASPLOS 2011 - Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. 2011
Accès au bibtex
BibTex

Rapport

titre
Generation of Debugging Interfaces for Linux Kernel Services
auteur
Tegawendé Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller
article
[Research Report] RR-7800, INRIA. 2011, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641262/file/RR-7800.pdf BibTex
titre
Efficient locking for multicore architectures
auteur
Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
article
[Research Report] RR-7779, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641252/file/rr7779.pdf BibTex
titre
A Taxonomy of Daemons in Self-stabilization
auteur
Swan Dubois, Sébastien Tixeuil
article
2011
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00628390/file/Daemon.pdf BibTex
titre
Conflict-free Replicated Data Types
auteur
Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski
article
[Research Report] RR-7687, INRIA. 2011, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609399/file/RR-7687.pdf BibTex
titre
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies
auteur
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00608897/file/TechReport.pdf BibTex
titre
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions
auteur
Sergey Legtchenko, Sébastien Monnet, Pierre Sens
article
[Research Report] RR-7614, inria. 2011, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00591922/file/RR-7614.pdf BibTex
titre
Maximum Metric Spanning Tree made Byzantine Tolerant
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
[Research Report] 2011, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00589234/file/DuboisMasuzawaTixeuil.pdf BibTex
titre
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
[Research Report] 2011, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00577062/file/DuboisMasuzawaTixeuil.pdf BibTex
titre
TPT-C: A Heuristic-Based Cache to Improve Range Queries over DHTs
auteur
Nicolas Hidalgo, Luciana Arantes, Pierre Sens, Xavier Bonnaire
article
[Research Report] RR-7576, INRIA. 2011, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578189/file/RR_7576.pdf BibTex
titre
Application-Level Optimizations on NUMA Multicore Architectures: the Apache Case Study
auteur
Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Gilles Muller, Vivien Quéma
article
[Research Report] RR-LIG-011, LIG. 2011
Accès au bibtex
BibTex
titre
Dynamic Consolidation of Highly Available Web Applications
auteur
Fabien Hermenier, Julia Lawall, Jean-Marc Menaud, Gilles Muller
article
[Research Report] RR-7545, INRIA. 2011, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567102/file/RR-7545.pdf BibTex
titre
A comprehensive study of Convergent and Commutative Replicated Data Types
auteur
Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski
article
[Research Report] RR-7506, Inria – Centre Paris-Rocquencourt; INRIA. 2011, pp.50
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555588/file/techreport.pdf BibTex
titre
Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants
auteur
Fabiola Greve, Pierre Sens, Luciana Arantes, Véronique Martin
article
[Research Report] RR-6088, INRIA. 2011, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00122517/file/RR-6088.pdf BibTex
titre
Optimal grid exploration by asynchronous oblivious robots
auteur
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
article
2011
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00591963/file/Report.pdf BibTex

Thèse

titre
Tolerating Transient, Permanent, and Intermittent Failures
auteur
Swan Dubois
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Pierre et Marie Curie - Paris VI, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00663317/file/these_swan_dubois_version_publique.pdf BibTex

Pré-publication, Document de travail

titre
Emergent Velocity Agreement in Robot Networks
auteur
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00594380/file/sirocco.pdf BibTex

2010

Article dans une revue

titre
Improving the Security of Infrastructure Software using Coccinelle.
auteur
Julia Lawall, René Hansen, Nicolas Palix, Gilles Muller
article
ERCIM News, ERCIM, 2010, pp.54
Accès au bibtex
BibTex
titre
Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing
auteur
Silvia Bianchi, Pascal Felber, Maria Gradinariu Potop-Butucaru
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1175-1187. ⟨10.1109/TPDS.2009.131⟩
Accès au bibtex
BibTex
titre
Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks
auteur
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
Theoretical Computer Science, Elsevier, 2010, 411 (34-36), pp.3154-3168. ⟨10.1016/j.tcs.2010.05.006⟩
Accès au bibtex
BibTex
titre
The cost of probabilistic agreement in oblivious robot networks
auteur
Julien Clement, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika
article
Information Processing Letters, Elsevier, 2010, 110 (11), pp.431-438. ⟨10.1016/j.ipl.2010.04.006⟩
Accès au bibtex
BibTex
titre
Deterministic Robot-Network Localization is Hard
auteur
Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit
article
IEEE Transactions on Robotics, IEEE, 2010, 26 (2), pp.331-339. ⟨10.1109/tro.2010.2042753⟩
Accès au bibtex
BibTex
titre
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
auteur
Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article
Parallel Processing Letters, World Scientific Publishing, 2010, 20 (1), pp.15-30. ⟨10.1142/S012962641000003X⟩
Accès au bibtex
BibTex
titre
Towards reliable multi-agent systems: An adaptive replication mechanism
auteur
Zahia Guessoum, Jean-Pierre Briot, Nora Faci, Olivier Marin
article
Multiagent and Grid Systems - An International Journal of Cloud Computing , IOS Press, 2010, 6 (1), pp.1-24. ⟨10.3233/MGS-2010-0139⟩
Accès au bibtex
BibTex
titre
Report on 5th workshop on programming languages and operating systems (PLOS)
auteur
Eric Eide, Gilles Muller, Olaf Spinczyk
article
Operating Systems Review, Association for Computing Machinery, 2010, 43 (4), pp.31-34. ⟨10.1145/1713254.1713262⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Self-stabilizing Byzantine Asynchronous Unison
auteur
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
article
OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
Accès au bibtex
BibTex
titre
Robocast: Asynchronous Communication in Robot Networks
auteur
Zohir Bouzid, Shlomi Dolev, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩
Accès au bibtex
BibTex
titre
Bridging the Gap between Legacy Services and Web Services
auteur
Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller
article
Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Nov 2010, Bangalore, India. pp.273-292, ⟨10.1007/978-3-642-16955-7_14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055279/file/paper.pdf BibTex
titre
BatchQueue: Fast and Memory-thrifty Core to Core Communication
auteur
Thomas Preud'Homme, Julien Sopena, Gaël Thomas, Bertil Folliot
article
22nd International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2010, Oct 2010, Petrópolis, Brazil. pp.215-222, ⟨10.1109/SBAC-PAD.2010.34⟩
Accès au bibtex
BibTex
titre
An Aggregation-Based Routing Protocol for Structured Peer to Peer Overlay Networks
auteur
Nicolas Hidalgo, Luciana Arantes, Pierre Sens, Xavier Bonnaire
article
AP2PS 2010 - 2nd International Conference on Advances in P2P Systems, Oct 2010, Florence, Italy. pp.76-81
Accès au bibtex
BibTex
titre
P-Store : Genuine Partial Replication in Wide Area Networks
auteur
Nicolas Schiper, Pierre Sutra, Fernando Pedone
article
International Symposium on Reliable Distributed Systems (SRDS), Oct 2010, New Delhi, India. pp.214-224, ⟨10.1109/SRDS.2010.32⟩
Accès au bibtex
BibTex
titre
Loop-Free Super-Stabilizing Spanning Tree Construction
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
article
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Sep 2010, New York, NY, United States. pp.50--64, ⟨10.1007/978-3-642-16023-3_7⟩
Accès au bibtex
BibTex
titre
Fast Self-Stabilizing Minimum Spanning Tree Construction
auteur
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis
article
DISC 2010 - 24th International Symposium on Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.480-494, ⟨10.1007/978-3-642-15763-9_46⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00492398/file/SS_MST_Dyn.pdf BibTex
titre
Exclusive Perpetual Ring Exploration without Chirality
auteur
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
article
DISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩
Accès au bibtex
BibTex
titre
A Framework for Secure and Private P2P Publish/Subscribe
auteur
Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.531-545, ⟨10.1007/978-3-642-16023-3_41⟩
Accès au bibtex
BibTex
titre
The Impact of Topology on Byzantine Containment in Stabilization
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.495-509, ⟨10.1007/978-3-642-15763-9_47⟩
Accès au bibtex
BibTex
titre
Leader Election Problem versus Pattern Formation Problem
auteur
Yoann Dieudonné, Franck Petit, Vincent Villain
article
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.267-281, ⟨10.1007/978-3-642-15763-9_26⟩
Accès au bibtex
BibTex
titre
Brief Announcement: Sharing Memory in a Self-stabilizing Manner
auteur
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil
article
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩
Accès au bibtex
BibTex
titre
Snap-Stabilizing Linear Message Forwarding
auteur
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain
article
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.546-559, ⟨10.1007/978-3-642-16023-3_42⟩
Accès au bibtex
BibTex
titre
Dynamically Reconfigurable Filtering Architectures
auteur
Mathieu Valero, Luciana Arantes, Maria Gradinariu, Pierre Sens
article
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.504-518, ⟨10.1007/978-3-642-16023-3_39⟩
Accès au bibtex
BibTex
titre
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility
auteur
Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
SSS, Sep 2010, New York, NY, United States. pp.319-331, ⟨10.1007/978-3-642-16023-3_27⟩
Accès au bibtex
BibTex
titre
On Byzantine Containment Properties of the min+1 Protocol
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.96-110, ⟨10.1007/978-3-642-16023-3_10⟩
Accès au bibtex
BibTex
titre
Brief Announcement: Leader Election vs Pattern Formation
auteur
Yoann Dieudonné, Franck Petit, Vincent Villain
article
PODC '10 - 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, Jul 2010, Zurich, Switzerland. pp.404--405, ⟨10.1145/1835698.1835793⟩
Accès au bibtex
BibTex
titre
Blue banana: resilience to avatar mobility in distributed MMOGs
auteur
Sergey Legtchenko, Sébastien Monnet, Gaël Thomas
article
The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010), Jul 2010, Chicago, United States. pp.171-180, ⟨10.1109/DSN.2010.5544919⟩
Accès au bibtex
BibTex
titre
Partition Participant Detector with Dynamic Paths in Mobile Networks
auteur
Luciana Arantes, Pierre Sens, Gaël Thomas, Denis Conan, Léon Lim
article
IEEE International Symposium on Networking Computing and Applications, NCA, Jul 2010, Cambridge, MA, United States. pp.224-228, ⟨10.1109/NCA.2010.40⟩
Accès au bibtex
BibTex
titre
Efficient Workstealing for Multicore Event-Driven Systems
auteur
Fabien Gaud, Sylvain Genevès, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quema
article
ICDCS 2010 - IEEE 30th International Conference on Distributed Computing Systems, Jun 2010, Genova, Italy. pp.516-525, ⟨10.1109/ICDCS.2010.55⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945722/file/paper-validated.pdf BibTex
titre
Best-effort group service in dynamic networks
auteur
Bertrand Ducourthial, Sofiane Khalfallah, Franck Petit
article
SPAA 2010 - 22nd Annual ACM Symposium on Parallel Algorithms and Architectures, Jun 2010, Thira, Santorini, Greece. pp.233-242, ⟨10.1145/1810479.1810525⟩
Accès au bibtex
BibTex
titre
Making Hadoop MapReduce Byzantine Fault-Tolerant
auteur
Alysson N. Bessani, Vinicius V. Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabrício A. B. Silva, Luciana Arantes, Olivier Marin, Pierre Sens, Julien Sopena
article
The The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2010) - Fast Abstract, Jun 2010, Chicago, United States
Accès au bibtex
BibTex
titre
Rendez-vous d'agents amnésiques
auteur
Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
article
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00472219/file/rdv-algotel.pdf BibTex
titre
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses
auteur
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
article
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
https://hal.inria.fr/inria-00477480/file/DuboisMasuzawaTixeuil.pdf BibTex
titre
Enhanced DR-tree for low latency filtering in publish/subscribe systems
auteur
Luciana Arantes, Maria Gradinariu Potop-Butucaru, Pierre Sens, Mathieu Valero
article
International Conference on. Advanced Information Networking and Applications (AINA-10), Apr 2010, Perth, Australia. pp.58-65, ⟨10.1109/AINA.2010.80⟩
Accès au bibtex
BibTex
titre
Finding Error Handling Bugs in OpenSSL Using Coccinelle
auteur
Julia Lawall, Ben Laurie, René Hansen, Nicolas Palix, Gilles Muller
article
European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
Accès au bibtex
BibTex
titre
VMKit: a substrate for managed runtime environments
auteur
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot
article
VEE '10 - 6th International Conference on Virtual Execution Environments, Mar 2010, Pittsburgh, Pennsylvania, United States. pp.51-62, ⟨10.1145/1735997.1736006⟩
Accès au bibtex
BibTex
titre
Tracking Code Patterns over Multiple Software Versions with Herodotos
auteur
Nicolas Palix, Julia Lawall, Gilles Muller
article
AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00941123/file/aosd10.pdf BibTex
titre
{How Often do Experts Make Mistakes?}
auteur
Nicolas Palix, Julia L. Lawall, Gaël Thomas, Gilles Muller
article
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
Accès au bibtex
BibTex
titre
Multi-agent Coordination in Ad-hoc Networks based on Coalition Formation
auteur
Samir Aknine, Usama Mir, Luciana Arantes
article
ICAART 2010 - International Conference on Agents and Artificial Intelligence, Jan 2010, Valencia, Spain. pp.241-246
Accès au bibtex
BibTex
titre
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks
auteur
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩
Accès au bibtex
BibTex
titre
Scheduling support for transactional memory contention management
auteur
Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller
article
The 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'10, Jan 2010, Bangalore, India. pp.79-90, ⟨10.1145/1693453.1693465⟩
Accès au bibtex
BibTex
titre
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots
auteur
Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
17th International Colloquium Structural Information and Communication Complexity, SIROCCO, 2010, Şirince, Turkey. pp.183-196, ⟨10.1007/978-3-642-13284-1_15⟩
Accès au bibtex
BibTex
titre
Des Robots Sourds-Muets Bien Bavards
auteur
Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal
article
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477051/file/paper.pdf BibTex

Chapitre d'ouvrage

titre
Unreliable Failure Detectors for Mobile Ad-hoc Networks
auteur
Luciana Arantes, Fabíola Gonçalves Pereira Greve, Pierre Sens
article
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts, IGI Global, pp.20, 2010, ⟨10.4018/978-1-60960-042-6.ch063⟩
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010
auteur
Christine Morin, Gilles Muller
article
Christine Morin; Gilles Muller. EuroSys '10, Apr 2010, Paris, France. ACM, 2010, 978-1-60558-577-2
Accès au bibtex
BibTex
titre
WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and Security
auteur
Franck Petit, Sébastien Tixeuil
article
ACM, 2010, 978-1-4503-0642-3
Accès au bibtex
BibTex
titre
Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010)
auteur
Franck Petit, Sébastien Tixeuil
article
2010
Accès au bibtex
BibTex

Rapport

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

Pré-publication, Document de travail

titre
Universal Loop-Free Super-Stabilization
auteur
Lélia Blin, Stephane Rovedakis, Maria Potop-Butucaru, Sébastien Tixeuil
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00492320/file/SS_generic_LF.pdf BibTex

2009

Article dans une revue

titre
WTR: a reputation metric for distributed hash tables based on a risk and credibility factor
auteur
Erika Rosas, Xavier Bonnaire
article
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2009, 24 (5), ⟨10.1007/s11390-009-9276-6⟩
Accès au bibtex
BibTex
titre
Building Effective Mutual Exclusion Services for Grids
auteur
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens
article
Journal of Supercomputing, Springer Verlag, 2009, 49 (1), pp.84-107. ⟨10.1007/s11227-008-0235-8⟩
Accès au bibtex
BibTex
titre
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
auteur
Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry
article
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (9), pp.1085-1105. ⟨10.3166/tsi.28.1085-1105⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Byzantine Convergence in Robots Networks: The Price of Asynchrony
auteur
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
OPODIS 2009, Dec 2009, Nimes, France. pp.54-70, ⟨10.1007/978-3-642-10877-8_7⟩
Accès au bibtex
BibTex
titre
Deaf, Dumb, and Chatting Robots: Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robots
auteur
Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal
article
Thirteenth International Conference On Principle Of DIstributed Systems (OPODIS 2009), Dec 2009, Nîmes, France. pp.71-85, ⟨10.1007/978-3-642-10877-8_8⟩
Accès au bibtex
BibTex
titre
Space-Optimal Deterministic Rendezvous
auteur
Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
article
Second International Workshop on Reliability, Availability, and Security (WRAS 2009), Dec 2009, Hiroshima, Japan. pp.332-337, ⟨10.1109/PDCAT.2009.13⟩
Accès au bibtex
BibTex
titre
Automatic Generation of Network Protocol Gateways
auteur
Yérom-David Bromberg, Laurent Réveillère, Julia Lawall, Gilles Muller
article
Middleware 2009 - 10th International Middleware Conference ACM/IFIP/USENIX, Nov 2009, Urbana Champaign, Illinois, United States. pp.21-41, ⟨10.1007/978-3-642-10445-9_2⟩
Accès au bibtex
BibTex
titre
Intégration des fautes dans un modèle de programmation pour réseaux mobiles
auteur
Corentin Mehat, Olivier Marin, Fréderic Peschanski
article
MajecSTIC'2009, Nov 2009, Avignon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00490863/file/MajecSTIC2009-Mehat-1282.pdf BibTex
titre
How to improve snap-stabilizing point-to-point communication space complexity ?
auteur
Alain Cournier, Swan Dubois, Vincent Villain
article
SSS 2009 - 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2009, Lyon, France. pp.195-208, ⟨10.1007/978-3-642-05118-0_14⟩
Accès au bibtex
BibTex
titre
A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
article
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp.133-148, ⟨10.1007/978-3-642-05118-0_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00363003/file/SS_Steiner.pdf BibTex
titre
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables
auteur
Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller
article
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS~2009), Nov 2009, Lyon, France. pp.485-499, ⟨10.1007/978-3-642-05118-0_34⟩
Accès au bibtex
BibTex
titre
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
auteur
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
SSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩
Accès au bibtex
BibTex
titre
Consistency without concurrency control in large, dynamic systems
auteur
Mihai Letia, Nuno Preguiça, Marc Shapiro
article
LADIS 2009 - 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, Oct 2009, Big Sky, MT, United States. pp.29--34, ⟨10.1145/1773912.1773921⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248270/file/LS-consistency-ladis-2009.pdf BibTex
titre
A new self-stabilizing minimum spanning tree construction with loop-free property
auteur
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
article
23rd International Symposium on Distributed Computing (DISC 2009), Sep 2009, Elche, Spain. pp.407--422, ⟨10.1007/978-3-642-04355-0_43⟩
Accès au bibtex
BibTex
titre
Telex: A Semantic Platform for Cooperative Application Development
auteur
Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc Shapiro, Pierre Sutra, Georgios Tsoukalas
article
Conférence Française sur les Systèmes d'Exploitation (CFSE), Sep 2009, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444792/file/Telex-CFSE-2009.pdf BibTex
titre
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison
auteur
Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
23rd International Symposium on Distributed Computing, DISC 2009, Sep 2009, Elche, Spain. pp.291-293, ⟨10.1007/978-3-642-04355-0_30⟩
Accès au bibtex
BibTex
titre
Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair
auteur
Sergey Legtchenko
article
7ème Conférence Française en Systèmes d'Exploitation CFSE (CFSE~2009), Sep 2009, Toulouse, France
Accès au bibtex
BibTex
titre
A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm
auteur
Mathieu Bouillaguet, Luciana Arantes, Pierre Sens
article
Latin-American Symposium on Dependable Computing, Sep 2009, Joao Pessoa, Brazil. pp.41-48, ⟨10.1109/LADC.2009.10⟩
Accès au bibtex
BibTex
titre
Genuine versus Non-Genuine Atomic Multicast Protocols for Wide Area Networks : an Empirical Study
auteur
Nicolas Schiper, Pierre Sutra, Fernando Pedone
article
The 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Sep 2009, Niagara Falls, NY, Canada. pp.166-175, ⟨10.1109/SRDS.2009.12⟩
Accès au bibtex
BibTex
titre
I-JVM: une machine virtuelle Java pour l'isolation de composants dans OSGi
auteur
Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot
article
7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Sep 2009, Toulouse, France. pp.1-12
Accès au bibtex
BibTex
titre
Using Evolving Graphs to evaluate DTN routing protocols.
auteur
Luciana Arantes, Alfredo Goldman, Marcio Vinicius Santos
article
ExtremeCom 2009, Aug 2009, Padjelanta national park in Laponia, Sweden
Accès au bibtex
BibTex
titre
Towards a distributed computing model that characterizes dynamics of mobile networks
auteur
Luciana Arantes, Alfredo Goldman, Pierre Sens
article
Colibri: Colloque d'Informatique Brésil / INRIA, Jul 2009, Bento Gonçalves, RS, Brazil. pp.151-155
Accès au bibtex
BibTex
titre
I-JVM: a Java Virtual Machine for Component Isolation in OSGi
auteur
Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot
article
39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2009), Jun 2009, Estoril, Portugal. pp.544-553, ⟨10.1109/DSN.2009.5270296⟩
Accès au bibtex
BibTex
titre
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code
auteur
Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, Gilles Muller
article
DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩
Accès au bibtex
BibTex
titre
A commutative replicated data type for cooperative editing
auteur
Nuno Preguiça, Joan Manuel Marquès, Marc Shapiro, Mihai Leția
article
29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Québec, Canada. pp.395-403, ⟨10.1109/ICDCS.2009.20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00445975/file/icdcs09-treedoc.pdf BibTex
titre
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
auteur
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00384649/file/unidir_algotel.pdf BibTex
titre
Quand le consensus est plus simple que la diffusion fiable
auteur
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
article
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383349/file/reliable.pdf BibTex
titre
log(n)-approximation d'un arbre de Steiner auto-stabilisant et dynamique
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
article
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383216/file/SS_Steiner-Algotel.pdf BibTex
titre
Une CNS pour l'acheminement de messages instantanément stabilisant
auteur
Alain Cournier, Swan Dubois, Vincent Villain
article
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00383116/file/Algotel09.pdf BibTex
titre
A snap-stabilizing point-to-point communication protocol in message-switched networks
auteur
Alain Cournier, Swan Dubois, Vincent Villain
article
IPDPS 2009 - 23th IEEE International Parallel & Distributed Processing Symposium, May 2009, Rome, Italy. pp.1-11, ⟨10.1109/IPDPS.2009.5160997⟩
Accès au bibtex
BibTex
titre
Self-stabilizing minimum-degree spanning tree within one from the optimal degree
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis
article
23rd IEEE International Symposium on Parallel&Distributed Processing (IPDPS 2009), May 2009, Rome, Italy. pp.1-11, ⟨10.1109/IPDPS.2009.5161042⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336713/file/SSMDST.pdf BibTex
titre
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks
auteur
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Accès au bibtex
BibTex
titre
From Hazardous Behaviours to a Risk Metric for Reputation Systems in Peer to Peer Networks
auteur
Erika Rosas, Xavier Bonnaire
article
International Conference on reputation (ICORE), Mar 2009, Gargonza, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00627469/file/icore09_submission_39.pdf BibTex
titre
Entropy: a Consolidation Manager for Clusters
auteur
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
article
VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102354/file/hermenier-vee09.pdf BibTex
titre
P2P based Hosting System for Scalable Replicated Databases
auteur
Mesaac Makpangou
article
EDBT09 International Workshop on Data Management in Peer-to-peer Systems (DAMAP), Mar 2009, Saint Petersburg, Russia. pp.47-54, ⟨10.1145/1698790.1698800⟩
Accès au bibtex
BibTex
titre
GCKernel : Composition of garbage collectors
auteur
Thomas Preud'Homme, Gaël Thomas, Bertil Folliot
article
The EuroSys 2009 Doctoral Workshop, Mar 2009, Nuremberg, Germany. pp.1-2
Accès au bibtex
BibTex
titre
Byzantine-Resilient Convergence in Oblivious Robot Networks
auteur
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
ICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩
Accès au bibtex
BibTex
titre
A foundation for flow-based program matching: using temporal logic and model checking
auteur
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
article
The 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'09, Jan 2009, Savannah, Georgia, United States. pp.114-126, ⟨10.1145/1480881.1480897⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Synchronization protocols for sharing resources in grid environments
auteur
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens
article
Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition, Chapman and Hall, 2009, 9781439803677. ⟨10.1201/9781439803684-c2⟩
Accès au bibtex
BibTex
titre
Corpus sur les système d'exploitation
auteur
Pierre Sens
article
Encyclopedie Universalis, Encyclopedie Universalis, 14 p., 2009
Accès au bibtex
BibTex
titre
Virtualisation logicielle : de la machine réelle à la machine virtuelle abstraite
auteur
Bertil Folliot, Gaël Thomas
article
Systèmes d'exploitation - L'indispensable pour comprendre l'évolution des systèmes d'exploitation, Techniques de l'Ingénieur, pp.1-15, 2009
Accès au bibtex
BibTex
titre
Eventual Consistency
auteur
Marc Shapiro, Bettina Kemme
article
Ózsu, M. Tamer; Liu, Ling. Encyclopedia of Database Systems, springer, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444791/file/eventual-consistency-Encyclopedia-DB-systems-2009.pdf BibTex
titre
Peer-to-Peer Service Discovery for Grid Computing
auteur
Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article
Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, IGI Global, Information Science Publishing, 2009, ⟨10.4018/978-1-61520-686-5.ch012⟩
Accès au bibtex
BibTex
titre
Optimistic Replication and Resolution
auteur
Marc Shapiro
article
Özsu, M. Tamer; Liu, Ling. Encyclopedia of Database Systems, Springer-Verlag, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248202/file/optimistic-replication-Encyclopedia-DB-systems-2009.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 2009 EDBT/ICDT Workshops
auteur
Marco Mesiti, Marius Truta Traian, Li Xiong, Sascha Muller, Hubert Naacke, Boris Novikov, Guillaume Raschia, Ismael Sanz, Pierre Sens, Dmitry Shaporenkov, Nicolas Travers
article
ACM International Conference Proceeding Series. France. pp.218, 2009
Accès au bibtex
BibTex
titre
Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009)
auteur
Franck Petit, Rachid Guerraoui
article
5873, Springer, 2009, Lecture Notes in Computer Science, 978-3-642-24549-7. ⟨10.1007/978-3-642-05118-0⟩
Accès au bibtex
BibTex

Rapport

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

Pré-publication, Document de travail

titre
Two snap-stabilizing point-to-point communication protocols in message-switched networks
auteur
Alain Cournier, Swan Dubois, Vincent Villain
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00384540/file/RR.pdf BibTex

2008

Article dans une revue

titre
Designing Highly Flexible Virtual Machines: The JnJVM Experience
auteur
Gaël Thomas, Nicolas Geoffray, Charles Clément, Bertil Folliot
article
Software: Practice and Experience, Wiley, 2008, 38 (15), pp.1643-1675. ⟨10.1002/spe.887⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Unreliable Failure Detector for Unknown and Mobile Networks
auteur
Pierre Sens, Luciana Arantes, Mathieu Bouillaguet
article
OPODIS 2008, Dec 2008, Luxor, Egypt. pp.555-559, ⟨10.1007/978-3-540-92221-6_39⟩
Accès au bibtex
BibTex
titre
A Lazy Developer Approach: Building a JVM with Third Party Software
auteur
Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot
article
International Conference on Principles and Practice of Programming In Java (PPPJ '08), Sep 2008, Modena, Italy. pp.73-82, ⟨10.1145/1411732.1411743⟩
Accès au bibtex
BibTex
titre
Fault-Tolerant Partial Replication in Large-Scale Database Systems
auteur
Pierre Sutra, Marc Shapiro
article
europar, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.404--413
Accès au bibtex
BibTex
titre
The impact of clustering on token-based mutual exclusion algorithms
auteur
Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens
article
Euro-Par 2008 - 14th European Conference on Parallel and Distributed Computing, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.565-575, ⟨10.1007/978-3-540-85451-7_60⟩
Accès au bibtex
BibTex
titre
Fault Tolerant K-Mutual Exclusion Algorithm Using Failure Detector
auteur
Mathieu Bouillaguet, Luciana Arantes, Pierre Sens
article
International Symposium on Parallel and Distributed Computing, (ISPDC 2008), Jul 2008, Krakow, Poland. pp.343-350, ⟨10.1109/ISPDC.2008.57⟩
Accès au bibtex
BibTex
titre
Failure, Disconnection and Partition Detection in Mobile Environment
auteur
Denis Conan, Pierre Sens, Luciana Arantes, Mathieu Bouillaguet
article
7th IEEE International Symposium on Network Computing and Application (IEEE NCA08), Jul 2008, Cambridge, United States. pp.119-127, ⟨10.1109/NCA.2008.18⟩
Accès au bibtex
BibTex
titre
On the Formal Verification of a Generic Hierarchical Mutual Exclusion Algorithm
auteur
Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry
article
28th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08 ), Jun 2008, Tokyo, Japan. pp.99-115, ⟨10.1007/978-3-540-68855-6_7⟩
Accès au bibtex
BibTex
titre
Towards a Reliable Air Traffic Control
auteur
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Jean-François Perrot, Jean-Pierre Briot, Vu Duong
article
7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) Industrial Track (short paper), May 2008, Estoril, Portugal. pp.101-104
Accès au bibtex
BibTex
titre
Um Detector de Falhas Assíncrono para Redes Móveis e Auto-Organizáveis
auteur
Pierre Sens, Fabíola Gonçalves Pereira Greve, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon
article
Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), May 2008, Rio de Janeiro, Brazil. pp.931-944
Accès au bibtex
BibTex
titre
Towards a reliable air traffic control (short paper)
auteur
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Jean-François Perrot, Jean-Pierre Briot, Vu Duong
article
5th International Workshop on Agents in Traffic and Transportation Systems (ATT'08), May 2008, Estoril, Portugal. pp.102-109
Accès au bibtex
BibTex
titre
Towards a New Isolation Abstraction for OSGi
auteur
Nicolas Geoffray, Gaël Thomas, Charles Clément, Bertil Folliot
article
First Workshop on Isolation and Integration in Embedded Systems (IIES 2008), Apr 2008, Glasgow, Scotland, United Kingdom. pp.41-45, ⟨10.1145/1435458.1435466⟩
Accès au bibtex
BibTex
titre
A multi-agent approach to reliable air traffic control
auteur
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Jean-François Perrot, Jean-Pierre Briot
article
2nd International Symposium on Agent Based Modeling and Simulation (ABModSim'08), Mar 2008, Vienna, Austria
Accès au bibtex
BibTex
titre
Composition d'algorithmes d'exclusion mutuelle pour les grilles de calcul.
auteur
Julien Sopena, Fabrice Legond-Aubry, Luciana Arantes, Pierre Sens
article
6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Chapitre français de l'ACM-SIGOPS, GDR ARP, Feb 2008, Fribourg, Suisse
Accès au bibtex
BibTex
titre
Heuristiques d'allocation dynamique de ressources pour la fiabilisation des systèmes multi-agents
auteur
Alessandro de Luna Almeida, Samir Aknine, Jean-Pierre Briot, Nabila Habibi, Luciana Arantes
article
6ème AFRIF-AFIA congrès francophone de reconnaissance des formes et intelligence artificielle (RFIA'08), Jan 2008, Amiens, France
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Applications pair-à-pair de partage de données
auteur
Emmanuel Saint-James, Gaël Thomas
article
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, Hermes, pp.223-256, 2008, Traités IC2 - Informatique et systèmes d'information, 9782746219434
Accès au bibtex
BibTex
titre
ePOST, une expérience de courrier électronique pair-à-pair
auteur
Olivier Marin, Jean-Michel Busca
article
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermes, pp.257-282, 2008, Traités IC2 - Informatique et systèmes d'information, 9782746219434
Accès au bibtex
BibTex
titre
Concepts des systèmes répartis à large échelle
auteur
Xavier Bonnaire, Pierre Sens
article
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, Hermès, pp.199-221, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Accès au bibtex
BibTex

Rapport

titre
Bounds for self-stabilization in unidirectional networks
auteur
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
[Research Report] RR-6524, INRIA. 2008, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00277661/file/RR-6524.pdf BibTex
titre
Telex: Principled System Support for Write-Sharing in Collaborative Applications
auteur
Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc Shapiro, Pierre Sutra, Georgios Tsoukalas
article
[Research Report] RR-6546, INRIA. 2008, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00281329/file/Telex-principled-RR-6546-2008-06.pdf https://hal.inria.fr/inria-00281329/file/rr.pdf BibTex
titre
Fault-Tolerant Partial Replication in Large-Scale Database Systems
auteur
Pierre Sutra, Marc Shapiro
article
[Research Report] RR-6440, INRIA. 2008, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00232662/file/main.pdf BibTex
titre
Designing a commutative replicated data type for cooperative editing systems
auteur
Nuno Preguiça, Marc Shapiro, Jose Legatheaux Martins
article
[Research Report] TR-02-2008 DI-FCT-UNL, Universidade Nova de Lisboa, Dep. Informática, FCT. 2008
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Best-effort Group Service in Dynamic Networks
auteur
Bertrand Ducourthial, Sofiane Khalfallah, Franck Petit
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00332722/file/hal-v3.pdf BibTex

2007

Article dans une revue

titre
Randomized Self-Stabilizing and Space optimal Leader election under arbitrary scheduler on rings
auteur
Joffroy Beauquier, Maria Gradinariu, Colette Johnen
article
Distributed Computing, Springer Verlag, 2007, 20 (1), pp.75-93. ⟨10.1007/s00446-007-0034-0⟩
Accès au bibtex
BibTex
titre
Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems
auteur
Emmanuelle Anceaume, Roy Friedman, Maria Gradinariu
article
Information Processing Letters, Elsevier, 2007, 101 (5), pp.190--198
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00916769/file/ipl-final-verbose.pdf BibTex

Communication dans un congrès

titre
On the Self-stabilization of Mobile Robots in Graphs
auteur
Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
article
OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, Dec 2007, Guadeloupe, France. pp.301-314, ⟨10.1007/978-3-540-77096-1_22⟩
Accès au bibtex
BibTex
titre
An analytical Estimation of Durability in DHTs
auteur
Fabio Picconi, Bruno Baynat, Pierre Sens
article
International Conference on Distributed Computing and Internet Technology (ICDCIT 20007), Dec 2007, Bangalore, India. pp.184-196, ⟨10.1007/978-3-540-77115-9_19⟩
Accès au bibtex
BibTex
titre
A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages
auteur
Claudia Ignat, Gérald Oster, Pascal Molli, Michelle Cart, Jean Ferrié, Anne-Marie Kermarrec, Pierre Sutra, Marc Shapiro, Lamia Benmouffok, Jean-Michel Busca, Rachid Guerraoui
article
3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, White Plains, NY, United States. pp.474 - 483, ⟨10.1109/COLCOM.2007.4553878⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00188329/file/main2.final.pdf BibTex
titre
Decentralised Commitment for Optimistic Semantic Replication
auteur
Pierre Sutra, Joao Barreto, Marc Shapiro
article
International Conference on Cooperative Information Systems (CoopIS), Nov 2007, Vilamoura, Algarve, Portugal. pp.318-335, ⟨10.1007/978-3-540-76848-7_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444783/file/sutra-barreto-shapiro-coopis40.pdf BibTex
titre
Recursive Replication: A Survival Solution for Structured P2P Information Systems to Denial of Service Attack
auteur
Xavier Bonnaire, Olivier Marin
article
1st International Workshop on Peer to Peer Networks (PPN07), Nov 2007, Vilamoura, Portugal. pp.931-940, ⟨10.1007/978-3-540-76890-6_19⟩
Accès au bibtex
BibTex
titre
Self* Minimum Connected Covers of Query Regions in Sensor Networks
auteur
Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki
article
9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Nov 2007, Paris, France. pp.204-218, ⟨10.1007/978-3-540-76627-8_17⟩
Accès au bibtex
BibTex
titre
Stabilizing Flocking Via Leader Election in Robot Networks
auteur
Davide Canepa, Maria Gradinariu Potop-Butucaru
article
9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Nov 2007, Paris, France. pp.52-66, ⟨10.1007/978-3-540-76627-8_7⟩
Accès au bibtex
BibTex
titre
Scalable Coalition Formation Method for Large-Scale Systems
auteur
Samir Aknine, Luciana Arantes
article
Intelligent Agent Technology, Nov 2007, Fremont, CA, United States. pp.520-523
Accès au bibtex
BibTex
titre
Predicting Durability in DHTs using Markov Chains
auteur
Fabio Picconi, Bruno Baynat, Pierre Sens
article
InternationalWorkshop on Advanced Storage Systems (ADSS 2007), Oct 2007, Lyon, France. pp.532-538, ⟨10.1109/ICDIM.2007.4444278⟩
Accès au bibtex
BibTex
titre
Comparing Optimistic Database Replication Techniques
auteur
Pierre Sutra, Marc Shapiro
article
Bases de Données Avancées (BDA), Oct 2007, Marseille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444785/file/sutra-shapiro-bda2007.pdf BibTex
titre
Semantic Middleware for Designing Collaborative Applications in Mobile Environment
auteur
Lamia Benmouffok, Jean-Michel Busca, Marc Shapiro
article
MiNEMA 2007 - 5th workshop on Middleware for Network Eccentric and Mobile Applications, Sep 2007, Magdeburg, Germany. pp.58-61
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444787/file/benmouffok-busca-minema-2007.pdf BibTex
titre
Towards autonomic fault-tolerant multi-agent systems
auteur
Alessandro de Luna Almeida, Jean-Pierre Briot, Samir Aknine, Zahia Guessoum, Olivier Marin
article
2nd Latin American Autonomic Computing Symposium (LAACS'07), Sep 2007, Petropolis, RJ, Brazil
Accès au bibtex
BibTex
titre
A Composition Approach to Mutual Exclusion Algorithms for Grid Applications
auteur
Julien Sopena, Fabrice Legond-Aubry, Luciana Arantes, Pierre Sens
article
The 36th International Conference on Parallel Processing (ICPP07), Sep 2007, XiAn, China. pp.65-65, ⟨10.1109/ICPP.2007.6⟩
Accès au bibtex
BibTex
titre
Content-based Publish/Subscribe using Distributed R-trees
auteur
Silvia Bianchi, Pascal Felber, Maria Gradinariu
article
International Conference on Parallel and Distributed Computing (Euro-Par '07), Aug 2007, Rennes, France. pp.537-548, ⟨10.1007/978-3-540-74466-5_57⟩
Accès au bibtex
BibTex
titre
A Distributed Service-Oriented Mediation Tool
auteur
Colombe Herault, Gaël Thomas, Philippe Lalanda
article
IEEE International Conference on Services Computing (SCC 2007), Jul 2007, Salt Lake City, Utah, United States. pp.403-409, ⟨10.1109/SCC.2007.3⟩
Accès au bibtex
BibTex
titre
FRACS: A Hybrid Fragmentation-Based CDN for E-commerce Applications
auteur
Ikram Chabbouh, Mesaac Makpangou
article
USENIX Annual Technical Conference, Jun 2007, Santa Clara, California, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00134379/file/cdn.pdf BibTex
titre
Stabilizing Peer-to-Peer Spatial Filters
auteur
Silvia Bianchi, Ajoy Kumar Datta, Pascal Felber, Maria Gradinariu
article
International Conference on Distributed Computing Systems (ICDCS 2007), Jun 2007, Toronto, ON, Canada. pp.27, ⟨10.1109/ICDCS.2007.139⟩
Accès au bibtex
BibTex
titre
Conflict Managers for Self-stabilization without Fairness Assumption
auteur
Maria Gradinariu, Sébastien Tixeuil
article
27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩
Accès au bibtex
BibTex
titre
Exploiting our computational surroundings for better mobile collaboration
auteur
Joao Barreto, Paulo Ferreira, Marc Shapiro
article
MDM 2007 - 8th International Conference on Mobile Data Management, May 2007, Mannheim, Germany. pp.110--117, ⟨10.1109/MDM.2007.24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444796/file/DecoupledConsistency-MDM-2007.pdf BibTex
titre
Coalition Formation for Coordinating Agent Interactions in Distributed Large-Scale Systems
auteur
Samir Aknine, Luciana Arantes, Maha Abdallah
article
International Conference on Group decision and Negotiation, GDN, May 2007, Montréal, Canada. pp.195-197
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
DARX - A Self-Healing Framework for Agents
auteur
Olivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot
article
Reliable Systems on Unreliable Networked Platforms, Revised Selected Papers of the 12th Monterey Workshop, 4322, Springer-Verlag, pp.88-105, 2007, Lecture Notes in Computer Science (LNCS), 978-3-540-71155-1. ⟨10.1007/978-3-540-71156-8_5⟩
Accès au bibtex
BibTex

Rapport

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

2006

Article dans une revue

titre
What's wrong with us?
auteur
Marc Shapiro
article
Distributed Systems Online, IEEE, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444782/file/o5003.pdf BibTex
titre
Distributed Mutual Exclusion Algorithms for Grid Applications: A Hierarchical Approach
auteur
Marin Bertier, Luciana Arantes, Pierre Sens
article
Journal of Parallel and Distributed Computing, Elsevier, 2006, 66 (1), pp.128-144. ⟨10.1016/j.jpdc.2005.06.020⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Self-Stabilizing Wireless Connected Overlays
auteur
Vadim Drabkin, Roy Friedman, Maria Gradinariu
article
10th International Conference on Principle of Distributed Computing (OPODIS), Dec 2006, Bordeaux, France. pp.425-439, ⟨10.1007/11945529_30⟩
Accès au bibtex
BibTex
titre
Live and Heterogeneous Migration of Execution Environments
auteur
Nicolas Geoffray, Gaël Thomas, Bertil Folliot
article
Pervasive Systems Workshop (PerSys), Nov 2006, Montpellier, France. pp.1254-1263, ⟨10.1007/11915072_29⟩
Accès au bibtex
BibTex
titre
Transparent and Dynamic Code Offloading for Java Applications
auteur
Nicolas Geoffray, Gaël Thomas, Bertil Folliot
article
Distributed Objects and Applications (DOA), Nov 2006, Montpellier, France. pp.1790-1806, ⟨10.1007/11914952_51⟩
Accès au bibtex
BibTex
titre
GEDEON , un Intergiciel pour Grille de Données
auteur
Olivier Valentin, Fabrice Jouanot, Laurent d'Orazio, Yves Denneulin, Claudia Roncancio, Cyril Labbé, Christophe Blanchet, Pierre Sens, Claude Bonnard
article
RenPar'17 : 17ème Rencontres Francophones du Parallélisme, Oct 2006, Canet en Roussillon, France
Accès au bibtex
BibTex
titre
Performance evaluation of a fair fault-tolerant mutual exclusion algorithm
auteur
Julien Sopena, Luciana Arantes, Pierre Sens
article
The 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Oct 2006, Leeds, United Kingdom. pp.225-234
Accès au bibtex
BibTex
titre
Distribution transparente et dynamique de code pour applications Java
auteur
Nicolas Geoffray, Gaël Thomas, Bertil Folliot
article
Conférence Française sur les Systèmes d'Exploitation (CFSE), Oct 2006, Perpignan, France. pp.85-96
Accès au bibtex
BibTex
titre
Un algorithme équitable d'exclusion mutuelle tolérant les fautes
auteur
Julien Sopena, Luciana Arantes, Pierre Sens
article
5éme Conférence Française sur les Systèmes d'Exploitation (CFSE'06), Oct 2006, Perpignan, France. pp.97-107
Accès au bibtex
BibTex
titre
Practical proofs of concurrent programs
auteur
Marc Shapiro
article
Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩
Accès au bibtex
BibTex
titre
Fault-Tolerant and Self-Stabilizing Mobile Robots Gathering
auteur
Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin-Parvedy
article
20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockolm, Sweden. pp.46-60, ⟨10.1007/11864219_4⟩
Accès au bibtex
BibTex
titre
An Application Framework for Nomadic, Collaborative Applications
auteur
James O'Brien, Marc Shapiro
article
DAIS 2006 - 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, Jun 2006, Bologna, Italy. pp.48-63, ⟨10.1007/11773887_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00445942/file/Joyce_DAIS-2006.pdf BibTex
titre
Engineering Control Strategies for Replication-Based Fault-Tolerant Multi-Agent Systems
auteur
Jean-Pierre Briot, Zahia Guessoum, Samir Aknine, Alessandro de Luna Almeida, Nora Faci, Jacques Malenfant, Olivier Marin, Pierre Sens
article
International Workshop on Engineering of Fault-Tolerant Systems (EFTS'2006), Jun 2006, Luxembourg, Luxembourg. pp.80-93
Accès au bibtex
BibTex
titre
DimaX: A Fault Tolerant Multi-Agent Platform
auteur
Nora Faci, Zahia Guessoum, Olivier Marin
article
SELMAS 2006 - 5th Workshop on Software Engineering for Large-Scale Multi-Agent Systems, May 2006, Shanghai, China. ⟨10.1145/1138063.1138067⟩
Accès au bibtex
BibTex
titre
Experience and Prospects for Various Control Strategies for Self-Replicating Multi-Agent Systems
auteur
Jean-Pierre Briot, Zahia Guessoum, Samir Aknine, Alessandro de Luna Almeida, Jacques Malenfant, Olivier Marin, Pierre Sens, Nora Faci, Maira Gatti, Carlos Lucena
article
SEAMS 2006 - 1st International Workshop on Software Adaptive and Self-Managing Systems, May 2006, Shanghai, China. pp.37-43, ⟨10.1145/1137677.1137685⟩
Accès au bibtex
BibTex
titre
Using Incentives to Increase Availability in a DHT
auteur
Fabio Picconi, Pierre Sens
article
Third Intenational Workshop on Hot Topics in P2P Systems (Hot-P2P), In conjunction with: IPDPS IEEE International Parallel and Distributed Processing Symposium, Apr 2006, Rhodes Island, Greece. ⟨10.1109/IPDPS.2006.1639706⟩
Accès au bibtex
BibTex
titre
Proving Correctness of Highly-Concurrent Linearisable Objects
auteur
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
article
PPoPP 2006 - 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2006, New York, United States. pp.129--136, ⟨10.1145/1122971.1122992⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248204/file/PPoPP-2006-listRG.pdf BibTex
titre
Integrating Web Services within Cooperative Multi Agent Architecture
auteur
Mahmoud Brahimi, Mahmoud Boufaïda, Lionel Seinturier
article
International Conference on Internet and Web Applications and Services (ICIW '06), Feb 2006, Guadeloupe, France
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
auteur
Ajoy Kumar Datta, Maria Gradinariu
article
4280, Springer, 2006, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-49823-0⟩
Accès au bibtex
BibTex

Rapport

titre
An asynchronous, decentralised commitment protocol for semantic optimistic replication
auteur
Pierre Sutra, Marc Shapiro, Joao Barreto
article
[Research Report] RR-6069, INRIA. 2006, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00120734/file/squelette-rr.pdf BibTex
titre
Fostering Systems Research in Europe
auteur
Peter Druschel, Rebecca Isaacs, Thomas Gross, Marc Shapiro
article
[Technical Report] 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444781/file/whitepaper-2006-04.pdf BibTex

Thèse

titre
Enforcing Service-Specific Replica Consistency Models and Response Time Requirements for Heterogeneous Replicated Services
auteur
Corina Ferdean
article
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2006. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00119595/file/memoire.pdf BibTex

2005

Article dans une revue

titre
Supporting Virtual Enterprise Systems Using Agent Coordination
auteur
Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier, Pascal Estraillier
article
Knowledge and Information Systems (KAIS), Springer, 2005, 8 (3), pp.330-349. ⟨10.1007/s10115-004-0183-4⟩
Accès au bibtex
BibTex
titre
Building a Flexible Java Runtime upon a Flexible Compiler
auteur
Gaël Thomas, Frédéric Ogel, Antoine Galland, Bertil Folliot, Ian Piumarta
article
International Journal of Computers and Applications, ACTA Press, 2005, 27 (1), pp.27-34. ⟨10.1080/1206212X.2005.11441753⟩
Accès au bibtex
BibTex
titre
Viewpoints: a Framework for Object Oriented Database Modelling and Distribution
auteur
Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier
article
CODATA Data Science Journal, Committee on Data for Science and Technology (CODATA), 2005, 4, pp.92-107. ⟨10.2481/dsj.4.92⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Efficient and transparent web-services selection
auteur
Nicolas Gibelin, Mesaac Makpangou
article
International conference on service-oriented computing, Dec 2005, Amsterdam, Netherlands. pp.527-532, ⟨10.1007/11596141_44⟩
Accès au bibtex
BibTex
titre
Ordonnanceurs hiérarchiques adaptables
auteur
Charles Clément, Bertil Folliot
article
MajecStic 2005 - 3ème manifestation des jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication, IRISA – IETR – LTSI, Nov 2005, Rennes, France. pp.339-345
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000667/file/89.pdf BibTex
titre
The three dimensions of data consistency
auteur
Marc Shapiro, Nishith Krishna
article
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444797/file/cdur2005.pdf BibTex
titre
DARX - A Self-Healing Framework for Agents
auteur
Olivier Marin, Marin Bertier, Pierre Sens, Zahia Guessoum, Jean-Pierre Briot
article
12th Monterey Workshop on Reliable Systems on Unreliable Networked Platforms, Sep 2005, Laguna Beach, CA, United States
Accès au bibtex
BibTex
titre
Techniques d'aspect pour la gestion de la mémoire répartie dans un environnement CORBA/C++
auteur
Tony Soueid, Nesrine Yahiaoui, Lionel Seinturier, Bruno Traverson
article
5ème Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE'05), Sep 2005, Gatineau, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486731/file/article_aspect_notere05_vf.pdf BibTex
titre
A Generic Language for Dynamic Adaptation
auteur
Assia Hachichi, Gaël Thomas, Cyril Martin, Simon Patarin, Bertil Folliot
article
ACM/IEEE/IFIP European Conference on Parallel Processing (EuroPar 2005), Aug 2005, Lisbonne, Portugal. pp.40-49, ⟨10.1007/11549468_8⟩
Accès au bibtex
BibTex
titre
Pastis: a Higly-Scalable Multi-User Peer-to-Peer File System
auteur
Jean-Michel Busca, Fabio Picconi, Pierre Sens
article
Euro-Par 2005, Aug 2005, Lisboa, Portugal. pp.1173-1182, ⟨10.1007/11549468_128⟩
Accès au bibtex
BibTex
titre
A fault-tolerant token-based mutual exclusion algorithm using a dynamic tree
auteur
Julien Sopena, Luciana Arantes, Marin Bertier, Pierre Sens
article
Euro-Par 2005 - 11th European Conference on Parallel and Distributed Computing, Aug 2005, Lisboa, Portugal. pp.654-663, ⟨10.1007/11549468_72⟩
Accès au bibtex
BibTex
titre
Brief announcement: Exploring the Consistency Problem Space
auteur
Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan
article
PODC 2005 - 24th annual ACM symposium on Principles Of Distributed Computing, Jul 2005, Las Vegas, Nevada, United States. pp.168--168, ⟨10.1145/1073814.1073845⟩
Accès au bibtex
BibTex
titre
CompAr: Ensuring Safe Around Advice Composition
auteur
Renaud Pawlak, Laurence Duchien, Lionel Seinturier
article
7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOD'05), Jun 2005, Athens, Greece. pp.163-178, ⟨10.1007/11494881_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00446489/file/fmoods.pdf BibTex
titre
Lease-based Decentralized Resource Management in Open Multi-Agent Systems
auteur
David Mobach, Benno Overeinder, Olivier Marin, Frances Brazier
article
18th International Florida Artificial Intelligence Research Society Conference (FLAIRS '2005), May 2005, Clearwater Beach, Florida, United States. pp.339-344
Accès au bibtex
BibTex
titre
Algorithme d'exclusion mutuelle pour les GRID : une approche hiérarchique
auteur
Marin Bertier, Luciana Arantes, Pierre Sens
article
4ème Conférence Française sur les Systèmes d'Exploitation (CFSE'4), Apr 2005, Le Croisic, France
Accès au bibtex
BibTex
titre
FEW: File Management for Portable Devices
auteur
Nuno Preguiça, Carlos Baquero, José Legatheaux Martins, Marc Shapiro, Paulo Sérgio Almeida, Henrique Domingos, Victor Fonte, Sérgio Duarte
article
International Workshop on Software Support for Portable Storage, Mar 2005, San Francisco, CA, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444798/file/FEW_File_Management_for_Portable_Devices_IWSSPS.pdf BibTex
titre
Supporting Efficient Dynamic Aspects through Reflection and Dynamic Compilation
auteur
Frédéric Ogel, Gaël Thomas, Bertil Folliot
article
SAC 2005 - 20th Annual ACM Symposium on Applied Computing, Mar 2005, Santa Fe, New Mexico, United States. pp.1351-1356, ⟨10.1145/1066677.1066983⟩
Accès au bibtex
BibTex
titre
Role of Replication Planning for Fault Tolerant Multiagent Systems
auteur
Samir Aknine, Olivier Marin
article
Symposium on Adaptive Agents and Multi-Agent Systems, Mar 2005, Paris, France. pp.8-8
Accès au bibtex
BibTex

Autre publication

titre
Systems research, education and industry in Europe
auteur
Marc Shapiro, Yolande Berbers, Willy Zwaenepoel, Tim Harris
article
2005
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Foundations of AOP for J2EE Development
auteur
Jean-Philippe Retaillé, Renaud Pawlak, Lionel Seinturier
article
APress, 2005, 1-59059-507-6
Accès au bibtex
BibTex

Rapport

titre
GDS: an Architecture Proposal for a Grid Data-Sharing Service
auteur
Gabriel Antoniu, Marin Bertier, Luc Bougé, Eddy Caron, Frédéric Desprez, Mathieu Jan, Sébastien Monnet, Pierre Sens
article
[Research Report] RR-2005-28, LIP - ENS Lyon. 2005
Accès au bibtex
BibTex
titre
An application Framework for Collaborative, Nomadic Applications
auteur
James O'Brien, Marc Shapiro
article
[Research Report] RR-5745, INRIA. 2005, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070274/file/RR-5745.pdf BibTex
titre
GDS: an Architecture Proposal for a Grid Data-Sharing Service
auteur
Gabriel Antoniu, Marin Bertier, Luc Bougé, Eddy Caron, Frédéric Desprez, Mathieu Jan, Sébastien Monnet, Pierre Sens
article
[Research Report] RR-5593, INRIA. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071239/file/RR-5593.pdf BibTex
titre
Proving Correctness of Highly-Concurrent Linearisable Objects
auteur
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
article
[Research Report] RR-5716, INRIA. 2005, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070301/file/RR-5716.pdf BibTex

Pré-publication, Document de travail

titre
Exploring the consistency problem space
auteur
Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan
article
2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248207/file/p168-krishna.pdf BibTex

2004

Article dans une revue

titre
JAC: An Aspect-Based Distributed Dynamic Framework
auteur
Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Gérard Florin, Fabrice Legond-Aubry, Laurent Martelli
article
Software: Practice and Experience, Wiley, 2004, 34 (12), pp.1119-1148. ⟨10.1002/spe.605⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000042/file/SPERXP.pdf BibTex
titre
A Negotiation Framework for Organizational Information Systems
auteur
Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier
article
International Journal of Information Technology and Decision Making, World Scientific Publishing, 2004, 3 (2), pp.213-238. ⟨10.1142/S0219622004001094⟩
Accès au bibtex
BibTex
titre
MVV : une Plate-forme . Composants Dynamiquement Reconfigurables
auteur
Frédéric Ogel, Gaël Thomas, Antoine Galland, Bertil Folliot
article
Technique et Science Informatiques, Hermès-Lavoisier, 2004, 23 (10), pp.1269-1299. ⟨10.3166/tsi.23.1269-1299⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Constraint-based Formalism for Consistency in Replicated Systems
auteur
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna
article
OPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444799/file/opodis2004-final-2004-10-30.pdf BibTex
titre
GDS: An Architecture Proposal for a grid Data-Sharing Service
auteur
Gabriel Antoniu, Luc Bougé, Mathieu Jan, Sébastien Monnet, Marin Bertier, Eddy Caron, Frédéric Desprez, Pierre Sens
article
Workshop on Future Generation Grids, Nov 2004, Dagstuhl, Germany. pp.133-152, ⟨10.1007/978-0-387-29445-2_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000983/file/AntBerCarDesBouJanMonSens05GDS.pdf BibTex
titre
The Contact Substrate for Adaptive Replication of Internet Services
auteur
Corina Ferdean, Mesaac Makpangou, Nicolas Gibelin
article
International Conference on Intelligent Access to the Multimedia Documents on the Internet, Nov 2004, Tozeur, Tunisia
Accès au bibtex
BibTex
titre
Un mécanisme de réplication adaptative pour des SMA tolérants aux pannes
auteur
Zahia Guessoum, Jean-Pierre Briot, Nora Faci, Olivier Marin
article
JFSMA 2004 - 12èmes Journées Francophones sur les Systèmes Multi-Agents, Nov 2004, Paris, France. pp.125-139
Accès au bibtex
BibTex
titre
Reconfigurations dynamiques de services dans un intergiciel à composants CORBA CCM
auteur
Assia Hachichi, Cyril Martin, Gaël Thomas, Simon Patarin, Bertil Folliot
article
1ère Conférence Francophone sur le Déploiement et la (Re)Configuration de Logiciels (DECOR '04), Oct 2004, Grenoble, France. pp.159-170
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003292/file/main.pdf BibTex
titre
Brief Announcement: A formalism for consistency and partial replication
auteur
Marc Shapiro, Karthikeyan Bhargavan, Yek Chong, Youssef Hamadi
article
DISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00444779/file/TR-2004-58.pdf BibTex
titre
A Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids
auteur
Jean-Michel Busca, Marin Bertier, Fatima Belkouch, Pierre Sens, Luciana Arantes
article
16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD '04), Oct 2004, Iguacu, Brazil. pp.116-123, ⟨10.1109/SBAC-PAD.2004.4⟩
Accès au bibtex
BibTex
titre
Une extension de Fractal pour l'AOP
auteur
Nicolas Pessemier, Lionel Seinturier, Laurence Duchien, Olivier Barais
article
1ère Journée Francophone sur le développement de logiciels par aspects (JFDLPA'04), Sep 2004, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00489479/file/jfdlpa_2004.pdf BibTex
titre
A Step Towards Ubiquitous Computing: an efficient flexible micro-ORB
auteur
Frédéric Ogel, Bertil Folliot, Gaël Thomas
article
11th ACM SIGOPS European Workshop, Sep 2004, Louvain, Belgium. pp.173-178, ⟨10.1145/1133572.1133580⟩
Accès au bibtex
BibTex
titre
An AOP Layer to Abstract Programming with Distributed Components
auteur
Fabrice Legond-Aubry, Gérard Florin, Lionel Seinturier
article
Workshop of Aspect-Oriented Software Development, Sep 2004, Beijing, China. pp.17-31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00489500/file/WAOSD04.pdf BibTex
titre
Exploiting Network Locality in a Decentralized Read-Write Peer-to-Peer File Systems
auteur
Fabio Picconi, Jean-Michel Busca, Pierre Sens
article
10th International Conference on Parallel and Distributed Systems (ICPADS '04), Jul 2004, Newport Beach, United States. pp.289-296, ⟨10.1109/ICPADS.2004.1316107⟩
Accès au bibtex
BibTex
titre
Pastis : un système de fichiers pair-à-pair multi-écrivain passant l'échelle
auteur
Jean-Michel Busca, Fabio Picconi, Pierre Sens
article
Ecole DRUIDE, May 2004, Le Croisic, France
Accès au bibtex
BibTex
titre
Container Virtual Machine
auteur
Assia Hachichi, Bertil Folliot, Cyril Martin
article
Journée de l' AS 150 - Systèmes Répartis et Réseaux Adaptatifs au Contexte, Apr 2004, Paris, France. pp.ONLINE
Accès au bibtex
BibTex
titre
Hierarchical Token Based Mutual Exclusion Algorithms
auteur
Marin Bertier, Pierre Sens, Luciana Arantes
article
4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '04), Apr 2004, Chicago, United States. pp.539-546, ⟨10.1109/CCGrid.2004.1336650⟩
Accès au bibtex
BibTex
titre
Fractal, Kilim, JAC : une expérience comparative
auteur
Frédéric Loiret, Lionel Seinturier, Eric Gressier-Soudan
article
3ème Conférences Francophone sur les Composants Logiciels (JC'2004), Mar 2004, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00489480/file/paper.pdf BibTex
titre
Pandora : une plate-forme efficace pour la construction d'applications autonomes
auteur
Simon Patarin, Mesaac Makpangou
article
2004, pp.15-26
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003277/file/decor04.pdf BibTex

Chapitre d'ouvrage

titre
Aspect-Oriented Software Development with Java Aspect Components
auteur
Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Laurent Martelli, Fabrice Legond-Aubry, Gérard Florin
article
Mehmet Aksit, Siobhan Clarke, Tzilla Elrad, Robert E Filman. Aspect-Oriented Software Development, Addison-Wesley, pp.343-369, 2004, 0-321-21976-7
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00489501/file/jac.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Architecture des ordinateurs - Logique booléenne : Implémentations et technologies
auteur
Philippe Darche
article
Vuibert, pp.284, 2004, 2711748219
Accès au bibtex
BibTex
titre
La programmation orientée aspect pour Java/J2EE
auteur
Renaud Pawlak, Jean-Philippe Retaillé, Lionel Seinturier
article
Eyrolles, pp.444, 2004, 2-212-11408-7
Accès au bibtex
BibTex

Rapport

titre
A Performance Evaluation of a Quorum-Based State-Machine Replication Algorithm for Computing Grids
auteur
Jean-Michel Busca, Marin Bertier, Fatima Belkouch, Pierre Sens, Luciana Arantes
article
[Research Report] RR-5287, INRIA. 2004, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070713/file/RR-5287.pdf BibTex
titre
Hierarchical token based mutual exclusion algorithms
auteur
Marin Bertier, Luciana Arantes, Pierre Sens
article
[Research Report] RR-5177, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071411/file/RR-5177.pdf BibTex
titre
Pastis: a Highly-Scalable Multi-User Peer-to-Peer File System
auteur
Jean-Michel Busca, Fabio Picconi, Pierre Sens
article
[Research Report] RR-5288, INRIA. 2004, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070712/file/RR-5288.pdf BibTex
titre
Sabbarus: Distributed plate-form for replica divergence control, design and implementation
auteur
Ahmed Jebali
article
[Research Report] RR-5356, INRIA. 2004, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070647/file/RR-5356.pdf BibTex

2003

Communication dans un congrès

titre
Application-Level Concurrency Management
auteur
Frédéric Ogel, Gaël Thomas, Bertil Folliot, Ian Piumarta
article
Concurrent Information Processing and Computing, Jul 2003, Sinaia, Romania. pp.19-30
Accès au bibtex
BibTex

Rapport

titre
MLdonkey, a Multi-Network Peer-to-Peer File-Sharing Program
auteur
Fabrice Le Fessant, Simon Patarin
article
[Research Report] RR-4797, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071789/file/RR-4797.pdf BibTex
titre
On-line Measurement of Web Proxy Cache Efficiency
auteur
Simon Patarin, Mesaac Makpangou
article
[Research Report] RR-4782, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071804/file/RR-4782.pdf BibTex

Suivez Inria