Verifying Safety of Fault-Tolerant Distributed Components. - Rabéa Ameur-Boulifa; Raluca Halalai; Ludovic Henrio; Eric Madelaine (FACS, 2011)

Quantitative Evaluation of BFT Protocols. - Raluca Halalai; Thomas A. Henzinger; Vasu Singh (QEST, 2011)

Building a Strongly Consistent Multi-site File System. - Raluca Halalai; Leandro Pacheco de Sousa (SRDS, 2014)

ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service. - Raluca Halalai; Pierre Sutra; Etienne Rivière; Pascal Felber (SRDS, 2014)

GlobalFS: A Strongly Consistent Multi-site File System. - Leandro Pacheco; Raluca Halalai; Valerio Schiavoni; Fernando Pedone; Etienne Rivière; Pascal Felber (SRDS, 2016)

Agar: A Caching System for Erasure-Coded Data. - Raluca Halalai; Pascal Felber; Anne-Marie Kermarrec; François Taïani (ICDCS, 2017)