Project Team Regal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Bibliography

Major publications by the team in recent years
[1]
E. Anceaume, R. Friedman, M. Gradinariu.
Managed Agreement: Generalizing two fundamental distributed agreement problems, in: Inf. Process. Lett., 2007, vol. 101, no 5, p. 190-198.
[2]
L. Arantes, D. Poitrenaud, P. Sens, B. Folliot.
The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock, in: Parallel Processing Letters, 2001, vol. 11, no 1, p. 65–76.
[3]
J. Beauquier, M. Gradinariu, C. Johnen.
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings, in: Distributed Computing, 2007, vol. 20, no 1, p. 75-93.
[4]
M. Bertier, L. Arantes, P. Sens.
Distributed Mutual Exclusion Algorithms for Grid Applications: A Hierarchical Approach, in: JPDC: Journal of Parallel and Distributed Computing, 2006, vol. 66, p. 128–144.
[5]
M. Bertier, O. Marin, P. Sens.
Implementation and performance of an adaptable failure detector, in: Proceedings of the International Conference on Dependable Systems and Networks (DSN '02), June 2002.
[6]
M. Bertier, O. Marin, P. Sens.
Performance Analysis of Hierarchical Failure Detector, in: Proceedings of the International Conference on Dependable Systems and Networks (DSN '03), San-Francisco (USA), IEEE Society Press, June 2003.
[7]
B. Ducourthial, S. Khalfallah, F. Petit.
Best-effort group service in dynamic networks, in: 22nd Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2010, p. 233-242.
[8]
N. Krishna, M. Shapiro, K. Bhargavan.
Brief announcement: Exploring the Consistency Problem Space, in: Symp. on Prin. of Dist. Computing (PODC), Las Vegas, Nevada, USA, ACM SIGACT-SIGOPS, July 2005.
[9]
S. Legtchenko, S. Monnet, G. Thomas.
Blue banana: resilience to avatar mobility in distributed MMOGs, in: The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), July 2010.
[10]
O. Marin, M. Bertier, P. Sens.
DARX - A Framework For The Fault-Tolerant Support Of Agent S oftware, in: Proceedings of the 14th IEEE International Symposium on Sofwat are Reliability Engineering (ISSRE '03), Denver (USA), IEEE Society Press, November 2003.
[11]
N. Palix, G. Thomas, S. Saha, C. Calvès, J. Lawall, G. Muller.
Faults in Linux: Ten Years Later, in: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA, March 2011.
[12]
N. Schiper, P. Sutra, F. Pedone.
P-Store: Genuine Partial Replication in Wide Area Networks, in: Symp. on Reliable Dist. Sys. (SRDS), New Dehli, India, IEEE Comp. Society, October 2010, p. 214–224.
Publications of the year

Doctoral Dissertations and Habilitation Theses

[13]
N. Hidalgo.
Tolérer les fautes transitoires, permanentes et intermittentes, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, decembre 2011.
[14]
N. Hidalgo.
Towards an Efficient Support for Complex Queries on Structured Peer-to-Peer Networks, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, november 2011.
[15]
E. Rosas.
Building Trustworthy Services in P2P networks, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, november 2011.
[16]
M. Valero.
Amélioration des performances et de la fiabilité des architectures pair à pair arborescentes, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, decembre 2011.

Articles in International Peer-Reviewed Journal

[17]
L. Blin, M. Potop-Butucaru, S. Rovedakis.
Self-stabilizing minimum degree spanning tree within one from the optimal degree, in: Journal of Parallel and Distributed Computing (JPDC), 2011, vol. 3 71, p. 438–449.
[18]
L. Burgy, L. Réveillère, J. Lawall, G. Muller.
Zebu: A Language-Based Approach for Network Protocol Message Processing, in: IEEE Transactions on Software Engineering, 2011, vol. 37, no 4, p. 575–591.
[19]
F. Carrier, S. Devismes, F. Petit, Y. Rivierre.
Asymptotically Optimal Deterministic Rendezvous, in: Int. J. Found. Comput. Sci., 2011, vol. 22, no 5, p. 1143-1159.
[20]
Y. Dieudonné, F. Petit.
Self-stabilizing Gathering with Strong Multiplicity Detection, in: Theoretical Computer Science, 2012, to appear.
[21]
S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.
Stabilizing data-link over non-FIFO channels with optimal fault-resilience, in: Information Processing Letters, September 2011.
http://hal.inria.fr/inria-00627760/en
[22]
S. Dubois, T. Masuzawa, S. Tixeuil.
Bounding the Impact of Unbounded Attacks in Stabilization, in: IEEE Transactions on Parallel and Distributed Systems (TPDS), 2011.
[23]
S. Dubois, M. Potop-Butucaru, S. Tixeuil.
Dynamic FTSS in Asynchronous Systems: the Case of Unison, in: Theoretical Computer Science (TCS), 2011, vol. 29 412, p. 3418–3439.
[24]
J. Lawall, J. Brunel, N. Palix, R. R. Hansen, H. Stuart, G. Muller.
WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process, in: Software: Practice and Experience, 2012, to appear.
[25]
S. Legtchenko, S. Monnet, P. Sens, G. Muller.
RelaxDHT: a churn-resilient replication strategy for peer-to-peer distributed hash-tables1, in: ACM Transactions on Autonomous and Adaptive Systems, 2011.
[26]
E. Rosas, O. Marin, X. Bonnaire.
CORPS: Building a Community Of Reputable PeerS in Distributed Hash Tables, in: The Computer Journal, September 2011.
http://hal.inria.fr/inria-00627499/en
[27]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Convergent and Commutative Replicated Data Types, in: Bulletin of the European Association for Theoretical Computer Science (EATCS), June 2011, no 104, p. 67–88.
http://lip6.fr/Marc.Shapiro/papers/CRDTs-beatcs-2011-06.pdf

Articles in National Peer-Reviewed Journal

[28]
S. Devismes, F. Petit, V. Villain.
Autour de l'Auto-Stabilisation: Partie I : Techniques généralisant l'approche, in: Technique et Science Informatiques, 2011, vol. 30, p. 1-22.
[29]
S. Devismes, F. Petit, V. Villain.
Autour de l'Auto-Stabilisation: Partie II : Techniques spécialisant l'approche, in: Technique et Science Informatiques, 2011, vol. 30, p. 23-50.

International Conferences with Proceedings

[30]
N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems, in: Proceedings of SSS 2011, X. Défago, F. Petit, V. Villain (editors), Springer Berlin / Heidelberg, 2011.
[31]
B. Bonakdarpour, S. Devismes, F. Petit.
Snap-Stabilizing Committee Coordination, in: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, 2011, p. 231-242.
http://doi.ieeecomputersociety.org/10.1109/IPDPS.2011.31
[32]
F. Bonnet, A. Milani, M. Potop-Butucaru, S. Tixeuil.
Asynchronous exclusive perpetual grid exploration without sense of direction, in: Proceedings of OPODIS 2011, A. F. Anta (editor), Springer Berlin / Heidelberg, 2011.
[33]
D. Cassou, E. Balland, C. Consel, J. Lawall.
Leveraging software architectures to guide and verify the development of sense/compute/control applications, in: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, May 2011, p. 431–440.
[34]
S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO, in: 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France, B. Ducourthial, P. Felber (editors), 2011.
http://hal.inria.fr/inria-00587089/en
[35]
S. Dubois, T. Masuzawa, S. Tixeuil.
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1, in: CoRR Proceedings of Algotel 2011, 2011, vol. abs/1104.4022.
http://arxiv.org/abs/1104.4022
[36]
S. Dubois, T. Masuzawa, S. Tixeuil.
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1, in: 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France, B. Ducourthial, P. Felber (editors), 2011.
http://hal.inria.fr/inria-00587517/en
[37]
S. Dubois, T. Masuzawa, S. Tixeuil.
Maximum Metric Spanning Tree made Byzantine Tolerant, in: Proceedings of DISC 2011, D. Peleg (editor), Springer Berlin / Heidelberg, 2011.
http://arxiv.org/abs/1104.5368
[38]
P. Floriano, A. Goldman, L. Arantes.
Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks, in: Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, NCA 2011, 2011, p. 203-210.
[39]
L. Gidra, G. Thomas, J. Sopena, M. Shapiro.
Assessing the Scalability of Garbage Collectors on Many Cores, in: 6th Workshop on Programming Languages and Operating Systems (PLOS'11)., Cascais, Portugal, October 2011.
[40]
F. Greve, L. Arantes, P. Sens.
What model and what conditions to implement unreliable failure detectors in dynamic networks?, in: Proceedings of the 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, TADDS '11, 2011, p. 13–17.
[41]
F. Greve, P. Sens, L. Arantes, V. Simon.
A Failure Detector for Wireless Networks with Unknown Membership, in: Euro-Par, 2011, p. 27–38.
[42]
N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire.
A Tabu Based Cache to Improve Latency and Load Balancing on Prefix Trees, in: IEEE International Conference on Parallel and Distributed Systems (ICPADS), December 2011.
[43]
N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire.
A Tabu Based Cache to Improve Latency and Load Balancing on Prefix Trees, in: ICPADS 2011 - IEEE International Conference on Parallel and Distributed Systems, Tainan, Taiwan, Province Of China, December 2011.
http://hal.inria.fr/inria-00627479/en
[44]
N. Hidalgo, E. Rosas, L. Arantes, O. Marin, P. Sens, X. Bonnaire.
DRing: A Layered Scheme for Range Queries over DHTs, in: IEEE International Conference on Computer and Information Technology (CIT), Press, IEEE Society, August 2011, p. 29-34.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6036587
[45]
N. Hidalgo, E. Rosas, L. Arantes, O. Marin, P. Sens, X. Bonnaire.
DRing: A Layered Scheme for Range Queries over DHTs, in: IEEE International Conference on Computer and Information Technology, Paphos, Cyprus, August 2011.
http://hal.inria.fr/inria-00627476/en
[46]
A. Lamani, A. Cournier, S. Dubois, F. Petit, V. Villain.
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies, in: 13th International Conference on Distributed Computing and Networking (ICDCN 2012), Honk-Kong, China, 2012, to appear.
[47]
S. Legtchenko, S. Monnet, P. Sens.
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions, in: 30th Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, IEEE Computer Society, October 2011.
[48]
W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller, E. Riviere.
Deadline-Aware Scheduling for Software Transactional Memory, in: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, June 2011, p. 257–268.
[49]
W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller, E. Riviere.
Kernel-Assisted Scheduling and Deadline Support for Software Transactional Memory, in: Proceedings of the Conférence Française en Systèmes d'Exploitation (CFSE), May 2011.
[50]
J. Michaux, X. Blanc, P. Sutra, M. Shapiro.
A Semantically Rich Approach for Collaborative Model Edition, in: ACM Symp. on Applied Computing (SAC), TaiChung, Taiwan, ACM SIGAPP, March 2011, vol. 26, p. 1470–1475.
http://lip6.fr/Marc.Shapiro/papers/SAC2011-Cpraxis_wholePaper.pdf
[51]
N. Palix, G. Thomas, S. Saha, C. Calvès, J. Lawall, G. Muller.
Faults in Linux: Ten Years Later, in: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA, March 2011.
[52]
M. Potop-Butucaru, M. Raynal, S. Tixeuil.
Distributed Computing with Mobile Robots: an Introductory Survey, in: Proceedings of the International Conference on Network-Based Information Systems (NBIS), 2011.
[53]
S. Saha, J. Lawall, G. Muller.
An approach to improving the structure of error-handling code in the linux kernel, in: Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, ACM, 2011, p. 41–50.
[54]
S. Saha, J. Lawall, G. Muller.
Finding Resource-Release Omission Faults in Linux, in: 6th Workshop on Programming Languages and Operating Systems, Cascais, Portugal, October 2011.
[55]
P. Sutra, M. Shapiro.
Fast Genuine Generalized Consensus, in: 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011, p. 255-264.
[56]
M. Valero, L. Arantes, M. Potop-Butucaru, P. Sens.
Enhancing Fault Tolerance of Distributed R-Tree, in: 5th Latin-American Symposium on Dependable Computing, 2011, p. 25–34.
[57]
M. Zawirski, M. Shapiro, N. Preguiça.
Asynchronous rebalancing of a replicated tree, in: cfse, Saint-Malo, France, May 2011, 12 p.
[58]
M. S. de Lima, F. Greve, L. Arantes, P. Sens.
The time-free approach to Byzantine failure detection in dynamic networks, in: Dependable Systems and Networks Workshops, 2011, p. 3–8.

National Conferences with Proceeding

[59]
L. Arantes, J. Lejeune, M. Piffaretti, O. Marin, P. Sens, J. Sopena, A. N. Bessani, V. V. Cogo, M. Correia, P. Costa, M. Pasin, F. A. B. Silva.
Étude d'une architecture MapReduce tolérant les fautes byzantines., in: Actes des 20éme Rencontres francophones du parallélisme (RENPAR'11), May 2011.
[60]
L. Blin, S. Dolev, M. Potop-Butucaru, S. Rovedakis.
Construction auto-stabilisante d'un arbre couvrant de poids minimum, in: 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France, B. Ducourthial, P. Felber (editors), 2011.
http://hal.inria.fr/inria-00587591/en
[61]
S. Dolev, S. Dubois, M. Potop-Butucaru, S. Tixeuil.
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO, in: CoRR Proceedings of Algotel 2011, 2011, vol. abs/1104.3947.
http://arxiv.org/abs/1104.3947
[62]
F. Hermenier, J. Lawall, G. Muller, J.-M. Menaud.
Consolidation dynamique d'applications Web haute disponibilité, in: Proceedings of the Conférence Française en Systèmes d'Exploitation (CFSE), May 2011.
[63]
T. Preud'homme, J. Sopena, G. Thomas, B. Folliot.
BatchQueue : file producteur / consommateur optimisée pour les multi-cœurs., in: 8ème Conférence Française sur les Systèmes d'Exploitation (CFSE'11), Chapitre français de l'ACM-SIGOPS, GDR ARP, May 2011.
[64]
P. Sutra, M. Shapiro.
Résolution efficace du consensus généralisé dans les systèmes répartis par passage de messages, in: ALGOTEL 2011 - 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, Cap Estérel, France, B. Ducourthial, P. Felber (editors), April 2011.
http://hal.inria.fr/inria-00586591/en
[65]
M. Valero, L. Arantes, M. Potop-Butucaru, P. Sens.
Architectures de filtrage reconfigurables dynamiquement., in: Conférence Française en Systèmes d'Exploitation, 2011.

Scientific Books (or Scientific Book chapters)

[66]
X. Bonnaire, P. Sens.
Design Principles of Large-Scale Distributed System, in: Distibuted Systems: Design and Algorithms, Wiley, 2011.
[67]
P. Darche.
Architecture des ordinateurs-Mémoires à semi-conducteurs : Principe de fonctionnement et organisation interne des mémoires vives, Editions Vuibert, 2011, vol. 1.
[68]
O. Marin, S. Monnet, G. Thomas.
Peer-to-Peer Storage, in: Distibuted Systems: Design and Algorithms, Wiley, 2011, p. 59-80.
[69]
S. Monnet, G. Thomas.
Large-Scale Peer-to-Peer Game Applications, in: Distibuted Systems: Design and Algorithms, Wiley, 2011, p. 81-103.

Books or Proceedings Editing

[70]
A. K. Datta, F. Petit, R. Guerraoui (editors)
Journal of Theoretical Computer Science, Special Issue on Stabilization, Safety, and Security of Distributed Systems, Elsevier, 2011, vol. 412, no 33.
[71]
A. K. Datta, F. Petit, R. Guerraoui (editors)
Transactions on Autonomous and Adaptive Systems, Special Issue on Stabilization, Safety, and Security of Distributed Systems, ACM, 2011.
[72]
X. Défago, F. Petit, V. Villain (editors)
Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Lecture Notes in Computer Science, Springer, Grenoble, France, 2011, vol. 6976.

Internal Reports

[73]
S. Devismes, A. Lamani, F. Petit, P. Raymond, S. Tixeuil.
Optimal grid exploration by asynchronous oblivious robots, UPMC, 2011, 21 pages.
http://hal.inria.fr/hal-00591963/en
[74]
S. Dubois, T. Masuzawa, S. Tixeuil.
Maximum Metric Spanning Tree made Byzantine Tolerant, UPMC, April 2011.
http://hal.inria.fr/inria-00589234/en
[75]
S. Dubois, T. Masuzawa, S. Tixeuil.
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions, UPMC, March 2011.
http://hal.inria.fr/inria-00577062/en
[76]
S. Dubois, S. Tixeuil.
A Taxonomy of Daemons in Self-stabilization, UPMC, October 2011, 26 pages.
http://hal.inria.fr/hal-00628390/en
[77]
F. Greve, P. Sens, L. Arantes, V. Martin.
Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants, INRIA, 2011, no RR-6088.
http://hal.inria.fr/inria-00122517/en
[78]
F. Hermenier, J. Lawall, J.-M. Menaud, G. Muller.
Dynamic Consolidation of Highly Available Web Applications, INRIA, February 2011, no RR-7545.
http://hal.inria.fr/inria-00567102/en
[79]
N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire.
TPT-C: A Heuristic-Based Cache to Improve Range Queries over DHTs, INRIA, March 2011, no RR-7576.
http://hal.inria.fr/inria-00578189/en
[80]
S. Legtchenko, S. Monnet, P. Sens.
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions, INRIA, May 2011, no RR-7614.
http://hal.inria.fr/inria-00591922/en
[81]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
A comprehensive study of Convergent and Commutative Replicated Data Types, inria, rocq, January 2011, no 7506.
http://hal.archives-ouvertes.fr/inria-00555588/
[82]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
A comprehensive study of Convergent and Commutative Replicated Data Types, INRIA, January 2011, no RR-7506.
http://hal.inria.fr/inria-00555588/en
[83]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Conflict-free Replicated Data Types, inria, rocq, July 2011, no RR-7687.
http://hal.inria.fr/inria-00609399/en/
[84]
M. Shapiro, N. Preguiça, C. Baquero, M. Zawirski.
Conflict-free Replicated Data Types, INRIA, July 2011, no RR-7687.
http://hal.inria.fr/inria-00609399/en

Other Publications

[85]
T. Izumi, M. Potop-Butucaru, M. Valero.
Physical expander in Virtual Tree Overlay, 2011.
http://hal.inria.fr/inria-00569098/en