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, n^o 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, n^o 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, n^o 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 detecto r, 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]

J.-M. Busca, F. Picconi, P. Sens.
Pastis: a Highly-Scalabel Multi-User Peer-to-Peer File Systems, in: Euro-Par'05 - Parallel Processing, Lisboa, Portugal, Lecture Notes in Computer Science, Springer-Verlag, August 2005.

[8]

A.-M. Kermarrec, A. Rowstron, M. Shapiro, P. Druschel.
The IceCube approach to the reconciliation of divergent replicas, in: 20th Symp. on Principles of Dist. Comp. (PODC), Newport RI (USA), ACM SIGACT-SIGOPS, August 2001.

[9]

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.

[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]

F. Ogel, G. Thomas, A. Galland, B. Folliot.
MVV : une Plate-forme à Composants Dynamiquement Reconfigurables — La Machine Virtuelle Virtuelle, in: Numéro Spécial Technique et Science Informatiques (TSI), 2004.

[12]

Y. Padioleau, J. Lawall, R. R. Hansen, G. Muller.
Documenting and Automating Collateral Evolutions in Linux Device Drivers, in: EuroSys 2008, Glasgow, Scotland, March 2008, p. 247–260.

[13]

Y. Padioleau, J. Lawall, G. Muller.
Understanding Collateral Evolution in Linux Device Drivers, in: The first ACM SIGOPS EuroSys conference (EuroSys 2006), Leuven, Belgium, April 2006, p. 59-71
http://hal.inria.fr/inria-00070251/en/, Also available as INRIA Research Report RR-5769.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[14]

C. Clément.
Isolation des extensions de systèmes d'exploitation dans une machine virtuelle, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, september 2009, Ph. D. Thesis.

[15]

N. Geoffray.
Fostering Systems Research with Managed Runtimes, Université Pierre et Marie Curie (Paris 6), 4, place Jussieu, Paris, september 2009, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

[16]

E. Caron, F. Desprez, F. Petit, C. Tedeschi.
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems, in: Parallel Processing Letters, 2009, To appear.

[17]

Y. Dieudonné, F. Petit.
Scatter of Weak Robots, in: Parallel Processing Letters, 2009, vol. 19, n^o 1, p. 175-184.

[18]

J. Sopena, L. Arantes, F. Legond, P. Sens.
Building Effective Mutual Exclusion Services for Grids, in: Journal of Supercomputing, Special Issue on "Secure, Manageable and Controllable Grid Services", July 2009, vol. 49, n^o 1, p. 84-107.

International Peer-Reviewed Conference/Proceedings

[19]

L. Arantes, A. Goldman, M. V. dos Santos.
Using Evolving Graphs to evaluate DTN routing protocols., in: ExtremeCom 2009, 2009.

[20]

L. Arantes, A. Goldman, P. Sens.
Towards a distributed computing model that characterizes dynamics of mobile networks, in: Colibri: Colloque d'Informatique Brésil / INRIA, 2009, p. 151-155.

[21]

L. Benmouffok, J.-M. Busca, J. M. Marquès, M. Shapiro, P. Sutra, G. Tsoukalas.
Telex: A Semantic Platform for Cooperative Application Development, in: Conf. Française sur les Systèmes d'Exploitation (CFSE), Toulouse, France, September 2009.

[22]

S. Bernard, S. Devismes, M. G. Potop-Butucaru, K. Parroux, S. Tixeuil.
Optimal probabilistic self-stabilizing vertex coloring in unidirectional anonymous networks, in: ICDCN, 2010, to appear.

[23]

S. Bernard, S. Devismes, M. G. Potop-Butucaru, S. Tixeuil.
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks, in: IPDPS, 2009, p. 1-8.

[24]

L. Blin, M. G. Potop-Butucaru, S. Rovedakis.
A Superstabilizing log( )-Approximation Algorithm for Dynamic Steiner Trees, in: SSS, 2009, p. 133-148.

[25]

L. Blin, M. G. Potop-Butucaru, S. Rovedakis.
Self-stabilizing minimum-degree spanning tree within one from the optimal degree, in: IPDPS, 2009, p. 1-11.

[26]

