Project-Team Regal
Members
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 4K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit.
    Self-Stabilizing Leader Election in Polynomial Steps, in: Information and Computation, 2016.
    http://hal.upmc.fr/hal-01347471
  • 5V. Balegas, C. Li, M. Najafzadeh, D. Porto, A. Clement, S. Duarte, C. Ferreira, J. Gehrke, J. Leitão, N. Preguiça, R. Rodrigues, M. Shapiro, V. Vafeiadis.
    Geo-Replication: Fast If Possible, Consistent If Necessary, in: IEEE Data Engineering Bulletin, March 2016, vol. 39, no 1, 12 p.
    https://hal.inria.fr/hal-01350652
  • 6B. Bonakdarpour, S. Devismes, F. Petit.
    Snap-Stabilizing Committee Coordination, in: Journal of Parallel and Distributed Computing, January 2016, vol. 87, pp. 26-42. [ DOI : 10.1016/j.jpdc.2015.09.004 ]
    http://hal.upmc.fr/hal-01347461
  • 7N. Braud-Santoni, S. Dubois, M. H. Kaaouachi, F. Petit.
    The Next 700 Impossibility Results in Time-Varying Graphs, in: International Journal of Networking and Computing, 2016, vol. 6, no 1, pp. 27-41.
    https://hal.inria.fr/hal-01344422
  • 8E. Caron, A. K. Datta, C. Tedeschi, F. Petit.
    Self-Stabilizing Prefix Tree Based Overlay Networks, in: International Journal of Foundations of Computer Science, 2016, vol. 27, no 5, pp. 607–630. [ DOI : 10.1142/S0129054116500192 ]
    http://hal.upmc.fr/hal-01347457
  • 9A. Cournier, A. K. Datta, S. Devismes, F. Petit, V. Villain.
    The expressive power of snap-stabilization, in: Theoretical Computer Science, May 2016, vol. 626, pp. 40–66. [ DOI : 10.1016/j.tcs.2016.01.036 ]
    http://hal.upmc.fr/hal-01292988
  • 10N. Hidalgo, L. Arantes, P. Sens, X. Bonnaire.
    ECHO: Efficient Complex Query over DHT overlays, in: Journal of Parallel and Distributed Computing, February 2016, vol. 88, pp. 31-45. [ DOI : 10.1016/j.jpdc.2015.10.007 ]
    https://hal.archives-ouvertes.fr/hal-01340589
  • 11D. Jeanneau, T. Rieutord, L. Arantes, P. Sens.
    Solving k-Set Agreement Using Failure Detectors in Unknown Dynamic Networks, in: IEEE Transactions on Parallel and Distributed Systems, 2016.
    https://hal.inria.fr/hal-01354864
  • 12S. F. Pileggi.
    Probabilistic Semantics, in: Procedia Computer Science, 2016, vol. 80, pp. 1834–1845. [ DOI : 10.1016/j.procs.2016.05.472 ]
    http://hal.upmc.fr/hal-01327353
  • 13E. Rosas, N. Hidalgo, V. Gil Costa, M. Marin, C. Bonacic, H. Senger, L. Arantes, C. Marcondes, O. Marin.
    Survey on Simulation for Mobile Ad-Hoc Communication for Disaster Scenarios, in: Journal of Computer Science and Technology, 2016, vol. 31, no 2. [ DOI : 10.1007/s11390-016-1630-x ]
    http://hal.upmc.fr/hal-01354787
  • 14H. Senger, V. Gil-Costa, L. Arantes, C. A. Marcondes, M. Marin, L. M. Sato, F. A. B. da Silva.
    BSP Cost and Scalability Analysis for MapReduce Operations, in: Concurrency and Computation: Practice and Experience, June 2016, vol. 28, no 8, pp. 2503-2527. [ DOI : 10.1002/cpe.3628 ]
    https://hal.inria.fr/hal-01254275
  • 15D. Serrano, S. Bouchenak, Y. Kouki, F. Alvares De Oliveira Jr., T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
    SLA guarantees for cloud services, in: Future Generation Computer Systems, January 2016, vol. 54, pp. 233–246. [ DOI : 10.1016/j.future.2015.03.018 ]
    https://hal.archives-ouvertes.fr/hal-01162654
  • 16R. C. Turchetti, E. P. Duarte, L. Arantes, P. Sens.
    A QoS-configurable failure detection service for internet applications, in: Journal of Internet Services and Applications, 2016, vol. 7, no 9, 14 p. [ DOI : 10.1186/s13174-016-0051-y ]
    https://hal.inria.fr/hal-01405120

Invited Conferences

  • 17M. Shapiro, M. Saeida Ardekani, G. Petri.
    Consistency in 3D, in: Int. Conf. on Concurrency Theory (CONCUR) 2016, Québec, Canada, LIPICS (editor), Int. Conf. on Concurrency Theory (CONCUR) 2016, August 2016, vol. CONCUR 2016, 15 p.
    https://hal.inria.fr/hal-01350668

