BibTeX records: Raluca Halalai

• > Home > Persons > Raluca Halalai

@inproceedings{DBLP:conf/icdcs/HalalaiFKT17,
  author       = {Raluca Halalai and
                  Pascal Felber and
                  Anne{-}Marie Kermarrec and
                  Fran{\c{c}}ois Ta{\"{\i}}ani},
  editor       = {Kisung Lee and
                  Ling Liu},
  title        = {Agar: {A} Caching System for Erasure-Coded Data},
  booktitle    = {37th {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
  pages        = {23--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICDCS.2017.97},
  doi          = {10.1109/ICDCS.2017.97},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/HalalaiFKT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/srds/PachecoHSPRF16,
  author       = {Leandro Pacheco and
                  Raluca Halalai and
                  Valerio Schiavoni and
                  Fernando Pedone and
                  Etienne Rivi{\`{e}}re and
                  Pascal Felber},
  title        = {GlobalFS: {A} Strongly Consistent Multi-site File System},
  booktitle    = {35th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2016,
                  Budapest, Hungary, September 26-29, 2016},
  pages        = {147--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SRDS.2016.027},
  doi          = {10.1109/SRDS.2016.027},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/PachecoHSPRF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/srds/HalalaiSRF14,
  author       = {Raluca Halalai and
                  Pierre Sutra and
                  Etienne Rivi{\`{e}}re and
                  Pascal Felber},
  title        = {ZooFence: Principled Service Partitioning and Application to the ZooKeeper
                  Coordination Service},
  booktitle    = {33rd {IEEE} International Symposium on Reliable Distributed Systems,
                  {SRDS} 2014, Nara, Japan, October 6-9, 2014},
  pages        = {67--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SRDS.2014.41},
  doi          = {10.1109/SRDS.2014.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HalalaiSRF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/srds/HalalaiS14,
  author       = {Raluca Halalai and
                  Leandro Pacheco de Sousa},
  title        = {Building a Strongly Consistent Multi-site File System},
  booktitle    = {33rd {IEEE} International Symposium on Reliable Distributed Systems,
                  {SRDS} 2014, Nara, Japan, October 6-9, 2014},
  pages        = {347--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SRDS.2014.67},
  doi          = {10.1109/SRDS.2014.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/HalalaiS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/Ameur-BoulifaHHM11,
  author       = {Rab{\'{e}}a Ameur{-}Boulifa and
                  Raluca Halalai and
                  Ludovic Henrio and
                  Eric Madelaine},
  editor       = {Farhad Arbab and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Verifying Safety of Fault-Tolerant Distributed Components},
  booktitle    = {Formal Aspects of Component Software - 8th International Symposium,
                  {FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7253},
  pages        = {278--295},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35743-5\_17},
  doi          = {10.1007/978-3-642-35743-5\_17},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/Ameur-BoulifaHHM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/HalalaiHS11,
  author       = {Raluca Halalai and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Quantitative Evaluation of {BFT} Protocols},
  booktitle    = {Eighth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  pages        = {255--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/QEST.2011.40},
  doi          = {10.1109/QEST.2011.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HalalaiHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}