L. Blin, M. G. Potop-Butucaru, S. Rovedakis, S. Tixeuil.
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property, in: DISC, 2009, p. 407-422.

[27]

M. Bouillaguet, L. Arantes, P. Sens.
A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm, in: Dependable Computing, Latin-American Symposium on, 2009, vol. 0, p. 41-48.

[28]

Z. Bouzid, M. G. Potop-Butucaru, S. Tixeuil.
Byzantine Convergence in Robot Networks: The Price of Asynchrony, in: OPODIS, 2009, p. 54-70.

[29]

Z. Bouzid, M. G. Potop-Butucaru, S. Tixeuil.
Byzantine-Resilient Convergence in Oblivious Robot Networks, in: ICDCN, 2009, p. 275-280.

[30]

Z. Bouzid, M. G. Potop-Butucaru, S. Tixeuil.
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks, in: SSS, Lyon, France, F. Petit, R. Guerraoui (editors), Lecture Notes in Computer Science, Springer, 2009, vol. 5873, p. 165-179.

[31]

F. Carrier, S. Devismes, F. Petit, Y. Rivierre.
Space-Optimal Deterministic Rendezvous, in: Second International Workshop on Reliability, Availability, and Security (WRAS 2009), Hiroshima, Japan, 2009, to appear.

[32]

S. Devismes, C. Delporte-Gallet, H. Fauconnier, F. Petit, S. Toueg.
Quand le consensus est plus simple que la diffusion fiable, in: 11 ièmes rencontres francophones sur les aspects algorithmiques des télécommunications (Algotel 2009), Carry-Le-Rouet, France, 2009, p. 101-104.

[33]

S. Devismes, F. Petit, S. Tixeuil.
Exploration Optimale Probabiliste d'un Anneau par des Robots Asynchrones et Amnésiques, in: 11 ièmes rencontres francophones sur les aspects algorithmiques des télécommunications (Algotel 2009), Carry-Le-Rouet, France, 2009, p. 109-112.

[34]

S. Devismes, F. Petit, S. Tixeuil.
Optimal Probabilistic Ring Exploration by Semi-Synchronous Oblivious Robots, in: 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), Piran, Slovenia, Lecture Notes in Computer Science, Springer, 2009, p. 203-217.

[35]

Y. Dieudonné, S. Dolev, F. Petit, M. Segal.
Brief Announcement: Deaf, Dumb, and Chatting Robots, in: 28th Annual ACM Symposium on Principles of Distributed Computing (PODC 2009), Calgary, Canada, 2009, p. 308-309.

[36]

Y. Dieudonné, S. Dolev, F. Petit, M. Segal.
Deaf, Dumb, and Chatting Robots: Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robots, in: Thirteenth International Conference On Principle Of DIstributed Systems (OPODIS 2009), Nîmes, France, Lecture Notes in Computer Science, Springer, 2009, to appear.

[37]

Y. Dieudonné, F. Petit.
Self-stabilizing Deterministic Gathering, in: 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (Algosensors 2009), Rhodes, Greece, Lecture Notes in Computer Science, Springer, 2009, vol. 5804, p. 230-241.

[38]

Y. Dieudonné, F. Petit.
Squaring the Circle with Weak Mobile Robots, in: 11 ièmes rencontres francophones sur les aspects algorithmiques des télécommunications (Algotel 2009), Carry-Le-Rouet, France, 2009, p. 105-108.

[39]

S. Dubois, M. G. Potop-Butucaru, S. Tixeuil.
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison, in: DISC, 2009, p. 291-293.

[40]

N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot.
I-JVM: a Java Virtual Machine for Component Isolation in OSGi, in: Proceedings of the 39th International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, IEEE Computer Society, June 2009, p. 544-553.

[41]

N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot.
I-JVM: une machine virtuelle Java pour l'isolation de composants dans OSGi, in: Actes de la 7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Toulouse, France, Sept. 2009, p. 1-12.

[42]