International Conferences with Proceedings

  • 18D. D. Akkoorath, A. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro.
    Cure: Strong semantics meets high availability and low latency, in: Int. Conf. on Distributed Computing Systems (ICDCS 2016), Nara, Japan, IEEE, June 2016, pp. 405-414. [ DOI : 10.1109/ICDCS.2016.98 ]
    https://hal.inria.fr/hal-01350558
  • 19K. Altisen, S. Devismes, A. Durand, F. Petit.
    Gradual Stabilization under τ-Dynamics, in: 22nd International European Conference on Parallel and Distributed Computing (Euro-Par 2016), Grenoble, France, August 2016.
    http://hal.upmc.fr/hal-01348413
  • 20L. Arantes, R. Friedman, O. Marin, P. Sens.
    Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments, in: 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017. [ DOI : 10.1145/1235 ]
    https://hal.inria.fr/hal-01399026
  • 21H. Attiya, S. Burckhardt, A. Gotsman, A. Morrison, H. Yang, M. Zawirski.
    Specification and Complexity of Collaborative Text Editing, in: Int. Symp. on Principles of Distributed Computing (PODC) 2016, Chicago, IL, United States, ACM (editor), Int. Symp. on Principles of Distributed Computing (PODC) 2016, July 2016, vol. PODC 2016, 10 p. [ DOI : 10.1145/2933057.2933090 ]
    https://hal.inria.fr/hal-01351512
  • 22M. BOURNAT, A. K. Datta, S. Dubois.
    Self-Stabilizing Robots in Highly Dynamic Environments, in: SSS 2016 - 18th International Symposium Stabilization, Safety, and Security of Distributed Systems, Lyon, France, Lecture Notes in Computer Science, Springer, November 2016, vol. 10083, pp. 54-69. [ DOI : 10.1007/978-3-319-49259-9_5 ]
    https://hal.archives-ouvertes.fr/hal-01416308
  • 23L. Blin, F. Boubekeur, S. Dubois.
    Algorithme auto-stabilisant efficace en mémoire pour la construction d'un arbre couvrant de diamètre minimum, in: ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Bayonne, France, May 2016.
    https://hal.archives-ouvertes.fr/hal-01302779
  • 24A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller.
    Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System, in: 28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Toulouse, France, July 2016.
    https://hal.inria.fr/hal-01346979
  • 25A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller.
    Understanding the Memory Consumption of the MiBench Embedded Benchmark, in: Netys, Marakech, Morocco, May 2016.
    https://hal.inria.fr/hal-01349421
  • 26G. Bosilca, A. Bouteiller, A. Guermouche, T. Hérault, Y. Robert, P. Sens, J. Dongarra.
    Failure Detection and Propagation in HPC systems, in: SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, United States, November 2016.
    https://hal.inria.fr/hal-01352109
  • 27L. Briot, P. Urso, M. Shapiro.
    High Responsiveness for Group Editing CRDTs, in: ACM International Conference on Supporting Group Work, Sanibel Island, FL, United States, November 2016. [ DOI : 10.1145/2957276.2957300 ]
    https://hal.inria.fr/hal-01343941
  • 28F. Coriat, A. Fladenmuller, L. Arantes, O. Marin.
    Crowdsourcing-based architecture for post-disaster geolocation: A comparative performance evaluation, in: The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Cambridge, MA, United States, October 2016, pp. 1 - 9. [ DOI : 10.1109/NCA.2016.7778583 ]
    http://hal.upmc.fr/hal-01416297
  • 29R. Cortés, X. Bonnaire, O. Marin, L. Arantes, P. Sens.
    GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets, in: The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), Cambridge, MA, United States, 2016.
    https://hal.inria.fr/hal-01388949
  • 30A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, M. Shapiro.
    'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems, in: Symposium on Principles of Programming Languages, Saint Petersburg, FL, United States, January 2016, pp. 371–384. [ DOI : 10.1145/2837614.2837625 ]
    https://hal.inria.fr/hal-01243192
  • 31A. Graciela de Moraes Rossetto, C. R. Geyer, L. Arantes, P. Sens.
    Implementing a flexible failure detector that expresses the confidence in the system, in: LADC 2016 - 7th Latin-American Symposium on Dependable Computing, Cali, Colombia, October 2016.
    https://hal.inria.fr/hal-01352162
  • 32S. Iskounen, T.-M.-T. Nguyen, S. Monnet.
    WiFi-Direct Simulation for INET in OMNeT++, in: The 3rd OMNeT++ Community Summit, Brno, Czech Republic, September 2016.
    http://hal.upmc.fr/hal-01389581
  • 33D. Jeanneau, L. A. Rodrigues, E. Duarte, L. Arantes.
    An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector, in: Latin-American Symposium on Dependable Computing (LADC), Cali, Colombia, 2016.
    https://hal.inria.fr/hal-01355322
  • 34M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro.
    The CISE Tool: Proving Weakly-Consistent Applications Correct, in: PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, Londres, United Kingdom, ACM, April 2016. [ DOI : 10.1145/2911151.2911160 ]
    https://hal.inria.fr/hal-01350636
  • 35L. A. Rodrigues, L. Arantes, E. Duarte.
    An Autonomic Majority Quorum System, in: 30th IEEE International Conference on Advanced Information Networking and Applications (AINA), Crans-Montana, Switzerland, 2016. [ DOI : 10.1016/j.jpdc.2015.10.007 ]
    http://hal.upmc.fr/hal-01349513
  • 36A. Tomsic, T. Crain, M. Shapiro.
    PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation, in: Int. W. on Principles and Practice of Consistency for Distr. Data (PaPoC) 2016, London, United Kingdom, ACM (editor), Int. W. on Principles and Practice of Consistency for Distr. Data (PaPoC) 2016, April 2016, vol. PaPoC 2016, 4 p. [ DOI : 10.1145/2911151.2911166 ]
    https://hal.inria.fr/hal-01350657
  • 37M. Zawirski, C. Baquero, A. Bieniusa, N. Preguiça, M. Shapiro.
    Eventually Consistent Register Revisited, in: Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), London, United Kingdom, ACM (editor), Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, April 2016, vol. PaPoC 2016, 7 p. [ DOI : 10.1145/2911151.2911157 ]
    https://hal.inria.fr/hal-01242700