F. Hermenier, X. Lorca, J.-M. Menaud, G. Muller, J. Lawall.
Entropy: a Consolidation Manager for Clusters, in: the 2009 International Conference on Virtual Execution Environments (VEE'09), March 2009, To Appear.

[43]

S. Legtchenko, S. Monnet, P. Sens, G. Muller.
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables, in: The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, Fr, Lecture Notes in Computer Science, Springer Verlag, November 2009, vol. 5873, p. 485–499.

[44]

M. Letia, N. Preguiça, M. Shapiro.
CRDTs: Consistency without concurrency control, in: SOSP W. on Large Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, USA, ACM SIG on Operating Systems (SIGOPS), October 2009.

[45]

M. Makpangou.
P2P based Hosting System for Scalable Replicated Databases, in: EDBT09 International Workshop on Data Management in Peer-to-peer Systems (DAMAP), Saint Petersburg, Russia, ACM, 2009.

[46]

N. Preguiça, J. M. Marquès, M. Shapiro, M. Letia.
A commutative replicated data type for cooperative editing, in: Int. Conf. on Distributed Comp. Sys. (ICDCS), Montréal, Canada, June 2009, p. 395–403.

[47]

T. Preud'homme, G. Thomas, B. Folliot.
GCKernel : Composition of garbage collectors, in: The EuroSys 2009 Doctoral Workshop, Nuremberg, Germany, March. 2009, p. 1 - 2.

[48]

N. Schiper, P. Sutra, F. Pedone.
Genuine versus Non-Genuine Atomic Multicast Protocols for Wide Area Networks : an Empirical Study, in: The 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009.

National Peer-Reviewed Conference/Proceedings

[49]

S. Legtchenko.
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables, in: The 7th Conférence Française en Systèmes d'Exploitation CFSE (CFSE 2009), Toulouse, Fr, September 2009.

[50]

C. Méhat, O. Marin, F. Peschanski.
Intégration des fautes dans un modèle de programmation pour réseaux mobiles, in: MajecSTIC'09, 22 November 2009
http://majecstic2009.univ-avignon.fr/Actes_MajecSTIC_RJCP/MajecSTIC/articles/1282.pdf.

Scientific Books (or Scientific Book chapters)

[51]

E. Caron, F. Desprez, F. Petit, C. Tedeschi.
Peer-to-Peer Service Discovery for Grid Computing, in: Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, N. Antonopoulos, G. Exarchakos, M. Li, A. Liotta (editors), IGI Global, Information Science Publishing, 2009, Released: December 2009. ISBN-13: 978-1615206865..

[52]

B. Folliot, G. Thomas.
Virtualisation logicielle : de la machine réelle à la machine virtuelle abstraite, in: Techniques de l'Ingénieur, Hermès, 2009, p. 1-15.

[53]

M. Shapiro, B. Kemme.
Eventual Consistency, in: Encyclopedia of Database Systems, M. T. Özsu, L. Liu (editors), Springer-Verlag GmbH, October 2009.

[54]

M. Shapiro.
Optimistic Replication and Resolution, in: Encyclopedia of Database Systems, M. T. Özsu, L. Liu (editors), Springer-Verlag GmbH, October 2009.

[55]

J. Sopena, L. Arantes, F. Legond, P. Sens.
Synchronization protocols for sharing resources in grid environments, in: Fundamental of Grid computing, Chapman and Hall, 2009.

Books or Proceedings Editing

[56]

F. Petit, R. Guerraoui (editors)
Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lecture Notes in Computer Science, Springer, Lyon, France, 2009, vol. 5873.

Internal Reports

[57]

L. Arantes, M. G. Potop-Butucaru, P. Sens, M. Valero.
Efficient filtering for massively distributed video games, INRIA, 2009, n^o RR-7008
http://hal.inria.fr/inria-00408209/en/, Research Report.

[58]

L. Arantes, P. Sens, G. Thomas, D. Conan, L. Lim.
Partition Participant Detector with Dynamic Paths in MANETs, INRIA, 2009, n^o RR-7002
http://hal.inria.fr/inria-00407685/en/, Research Report.

[59]

M. Letia, N. Preguiça, M. Shapiro.
CRDTs: Consistency without concurrency control, Institut Nat. de la Recherche en Informatique et Automatique (INRIA), Rocquencourt, France, June 2009, n^o RR-6956, Rapport de recherche.