Scientific Books (or Scientific Book chapters)

  • 38A. Graciela de Moraes Rossetto, C. Rolim, V. Leithardt, C. R. Geyer, L. Arantes, P. Sens.
    A failure detector based on processes’ relevance and the confidence degree in the system for self-healing in ubiquitous environments, in: Pervasive Computing, C. Dobre, F. Xhafa (editors), Next Generation Platforms for Intelligent Data Collection, 2016, 23 p.
    https://hal.inria.fr/hal-01355320

Internal Reports

  • 39D. D. Akkoorath, A. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro.
    Cure: Strong semantics meets high availability and low latency, Inria ; Paris 6, February 2016, no RR-8858.
    https://hal.inria.fr/hal-01270776
  • 40A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller.
    Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System, Inria, February 2016, no RR-8838.
    https://hal.inria.fr/hal-01268078
  • 41M. Bournat, A. K. Datta, S. Dubois.
    Self-Stabilizing Robots in Highly Dynamic Environments , LIP6 UMR 7606, Inria, UPMC Sorbonne Universités, France ; University of Nevada, Las Vegas, United States, September 2016.
    https://hal.inria.fr/hal-01368920
  • 42M. Bournat, S. Dubois, F. Petit.
    Computability of Perpetual Exploration in Highly Dynamic Rings, Laboratoire d'informatique de Paris 6 [LIP6] ; UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL, December 2016.
    https://hal.archives-ouvertes.fr/hal-01417565
  • 43M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro.
    The CISE Tool: Proving Weakly-Consistent Applications Correct, Inria Paris Rocquencourt, February 2016, no RR-8870.
    https://hal.archives-ouvertes.fr/hal-01279495
  • 44A. G. M. Rossetto, L. Arantes, P. Sens, C. R. Geyer.
    Impact: an Unreliable Failure Detector Based on Processes' Relevance and the Confidence Degree in the System, Université Pierre et Marie Curie ; Inria Paris-Rocquencourt - Regal ; Universidade Federal do Rio Grande do Sul, September 2016.
    https://hal.inria.fr/hal-01136595
  • 45M. Shapiro, M. Saeida Ardekani, G. Petri.
    Consistency in 3D, Institut National de la Recherche en Informatique et Automatique (Inria), July 2016, no RR-8932.
    https://hal.archives-ouvertes.fr/hal-01343592

Other Publications

  • 46P. Darche.
    Évolution des mémoires à semi-conducteurs à accès aléatoire, February 2017, article E2491 des techniques de l'ingenieur p, article de référence sur le domaine.
    http://hal.upmc.fr/hal-01341972
References in notes
  • 47V. Balegas, S. Duarte, C. Ferreira, R. Rodrigues, N. Preguiça, M. Najafzadeh, M. Shapiro.
    Putting Consistency back into Eventual Consistency, in: Euro. Conf. on Comp. Sys. (EuroSys), Bordeaux, France, ACM, 2015, pp. 6:1–6:16. [ DOI : 10.1145/2741948.2741972 ]
    https://hal.inria.fr/hal-01248191
  • 48M. Najafzadeh, M. Shapiro.
    Demo of the CISE tool, November 2015.
    https://youtu.be/HJjWqNDh-GA

previous Previous | up Home