BibTeX records: Keith Marzullo

download as .bib file

@article{DBLP:journals/taffco/MiriMUMBYFG23,
  author       = {Pardis Miri and
                  Horia Margarit and
                  Andero Uusberg and
                  Keith Marzullo and
                  Tali M. Ball and
                  Daniel Yamins and
                  Robert Flory and
                  James J. Gross},
  title        = {Challenges in Evaluating Technological Interventions for Affect Regulation},
  journal      = {{IEEE} Trans. Affect. Comput.},
  volume       = {14},
  number       = {3},
  pages        = {2430--2442},
  year         = {2023},
  url          = {https://doi.org/10.1109/TAFFC.2022.3175687},
  doi          = {10.1109/TAFFC.2022.3175687},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taffco/MiriMUMBYFG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MiriAMFHLGNHKSC22,
  author       = {Pardis Miri and
                  Mehul Arora and
                  Aman Malhotra and
                  Robert Flory and
                  Stephanie Hu and
                  Ashley Lowber and
                  Ishan Goyal and
                  Jacqueline Nguyen and
                  John P. Hegarty and
                  Marlo D. Kohn and
                  David Schneider and
                  Heather Culbertson and
                  Daniel L. K. Yamins and
                  Lawrence Fung and
                  Antonio Hardan and
                  James J. Gross and
                  Keith Marzullo},
  editor       = {Simone D. J. Barbosa and
                  Cliff Lampe and
                  Caroline Appert and
                  David A. Shamma and
                  Steven Mark Drucker and
                  Julie R. Williamson and
                  Koji Yatani},
  title        = {{FAR:} End-to-End Vibrotactile Distributed System Designed to Facilitate
                  Affect Regulation in Children Diagnosed with Autism Spectrum Disorder
                  Through Slow Breathing},
  booktitle    = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems,
                  New Orleans, LA, USA, 29 April 2022 - 5 May 2022},
  pages        = {168:1--168:20},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3491102.3517619},
  doi          = {10.1145/3491102.3517619},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/MiriAMFHLGNHKSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/MiriFUCHKPGIM20,
  author       = {Pardis Miri and
                  Robert Flory and
                  Andero Uusberg and
                  Heather Culbertson and
                  Richard H. Harvey and
                  Agata Kelman and
                  Davis Erik Peper and
                  James J. Gross and
                  Katherine Isbister and
                  Keith Marzullo},
  title        = {{PIV:} Placement, Pattern, and Personalization of an Inconspicuous
                  Vibrotactile Breathing Pacer},
  journal      = {{ACM} Trans. Comput. Hum. Interact.},
  volume       = {27},
  number       = {1},
  pages        = {5:1--5:44},
  year         = {2020},
  url          = {https://doi.org/10.1145/3365107},
  doi          = {10.1145/3365107},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tochi/MiriFUCHKPGIM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MiriJUMFIMG20,
  author       = {Pardis Miri and
                  Emily Jusuf and
                  Andero Uusberg and
                  Horia Margarit and
                  Robert Flory and
                  Katherine Isbister and
                  Keith Marzullo and
                  James J. Gross},
  editor       = {Regina Bernhaupt and
                  Florian 'Floyd' Mueller and
                  David Verweij and
                  Josh Andres and
                  Joanna McGrenere and
                  Andy Cockburn and
                  Ignacio Avellino and
                  Alix Goguey and
                  Pernille Bj{\o}n and
                  Shengdong Zhao and
                  Briane Paul Samson and
                  Rafal Kocielnik},
  title        = {Evaluating a Personalizable, Inconspicuous Vibrotactile(PIV) Breathing
                  Pacer for In-the-Moment Affect Regulation},
  booktitle    = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
                  Honolulu, HI, USA, April 25-30, 2020},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3313831.3376757},
  doi          = {10.1145/3313831.3376757},
  timestamp    = {Wed, 12 Jun 2024 07:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/MiriJUMFIMG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-01242,
  author       = {Benjamin Zorn and
                  Tom Conte and
                  Keith Marzullo and
                  Suresh Venkatasubramanian},
  title        = {Evolving Methods for Evaluating and Disseminating Computing Research},
  journal      = {CoRR},
  volume       = {abs/2007.01242},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.01242},
  eprinttype    = {arXiv},
  eprint       = {2007.01242},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-01242.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MiriUCFUGMI18,
  author       = {Pardis Miri and
                  Andero Uusberg and
                  Heather Culbertson and
                  Robert Flory and
                  Helen Uusberg and
                  James J. Gross and
                  Keith Marzullo and
                  Katherine Isbister},
  editor       = {Regan L. Mandryk and
                  Mark Hancock and
                  Mark Perry and
                  Anna L. Cox},
  title        = {Emotion Regulation in the Wild: Introducing {WEHAB} System Architecture},
  booktitle    = {Extended Abstracts of the 2018 {CHI} Conference on Human Factors in
                  Computing Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26,
                  2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3170427.3188495},
  doi          = {10.1145/3170427.3188495},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/MiriUCFUGMI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AndersonMRVM17,
  author       = {James W. Anderson and
                  Hein Meling and
                  Alexander Rasmussen and
                  Amin Vahdat and
                  Keith Marzullo},
  title        = {Local Recovery for High Availability in Strongly Consistent Cloud
                  Services},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {14},
  number       = {2},
  pages        = {172--184},
  year         = {2017},
  url          = {https://doi.org/10.1109/TDSC.2015.2443781},
  doi          = {10.1109/TDSC.2015.2443781},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/AndersonMRVM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2014,
  editor       = {Flavio Junqueira and
                  Keith Marzullo},
  title        = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
                  CO, USA, October 5, 2014},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {http://blogs.usenix.org/conference/hotdep14},
  timestamp    = {Tue, 18 Nov 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotdep/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/Walraed-SullivanVM13,
  author       = {Meg Walraed{-}Sullivan and
                  Amin Vahdat and
                  Keith Marzullo},
  editor       = {Kevin C. Almeroth and
                  Laurent Mathy and
                  Konstantina Papagiannaki and
                  Vishal Misra},
  title        = {Aspen trees: balancing data center fault tolerance, scalability and
                  cost},
  booktitle    = {Conference on emerging Networking Experiments and Technologies, CoNEXT
                  '13, Santa Barbara, CA, USA, December 9-12, 2013},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2535372.2535383},
  doi          = {10.1145/2535372.2535383},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conext/Walraed-SullivanVM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/AguileraMMPPW12,
  author       = {Marcos K. Aguilera and
                  Dahlia Malkhi and
                  Keith Marzullo and
                  Alessandro Panconesi and
                  Andrzej Pelc and
                  Roger Wattenhofer},
  title        = {Announcing the 2012 Edsger W. Dijkstra prize in distributed computing},
  journal      = {{SIGARCH} Comput. Archit. News},
  volume       = {40},
  number       = {4},
  pages        = {1--2},
  year         = {2012},
  url          = {https://doi.org/10.1145/2411116.2411118},
  doi          = {10.1145/2411116.2411118},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigarch/AguileraMMPPW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MelingMM12,
  author       = {Hein Meling and
                  Keith Marzullo and
                  Alessandro Mei},
  title        = {When You Don't Trust Clients: Byzantine Proposer Fast Paxos},
  booktitle    = {2012 {IEEE} 32nd International Conference on Distributed Computing
                  Systems, Macau, China, June 18-21, 2012},
  pages        = {193--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICDCS.2012.38},
  doi          = {10.1109/ICDCS.2012.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MelingMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/Walraed-SullivanMTZMV11,
  author       = {Meg Walraed{-}Sullivan and
                  Radhika Niranjan Mysore and
                  Malveeka Tewari and
                  Ying Zhang and
                  Keith Marzullo and
                  Amin Vahdat},
  editor       = {Jeffrey S. Chase and
                  Amr El Abbadi},
  title        = {{ALIAS:} scalable, decentralized label assignment for data centers},
  booktitle    = {{ACM} Symposium on Cloud Computing in conjunction with {SOSP} 2011,
                  {SOCC} '11, Cascais, Portugal, October 26-28, 2011},
  pages        = {6},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038916.2038922},
  doi          = {10.1145/2038916.2038922},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cloud/Walraed-SullivanMTZMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MarzulloMM11,
  author       = {Keith Marzullo and
                  Hein Meling and
                  Alessandro Mei},
  editor       = {David Peleg},
  title        = {Brief Announcement: When You Don't Trust Clients: Byzantine Proposer
                  Fast Paxos},
  booktitle    = {Distributed Computing - 25th International Symposium, {DISC} 2011,
                  Rome, Italy, September 20-22, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6950},
  pages        = {143--144},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24100-0\_11},
  doi          = {10.1007/978-3-642-24100-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MarzulloMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Walraed-SullivanMMV11,
  author       = {Meg Walraed{-}Sullivan and
                  Radhika Niranjan Mysore and
                  Keith Marzullo and
                  Amin Vahdat},
  editor       = {David Peleg},
  title        = {Brief Announcement: {A} Randomized Algorithm for Label Assignment
                  in Dynamic Networks},
  booktitle    = {Distributed Computing - 25th International Symposium, {DISC} 2011,
                  Rome, Italy, September 20-22, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6950},
  pages        = {326--327},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24100-0\_30},
  doi          = {10.1007/978-3-642-24100-0\_30},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/Walraed-SullivanMMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/JunqueiraMHP10,
  author       = {Flavio Paiva Junqueira and
                  Keith Marzullo and
                  Maurice Herlihy and
                  Lucia Draque Penso},
  title        = {Threshold protocols in survivor set systems},
  journal      = {Distributed Comput.},
  volume       = {23},
  number       = {2},
  pages        = {135--149},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00446-010-0107-3},
  doi          = {10.1007/S00446-010-0107-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/JunqueiraMHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/ZagorodnovMAB09,
  author       = {Dmitrii Zagorodnov and
                  Keith Marzullo and
                  Lorenzo Alvisi and
                  Thomas C. Bressoud},
  title        = {Practical and low-overhead masking of failures of TCP-based servers},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {27},
  number       = {2},
  pages        = {4:1--4:39},
  year         = {2009},
  url          = {https://doi.org/10.1145/1534909.1534911},
  doi          = {10.1145/1534909.1534911},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/ZagorodnovMAB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MzrakSM09,
  author       = {Alper Tugay Mizrak and
                  Stefan Savage and
                  Keith Marzullo},
  title        = {Detecting Malicious Packet Losses},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {20},
  number       = {2},
  pages        = {191--206},
  year         = {2009},
  url          = {https://doi.org/10.1109/TPDS.2008.70},
  doi          = {10.1109/TPDS.2008.70},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MzrakSM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/MizrakSM08,
  author       = {Alper Tugay Mizrak and
                  Stefan Savage and
                  Keith Marzullo},
  title        = {Detecting compromised routers via packet forwarding behavior},
  journal      = {{IEEE} Netw.},
  volume       = {22},
  number       = {2},
  pages        = {34--39},
  year         = {2008},
  url          = {https://doi.org/10.1109/MNET.2008.4476069},
  doi          = {10.1109/MNET.2008.4476069},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/network/MizrakSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nanoarch/RaoOM08,
  author       = {Wenjing Rao and
                  Alex Orailoglu and
                  Keith Marzullo},
  title        = {Locality aware redundancy allocation in nanoelectronic systems},
  booktitle    = {2008 {IEEE} International Symposium on Nanoscale Architectures, {NANOARCH}
                  2008, Anaheim, CA, USA, June 12-13, 2008},
  pages        = {24--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/NANOARCH.2008.4585788},
  doi          = {10.1109/NANOARCH.2008.4585788},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nanoarch/RaoOM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MaoJM08,
  author       = {Yanhua Mao and
                  Flavio Paiva Junqueira and
                  Keith Marzullo},
  editor       = {Richard Draves and
                  Robbert van Renesse},
  title        = {Mencius: Building Efficient Replicated State Machine for WANs},
  booktitle    = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
  pages        = {369--384},
  publisher    = {{USENIX} Association},
  year         = {2008},
  url          = {http://www.usenix.org/events/osdi08/tech/full\_papers/mao/mao.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/MaoJM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sadfe/PeisertBM08,
  author       = {Sean Peisert and
                  Matt Bishop and
                  Keith Marzullo},
  title        = {Computer Forensics in Forensis},
  booktitle    = {Third International Workshop on Systematic Approaches to Digital Forensic
                  Engineering, {SADFE} 2008, Berkeley, California, USA, May 22, 2008},
  pages        = {102--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SADFE.2008.18},
  doi          = {10.1109/SADFE.2008.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sadfe/PeisertBM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/HerlihyJMP08,
  author       = {Maurice Herlihy and
                  Flavio Paiva Junqueira and
                  Keith Marzullo and
                  Lucia Draque Penso},
  editor       = {Gadi Taubenfeld},
  title        = {Optimizing Threshold Protocols in Adversarial Structures},
  booktitle    = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
                  Arcachon, France, September 22-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5218},
  pages        = {335--349},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87779-0\_23},
  doi          = {10.1007/978-3-540-87779-0\_23},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/HerlihyJMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/JunqueiraM07,
  author       = {Flavio Junqueira and
                  Keith Marzullo},
  title        = {A framework for the design of dependent-failure algorithms},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {19},
  number       = {17},
  pages        = {2255--2269},
  year         = {2007},
  url          = {https://doi.org/10.1002/cpe.1170},
  doi          = {10.1002/CPE.1170},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/JunqueiraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/PeisertBKM07,
  author       = {Sean Peisert and
                  Matt Bishop and
                  Sidney Karin and
                  Keith Marzullo},
  title        = {Analysis of Computer Intrusions Using Sequences of Function Calls},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {137--150},
  year         = {2007},
  url          = {https://doi.org/10.1109/TDSC.2007.1003},
  doi          = {10.1109/TDSC.2007.1003},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/PeisertBKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sadfe/PeisertBKM07,
  author       = {Sean Peisert and
                  Matt Bishop and
                  Sidney Karin and
                  Keith Marzullo},
  editor       = {Ming{-}Yuh Huang and
                  Deborah A. Frincke},
  title        = {Toward Models for Forensic Analysis},
  booktitle    = {Second International Workshop on Systematic Approaches to Digital
                  Forensic Engineering, {SADFE} 2007, Seattle, Washington, USA, April
                  10-12, 2007},
  pages        = {3--15},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SADFE.2007.23},
  doi          = {10.1109/SADFE.2007.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sadfe/PeisertBKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/MizrakCMS06,
  author       = {Alper Tugay Mizrak and
                  Yuchung Cheng and
                  Keith Marzullo and
                  Stefan Savage},
  title        = {Detecting and Isolating Malicious Routers},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {230--244},
  year         = {2006},
  url          = {https://doi.org/10.1109/TDSC.2006.34},
  doi          = {10.1109/TDSC.2006.34},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/MizrakCMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AmorosoM06,
  author       = {Alessandro Amoroso and
                  Keith Marzullo},
  title        = {Multiple Job Scheduling in a Connection-Limited Data Parallel System},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {17},
  number       = {2},
  pages        = {125--134},
  year         = {2006},
  url          = {https://doi.org/10.1109/TPDS.2006.26},
  doi          = {10.1109/TPDS.2006.26},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/AmorosoM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ZhangHMS06,
  author       = {Xianan Zhang and
                  Matti A. Hiltunen and
                  Keith Marzullo and
                  Richard D. Schlichting},
  title        = {Customizable Service State Durability for Service Oriented Architectures},
  booktitle    = {Sixth European Dependable Computing Conference, {EDCC} 2006, Coimbra,
                  Portugal, 18-20 October 2006},
  pages        = {119--128},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/EDCC.2006.8},
  doi          = {10.1109/EDCC.2006.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/ZhangHMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ZhangJHMS06,
  author       = {Xianan Zhang and
                  Flavio Junqueira and
                  Matti A. Hiltunen and
                  Keith Marzullo and
                  Richard D. Schlichting},
  title        = {Replicating Nondeterministic Services on Grid Environments},
  booktitle    = {Proceedings of the 15th {IEEE} International Symposium on High Performance
                  Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006},
  pages        = {105--116},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/HPDC.2006.1652141},
  doi          = {10.1109/HPDC.2006.1652141},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/ZhangJHMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Marzullo05,
  author       = {Keith Marzullo},
  title        = {Introduction},
  journal      = {Distributed Comput.},
  volume       = {18},
  number       = {1},
  pages        = {59},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00446-005-0131-x},
  doi          = {10.1007/S00446-005-0131-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/Marzullo05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MizrakCMS05,
  author       = {Alper Tugay Mizrak and
                  Yuchung Cheng and
                  Keith Marzullo and
                  Stefan Savage},
  title        = {Fatih: Detecting and Isolating Malicious Routers},
  booktitle    = {2005 International Conference on Dependable Systems and Networks {(DSN}
                  2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
  pages        = {538--547},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/DSN.2005.49},
  doi          = {10.1109/DSN.2005.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MizrakCMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/JunqueiraM05,
  author       = {Flavio Paiva Junqueira and
                  Keith Marzullo},
  editor       = {Jos{\'{e}} C. Cunha and
                  Pedro D. Medeiros},
  title        = {Replication Predicates for Dependent-Failure Algorithms},
  booktitle    = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference,
                  Lisbon, Portugal, August 30 - September 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3648},
  pages        = {617--632},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549468\_69},
  doi          = {10.1007/11549468\_69},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/JunqueiraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/PeisertKBM05,
  author       = {Sean Peisert and
                  Sidney Karin and
                  Matt Bishop and
                  Keith Marzullo},
  editor       = {Simon N. Foley},
  title        = {Principles-driven forensic analysis},
  booktitle    = {Proceedings of the New Security Paradigms Workshop 2005, Lake Arrowhead,
                  California, USA, September 20-23, 2005},
  pages        = {85--93},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1146269.1146291},
  doi          = {10.1145/1146269.1146291},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nspw/PeisertKBM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/JunqueiraBHMV05,
  author       = {Flavio Paiva Junqueira and
                  Ranjita Bhagwan and
                  Alejandro Hevia and
                  Keith Marzullo and
                  Geoffrey M. Voelker},
  title        = {Surviving Internet Catastrophes},
  booktitle    = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
                  10-15, 2005, Anaheim, CA, {USA}},
  pages        = {45--60},
  publisher    = {{USENIX}},
  year         = {2005},
  url          = {http://www.usenix.org/events/usenix05/tech/general/junqueira.html},
  timestamp    = {Tue, 16 Jul 2024 09:12:32 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/JunqueiraBHMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/JunqueiraM05,
  author       = {Flavio Paiva Junqueira and
                  Keith Marzullo},
  editor       = {Pierre Fraigniaud},
  title        = {Coterie Availability in Sites},
  booktitle    = {Distributed Computing, 19th International Conference, {DISC} 2005,
                  Cracow, Poland, September 26-29, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3724},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11561927\_3},
  doi          = {10.1007/11561927\_3},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/JunqueiraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/ZhangZHMS04,
  author       = {Xianan Zhang and
                  Dmitrii Zagorodnov and
                  Matti A. Hiltunen and
                  Keith Marzullo and
                  Richard D. Schlichting},
  title        = {Fault-tolerant grid services using primary-backup: feasibility and
                  performance},
  booktitle    = {2004 {IEEE} International Conference on Cluster Computing {(CLUSTER}
                  2004), September 20-23 2004, San Diego, California, {USA}},
  pages        = {105--114},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CLUSTR.2004.1392608},
  doi          = {10.1109/CLUSTR.2004.1392608},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cluster/ZhangZHMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MyzrakMS04,
  author       = {Alper Tugay Mizrak and
                  Keith Marzullo and
                  Stefan Savage},
  editor       = {Soma Chaudhuri and
                  Shay Kutten},
  title        = {Brief announcement: detecting malicious routers},
  booktitle    = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
                  July 25-28, 2004},
  pages        = {369},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1011767.1011824},
  doi          = {10.1145/1011767.1011824},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MyzrakMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BhatiaMA03,
  author       = {Karan Bhatia and
                  Keith Marzullo and
                  Lorenzo Alvisi},
  title        = {Scalable causal message logging for wide-area environments},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {15},
  number       = {10},
  pages        = {873--889},
  year         = {2003},
  url          = {https://doi.org/10.1002/cpe.737},
  doi          = {10.1002/CPE.737},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/BhatiaMA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SussmanM03,
  author       = {Jeremy B. Sussman and
                  Keith Marzullo},
  title        = {The Bancomat problem: an example of resource allocation in a partitionable
                  asynchronous system},
  journal      = {Theor. Comput. Sci.},
  volume       = {291},
  number       = {1},
  pages        = {103--131},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(01)00398-X},
  doi          = {10.1016/S0304-3975(01)00398-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SussmanM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/JunqueiraM03,
  author       = {Flavio Paiva Junqueira and
                  Keith Marzullo},
  editor       = {Andr{\'{e}} Schiper and
                  Alexander A. Shvartsman and
                  Hakim Weatherspoon and
                  Ben Y. Zhao},
  title        = {Designing Algorithms for Dependent Process Failures},
  booktitle    = {Future Directions in Distributed Computing, Research and Position
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2584},
  pages        = {24--28},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-37795-6\_6},
  doi          = {10.1007/3-540-37795-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/JunqueiraM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZagorodnovMAB03,
  author       = {Dmitrii Zagorodnov and
                  Keith Marzullo and
                  Lorenzo Alvisi and
                  Thomas C. Bressoud},
  title        = {Engineering Fault-Tolerant {TCP/IP} Servers Using {FT-TCP}},
  booktitle    = {2003 International Conference on Dependable Systems and Networks {(DSN}
                  2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
  pages        = {393--402},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/DSN.2003.1209950},
  doi          = {10.1109/DSN.2003.1209950},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ZagorodnovMAB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/JunqueiraBMSV03,
  author       = {Flavio Paiva Junqueira and
                  Ranjita Bhagwan and
                  Keith Marzullo and
                  Stefan Savage and
                  Geoffrey M. Voelker},
  editor       = {Michael B. Jones},
  title        = {The Phoenix Recovery System: Rebuilding from the Ashes of an Internet
                  Catastrophe},
  booktitle    = {Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems,
                  May 18-21, 2003, Lihue (Kauai), Hawaii, {USA}},
  pages        = {73--78},
  publisher    = {{USENIX}},
  year         = {2003},
  url          = {https://www.usenix.org/conference/hotos-ix/phoenix-recovery-system-rebuilding-ashes-internet-catastrophe},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/JunqueiraBMSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JunqueiraM03,
  author       = {Flavio Paiva Junqueira and
                  Keith Marzullo},
  title        = {Synchronous Consensus for Dependent Process Failure},
  booktitle    = {23rd International Conference on Distributed Computing Systems {(ICDCS}
                  2003), 19-22 May 2003, Providence, RI, {USA}},
  pages        = {274--283},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICDCS.2003.1203476},
  doi          = {10.1109/ICDCS.2003.1203476},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/JunqueiraM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JacobsenZM03,
  author       = {Kjetil Jacobsen and
                  Xianan Zhang and
                  Keith Marzullo},
  title        = {Group Membership and Wide-Area Master-Worker Computations},
  booktitle    = {23rd International Conference on Distributed Computing Systems {(ICDCS}
                  2003), 19-22 May 2003, Providence, RI, {USA}},
  pages        = {570},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICDCS.2003.1203508},
  doi          = {10.1109/ICDCS.2003.1203508},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/JacobsenZM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/TeixeiraMSV03,
  author       = {Renata Teixeira and
                  Keith Marzullo and
                  Stefan Savage and
                  Geoffrey M. Voelker},
  title        = {In search of path diversity in {ISP} networks},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGCOMM} Internet Measurement Conference,
                  {IMC} 2003, Miami Beach, FL, USA, October 27-29, 2003},
  pages        = {313--318},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/948205.948247},
  doi          = {10.1145/948205.948247},
  timestamp    = {Mon, 08 Jul 2019 07:25:53 +0200},
  biburl       = {https://dblp.org/rec/conf/imc/TeixeiraMSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/TeixeiraMSV03,
  author       = {Renata Teixeira and
                  Keith Marzullo and
                  Stefan Savage and
                  Geoffrey M. Voelker},
  editor       = {Bill Cheng and
                  Satish K. Tripathi and
                  Jennifer Rexford and
                  William H. Sanders},
  title        = {Characterizing and measuring path diversity of internet topologies},
  booktitle    = {Proceedings of the International Conference on Measurements and Modeling
                  of Computer Systems, {SIGMETRICS} 2003, June 9-14, 2003, San Diego,
                  CA, {USA}},
  pages        = {304--305},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/781027.781069},
  doi          = {10.1145/781027.781069},
  timestamp    = {Fri, 30 Jul 2021 16:13:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmetrics/TeixeiraMSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AlvisiBM02,
  author       = {Lorenzo Alvisi and
                  Karan Bhatia and
                  Keith Marzullo},
  title        = {Causality tracking in causal message-logging protocols},
  journal      = {Distributed Comput.},
  volume       = {15},
  number       = {1},
  pages        = {1--15},
  year         = {2002},
  url          = {https://doi.org/10.1007/s446-002-8026-7},
  doi          = {10.1007/S446-002-8026-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/AlvisiBM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/KeidarSMD02,
  author       = {Idit Keidar and
                  Jeremy B. Sussman and
                  Keith Marzullo and
                  Danny Dolev},
  title        = {Moshe: {A} group membership service for WANs},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {20},
  number       = {3},
  pages        = {191--238},
  year         = {2002},
  url          = {https://doi.org/10.1145/566340.566341},
  doi          = {10.1145/566340.566341},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/KeidarSMD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SchlichtingCKMPS02,
  author       = {Richard D. Schlichting and
                  Andrew A. Chien and
                  Carl Kesselman and
                  Keith Marzullo and
                  James S. Plank and
                  Santosh K. Shrivastava},
  title        = {Dependability and the Grid: Issues and Challenges},
  booktitle    = {2002 International Conference on Dependable Systems and Networks {(DSN}
                  2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
  pages        = {263--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DSN.2002.1028907},
  doi          = {10.1109/DSN.2002.1028907},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/SchlichtingCKMPS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/JohansenLM02,
  author       = {Dag Johansen and
                  K{\aa}re J. Lauvset and
                  Keith Marzullo},
  title        = {An Extensible Software Architecture for Mobile Components},
  booktitle    = {9th {IEEE} International Conference on Engineering of Computer-Based
                  Systems {(ECBS} 2002), 8-11 April 2002, Lund, Sweden},
  pages        = {231--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ECBS.2002.999844},
  doi          = {10.1109/ECBS.2002.999844},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/JohansenLM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LauvsetJM02,
  author       = {K{\aa}re J. Lauvset and
                  Dag Johansen and
                  Keith Marzullo},
  title        = {Factoring Mobile Agents},
  booktitle    = {9th {IEEE} International Conference on Engineering of Computer-Based
                  Systems {(ECBS} 2002), 8-11 April 2002, Lund, Sweden},
  pages        = {253--257},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ECBS.2002.999847},
  doi          = {10.1109/ECBS.2002.999847},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LauvsetJM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/NarasimhanMMPS02,
  author       = {Priya Narasimhan and
                  Keith Marzullo and
                  P. M. Melliar{-}Smith and
                  Andreas Polze and
                  Douglas C. Schmidt},
  title        = {Open Research Issues in Building Dependable Middleware (Panel)},
  booktitle    = {7th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2002), 7-9 January 2002, San Diego, CA, {USA}},
  pages        = {359},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.ieeecomputersociety.org/10.1109/WORDS.2002.10001},
  doi          = {10.1109/WORDS.2002.10001},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/NarasimhanMMPS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BhatiaMA01,
  author       = {Karan Bhatia and
                  Keith Marzullo and
                  Lorenzo Alvisi},
  editor       = {Rizos Sakellariou and
                  John A. Keane and
                  John R. Gurd and
                  Len Freeman},
  title        = {Scalable Causal Message Logging for Wide-Area Environments},
  booktitle    = {Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference
                  Manchester, {UK} August 28-31, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2150},
  pages        = {864--873},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44681-8\_120},
  doi          = {10.1007/3-540-44681-8\_120},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/BhatiaMA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/LauvsetJJM01,
  author       = {K{\aa}re J. Lauvset and
                  Kjetil Jacobsen and
                  Dag Johansen and
                  Keith Marzullo},
  title        = {Separating Mobility from Mobile Agents},
  booktitle    = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
                  Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
  pages        = {173},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/HOTOS.2001.990089},
  doi          = {10.1109/HOTOS.2001.990089},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/LauvsetJJM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/AlvisiBEMZ01,
  author       = {Lorenzo Alvisi and
                  Thomas C. Bressoud and
                  Ayman El{-}Khashab and
                  Keith Marzullo and
                  Dmitrii Zagorodnov},
  title        = {Wrapping Server-Side {TCP} to Mask Connection Failures},
  booktitle    = {Proceedings {IEEE} {INFOCOM} 2001, The Conference on Computer Communications,
                  Twentieth Annual Joint Conference of the {IEEE} Computer and Communications
                  Societies, Twenty years into the communications odyssey, Anchorage,
                  Alaska, USA, April 22-26, 2001},
  pages        = {329--337},
  publisher    = {{IEEE} Comptuer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/INFCOM.2001.916715},
  doi          = {10.1109/INFCOM.2001.916715},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infocom/AlvisiBEMZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LauvsetJM01,
  author       = {K{\aa}re J. Lauvset and
                  Dag Johansen and
                  Keith Marzullo},
  editor       = {Gary B. Lamont},
  title        = {{TOS:} kernel support for distributed systems management},
  booktitle    = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
                  March 11-14, 2001, Las Vegas, NV, {USA}},
  pages        = {412--419},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/372202.372388},
  doi          = {10.1145/372202.372388},
  timestamp    = {Tue, 06 Nov 2018 11:06:46 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/LauvsetJM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2001,
  editor       = {Keith Marzullo and
                  Mahadev Satyanarayanan},
  title        = {Proceedings of the 18th {ACM} Symposium on Operating System Principles,
                  {SOSP} 2001, Chateau Lake Louise, Banff, Alberta, Canada, October
                  21-24, 2001},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/502034},
  doi          = {10.1145/502034},
  isbn         = {1-58113-389-8},
  timestamp    = {Thu, 11 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KeidarSMD00,
  author       = {Idit Keidar and
                  Jeremy B. Sussman and
                  Keith Marzullo and
                  Danny Dolev},
  title        = {A Client-Server Oriented Algorithm for Virtually Synchronous Group
                  Membership in WANs},
  booktitle    = {Proceedings of the 20th International Conference on Distributed Computing
                  Systems, Taipei, Taiwan, April 10-13, 2000},
  pages        = {356--365},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICDCS.2000.840947},
  doi          = {10.1109/ICDCS.2000.840947},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/KeidarSMD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SussmanKM00,
  author       = {Jeremy B. Sussman and
                  Idit Keidar and
                  Keith Marzullo},
  title        = {Optimistic Virtual Synchrony},
  booktitle    = {19th {IEEE} Symposium on Reliable Distributed Systems, SRDS'00, N{\"{u}}rnberg,
                  Germany, October 16-18, 2000, Proceedings},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/RELDI.2000.885391},
  doi          = {10.1109/RELDI.2000.885391},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/SussmanKM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LinMM00,
  author       = {Meng{-}Jang Lin and
                  Keith Marzullo and
                  Stefano Masini},
  editor       = {Maurice Herlihy},
  title        = {Gossip versus Deterministically Constrained Flooding on Small Networks},
  booktitle    = {Distributed Computing, 14th International Conference, {DISC} 2000,
                  Toledo, Spain, October 4-6, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1914},
  pages        = {253--267},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40026-5\_17},
  doi          = {10.1007/3-540-40026-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/LinMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/NamprempreSM99,
  author       = {Chanathip Namprempre and
                  Jeremy B. Sussman and
                  Keith Marzullo},
  editor       = {Murthy V. Devarakonda},
  title        = {Implementing Causal Logging Using OrbixWeb Interception},
  booktitle    = {Proceedings of the 5th {USENIX} Conference on Object-Oriented Technologies
                  {\&} Systems, May 3-7, 1999, The Town {\&} Country Resort
                  Hotel, San Diego, California, {USA}},
  pages        = {57--68},
  publisher    = {{USENIX}},
  year         = {1999},
  url          = {http://www.usenix.org/publications/library/proceedings/coots99/namprempre.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coots/NamprempreSM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/LinM99,
  author       = {Meng{-}Jang Lin and
                  Keith Marzullo},
  editor       = {Jan Hlavicka and
                  Erik Maehle and
                  Andr{\'{a}}s Pataricza},
  title        = {Directional Gossip: Gossip in a Wide Area Network},
  booktitle    = {Dependable Computing - EDCC-3, Third European Dependable Computing
                  Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1667},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48254-7\_25},
  doi          = {10.1007/3-540-48254-7\_25},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/LinM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JohansenMSJZ99,
  author       = {Dag Johansen and
                  Keith Marzullo and
                  Fred B. Schneider and
                  Kjetil Jacobsen and
                  Dmitrii Zagorodnov},
  title        = {{NAP:} Practical Fault-Tolerance for Itinerant Computations},
  booktitle    = {Proceedings of the 19th International Conference on Distributed Computing
                  Systems, Austin, TX, USA, May 31 - June 4, 1999},
  pages        = {180--189},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICDCS.1999.776519},
  doi          = {10.1109/ICDCS.1999.776519},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/JohansenMSJZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CirneM99,
  author       = {Walfredo Cirne and
                  Keith Marzullo},
  title        = {The Computational Co-op: Gathering Clusters into a Metacomputer},
  booktitle    = {13th International Parallel Processing Symposium / 10th Symposium
                  on Parallel and Distributed Processing {(IPPS} / {SPDP} '99), 12-16
                  April 1999, San Juan, Puerto Rico, Proceedings},
  pages        = {160--166},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IPPS.1999.760453},
  doi          = {10.1109/IPPS.1999.760453},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/CirneM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlvisiM98,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  title        = {Message Logging: Pessimistic, Optimistic, Causal, and Optimal},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {24},
  number       = {2},
  pages        = {149--159},
  year         = {1998},
  url          = {https://doi.org/10.1109/32.666828},
  doi          = {10.1109/32.666828},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/AlvisiM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AmorosoMR98,
  author       = {Alessandro Amoroso and
                  Keith Marzullo and
                  Aleta Ricciardi},
  title        = {Wide-Area Nile: {A} Case Study of a Wide-Area Data-Parallel Application},
  booktitle    = {Proceedings of the 18th International Conference on Distributed Computing
                  Systems, Amsterdam, The Netherlands, May 26-29, 1998},
  pages        = {506--515},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICDCS.1998.679794},
  doi          = {10.1109/ICDCS.1998.679794},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/AmorosoMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/LinRM98,
  author       = {Meng{-}Jang Lin and
                  Aleta Ricciardi and
                  Keith Marzullo},
  editor       = {Bob Blakley and
                  Darrell M. Kienzle and
                  Mary Ellen Zurko and
                  Steven J. Greenwald},
  title        = {A New Model for Availability in the Face of Self-Propagating Attacks},
  booktitle    = {Proceedings of the 1998 Workshop on New Security Paradigms, Charlottsville,
                  VA, USA, September 22-25, 1998},
  pages        = {134--137},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/310889.310928},
  doi          = {10.1145/310889.310928},
  timestamp    = {Thu, 09 Sep 2021 18:23:55 +0200},
  biburl       = {https://dblp.org/rec/conf/nspw/LinRM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BhatiaMA98,
  author       = {Karan Bhatia and
                  Keith Marzullo and
                  Lorenzo Alvisi},
  title        = {The Relative Overhead of Piggybacking in Causal Message Logging Protocols},
  booktitle    = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
                  1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
  pages        = {348--353},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/RELDIS.1998.740522},
  doi          = {10.1109/RELDIS.1998.740522},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/BhatiaMA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SussmanM98,
  author       = {Jeremy B. Sussman and
                  Keith Marzullo},
  editor       = {Shay Kutten},
  title        = {The Bancomat Problem: An Example of Resource Allocation in a Partitionable
                  Asynchronous System},
  booktitle    = {Distributed Computing, 12th International Symposium, {DISC} '98, Andros,
                  Greece, September 24-26, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1499},
  pages        = {363--377},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0056495},
  doi          = {10.1007/BFB0056495},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/SussmanM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/CleggM00,
  author       = {Matthew Clegg and
                  Keith Marzullo},
  title        = {Predicting Physical Processes in the Presence of Faulty Sensor Readings},
  booktitle    = {Digest of Papers: FTCS-27, The Twenty-Seventh Annual International
                  Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June
                  24-27, 1997},
  pages        = {373--378},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/FTCS.1997.614111},
  doi          = {10.1109/FTCS.1997.614111},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/CleggM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CleggM97,
  author       = {Matthew Clegg and
                  Keith Marzullo},
  title        = {A low-cost processor group membership protocol for a hard real-time
                  distributed system},
  booktitle    = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '97), December 3-5, 1997, San Francisco, CA, {USA}},
  pages        = {90--98},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/REAL.1997.641272},
  doi          = {10.1109/REAL.1997.641272},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/CleggM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AlvisiM96,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  editor       = {James E. Burns and
                  Yoram Moses},
  title        = {Trade-Offs in Implementing Optimal Message Logging Protocols},
  booktitle    = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
                  1996},
  pages        = {58--67},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/248052.248061},
  doi          = {10.1145/248052.248061},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AlvisiM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SussmanM96,
  author       = {Jeremy B. Sussman and
                  Keith Marzullo},
  editor       = {James E. Burns and
                  Yoram Moses},
  title        = {Comparing Primary-Backup and State Machines for Crash Failures (Abstract)},
  booktitle    = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
                  1996},
  pages        = {90},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/248052.248067},
  doi          = {10.1145/248052.248067},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/SussmanM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MarzulloORACR96,
  author       = {Keith Marzullo and
                  Michael Ogg and
                  Aleta Ricciardi and
                  Alessandro Amoroso and
                  F. Andrew Calkins and
                  Eric Rothfus},
  editor       = {Andrew Herbert and
                  Andrew S. Tanenbaum},
  title        = {{NILE:} wide-area computing for high energy physics},
  booktitle    = {Proceedings of the 7th {ACM} {SIGOPS} European Workshop: Systems Support
                  for Worldwide Applications, 1996, Connemara, Ireland, September 9-11,
                  1996},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/504450.504460},
  doi          = {10.1145/504450.504460},
  timestamp    = {Thu, 07 Nov 2019 10:24:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/MarzulloORACR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1996,
  editor       = {{\"{O}}zalp Babaoglu and
                  Keith Marzullo},
  title        = {Distributed Algorithms, 10th International Workshop, {WDAG} '96, Bologna,
                  Italy, October 9-11, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1151},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61769-8},
  doi          = {10.1007/3-540-61769-8},
  isbn         = {3-540-61769-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AlvisiM95,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  title        = {Message Logging: Pessimistic, Optimistic, and Causal},
  booktitle    = {Proceedings of the 15th International Conference on Distributed Computing
                  Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
  pages        = {229--236},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICDCS.1995.500024},
  doi          = {10.1109/ICDCS.1995.500024},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/AlvisiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AlvisiM95,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  editor       = {James H. Anderson},
  title        = {Deriving Optimal Checkpoint Protocols for Distributed Shared Memory
                  Architectures (Abstract)},
  booktitle    = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  pages        = {263},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/224964.225001},
  doi          = {10.1145/224964.225001},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AlvisiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/BudhirajaM95,
  author       = {Navin Budhiraja and
                  Keith Marzullo},
  title        = {Tradeoffs in implementing primary-backup protocols},
  booktitle    = {Proceedings of the Seventh {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1995, San Antonio, Texas , USA, October 25-28,
                  1995},
  pages        = {280--288},
  publisher    = {{IEEE}},
  year         = {1995},
  url          = {https://doi.org/10.1109/SPDP.1995.530696},
  doi          = {10.1109/SPDP.1995.530696},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/BudhirajaM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MarzulloS94,
  author       = {Keith Marzullo and
                  Laura S. Sabel},
  title        = {Efficient Detection of a Class of Stable Properties},
  journal      = {Distributed Comput.},
  volume       = {8},
  number       = {2},
  pages        = {81--91},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF02280830},
  doi          = {10.1007/BF02280830},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MarzulloS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RenesseBEM94,
  author       = {Robbert van Renesse and
                  Kenneth P. Birman and
                  Thorsten von Eicken and
                  Keith Marzullo},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {New Applications for Group Computing},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {58--63},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_4},
  doi          = {10.1007/3-540-60042-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/RenesseBEM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlvisiM94,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Deriving Optimal Checkpoint Protocols for Distributed Shared Memory
                  Architectures},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {111--120},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_8},
  doi          = {10.1007/3-540-60042-6\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AlvisiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SabelM94,
  author       = {Laura S. Sabel and
                  Keith Marzullo},
  editor       = {James H. Anderson and
                  David Peleg and
                  Elizabeth Borowsky},
  title        = {Simulating Fail-Stop in Asynchronous Distributed Systems},
  booktitle    = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Los Angeles, California, USA, August 14-17,
                  1994},
  pages        = {399},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/197917.198181},
  doi          = {10.1145/197917.198181},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/SabelM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SabelM94,
  author       = {Laura S. Sabel and
                  Keith Marzullo},
  title        = {Simulating Fail-Stop in Asynchronous Distributed Systems},
  booktitle    = {13th Symposium on Reliable Distributed Systems, {SRDS} 1994, Dana
                  Point, California, USA, October 25-27, 1994, Proceedings},
  pages        = {138--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/RELDIS.1994.336901},
  doi          = {10.1109/RELDIS.1994.336901},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/SabelM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BabaogluMS93,
  author       = {{\"{O}}zalp Babaoglu and
                  Keith Marzullo and
                  Fred B. Schneider},
  title        = {A Formalization of Priority Inversion},
  journal      = {Real Time Syst.},
  volume       = {5},
  number       = {4},
  pages        = {285--303},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01088832},
  doi          = {10.1007/BF01088832},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BabaogluMS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/AlmeidaGM93,
  author       = {Carlos Almeida and
                  Bradford B. Glade and
                  Keith Marzullo},
  title        = {High Availability in a Real-Time System},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {27},
  number       = {2},
  pages        = {82--87},
  year         = {1993},
  url          = {https://doi.org/10.1145/155848.155863},
  doi          = {10.1145/155848.155863},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/AlmeidaGM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/AlvisiHM93,
  author       = {Lorenzo Alvisi and
                  Bruce Hoppe and
                  Keith Marzullo},
  title        = {Nonblocking and Orphan-Free Message Logging Protocols},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627318},
  doi          = {10.1109/FTCS.1993.627318},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/AlvisiHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Marzullo92,
  author       = {Keith Marzullo},
  title        = {A Toolkit for Building Reactive Systems or {A} Minute on Meta (Abstract)},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {26},
  number       = {2},
  pages        = {23},
  year         = {1992},
  url          = {https://doi.org/10.1145/142111.964624},
  doi          = {10.1145/142111.964624},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/Marzullo92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/AlmeidaM92,
  author       = {Carlos Almeida and
                  Keith Marzullo},
  editor       = {Wolfgang A. Halang and
                  Alexander D. Stoyenko},
  title        = {{CORTO:} High Availability in a Real-Time System},
  booktitle    = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
                  on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
                  5-17, 1992},
  series       = {{NATO} {ASI} Series},
  volume       = {127},
  pages        = {667},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-88049-0\_94},
  doi          = {10.1007/978-3-642-88049-0\_94},
  timestamp    = {Fri, 12 May 2017 11:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/AlmeidaM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/AlmeidaGMR92,
  author       = {Carlos Almeida and
                  Bradford B. Glade and
                  Keith Marzullo and
                  Robbert van Renesse},
  editor       = {Jean{-}Pierre Ban{\^{a}}tre},
  title        = {High availability in a real-time system},
  booktitle    = {Proceedings of the 5th {ACM} {SIGOPS} European Workshop: Models and
                  Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel,
                  France, September 21-23, 1992},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/506378.506381},
  doi          = {10.1145/506378.506381},
  timestamp    = {Thu, 07 Nov 2019 10:24:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/AlmeidaGMR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BudhirajaMST92,
  author       = {Navin Budhiraja and
                  Keith Marzullo and
                  Fred B. Schneider and
                  Sam Toueg},
  editor       = {Adrian Segall and
                  Shmuel Zaks},
  title        = {Optimal Primary-Backup Protocols},
  booktitle    = {Distributed Algorithms, 6th International Workshop, {WDAG} '92, Haifa,
                  Israel, November 2-4, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {647},
  pages        = {362--378},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56188-9\_24},
  doi          = {10.1007/3-540-56188-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BudhirajaMST92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmrd/BudhirajaM92,
  author       = {Navin Budhiraja and
                  Keith Marzullo},
  editor       = {Jehan{-}Fran{\c{c}}ois P{\^{a}}ris and
                  Hector Garcia{-}Molina},
  title        = {Highly-Available Services Using the Primary-Backup Approach},
  booktitle    = {Proceedings of the Second Workshop on the Management of Replicated
                  Data, November 12-13, 1992, Monterey, California, {USA}},
  pages        = {47--50},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1992},
  timestamp    = {Sun, 28 Jul 2019 16:59:35 +0200},
  biburl       = {https://dblp.org/rec/conf/wmrd/BudhirajaM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc1301,
  author       = {Susan M. Armstrong and
                  Alan O. Freier and
                  Keith Marzullo},
  title        = {Multicast Transport Protocol},
  journal      = {{RFC}},
  volume       = {1301},
  pages        = {1--38},
  year         = {1992},
  url          = {https://doi.org/10.17487/RFC1301},
  doi          = {10.17487/RFC1301},
  timestamp    = {Sun, 02 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc1301.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MarzulloCWB91,
  author       = {Keith Marzullo and
                  Robert Cooper and
                  Mark D. Wood and
                  Kenneth P. Birman},
  title        = {Tools for Distributed Application Management},
  journal      = {Computer},
  volume       = {24},
  number       = {8},
  pages        = {42--51},
  year         = {1991},
  url          = {https://doi.org/10.1109/2.84876},
  doi          = {10.1109/2.84876},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computer/MarzulloCWB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/MarzulloW91,
  author       = {Keith Marzullo and
                  Mark D. Wood},
  title        = {Making Real-Time Reactive Systems Reliable},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {25},
  number       = {1},
  pages        = {45--48},
  year         = {1991},
  url          = {https://doi.org/10.1145/122140.122143},
  doi          = {10.1145/122140.122143},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/MarzulloW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdd/CooperM91,
  author       = {Robert Cooper and
                  Keith Marzullo},
  editor       = {Barton P. Miller and
                  Charles E. McDowell},
  title        = {Consistent Detection of Global Predicates},
  booktitle    = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
                  Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  pages        = {167--174},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/122759.122774},
  doi          = {10.1145/122759.122774},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pdd/CooperM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderBM91,
  author       = {Fred B. Schneider and
                  Bard Bloom and
                  Keith Marzullo},
  editor       = {J. W. de Bakker and
                  Cornelis Huizing and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Putting Time into Proof Outlines},
  booktitle    = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
                  June 3-7, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {600},
  pages        = {618--639},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0032010},
  doi          = {10.1007/BFB0032010},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/SchneiderBM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/ChewM91,
  author       = {Paul Chew and
                  Keith Marzullo},
  title        = {Masking Failures of Multidimensional Sensors},
  booktitle    = {Tenth Symposium on Reliable Distributed Systems, {SRDS} 1991, Pisa,
                  Italy, September 30 - October 2, 1991, Proceedings},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/RELDIS.1991.145402},
  doi          = {10.1109/RELDIS.1991.145402},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/ChewM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MarzulloN91,
  author       = {Keith Marzullo and
                  Gil Neiger},
  editor       = {Sam Toueg and
                  Paul G. Spirakis and
                  Lefteris M. Kirousis},
  title        = {Detection of Global State Predicates},
  booktitle    = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
                  Greece, October 7-9, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {579},
  pages        = {254--272},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0022452},
  doi          = {10.1007/BFB0022452},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MarzulloN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MarzulloS91,
  author       = {Keith Marzullo and
                  Laura S. Sabel},
  editor       = {Sam Toueg and
                  Paul G. Spirakis and
                  Lefteris M. Kirousis},
  title        = {Using Consistent Subcuts for Detecting Stable Properties},
  booktitle    = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
                  Greece, October 7-9, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {579},
  pages        = {273--288},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0022453},
  doi          = {10.1007/BFB0022453},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MarzulloS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Marzullo90,
  author       = {Keith Marzullo},
  title        = {Tolerating Failures of Continuous-Valued Sensors},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {8},
  number       = {4},
  pages        = {284--304},
  year         = {1990},
  url          = {https://doi.org/10.1145/128733.128735},
  doi          = {10.1145/128733.128735},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/Marzullo90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MarzulloW90,
  author       = {Keith Marzullo and
                  Mark D. Wood},
  title        = {Making real-time reactive systems reliable},
  booktitle    = {Proceedings of the 4th {ACM} {SIGOPS} European Workshop, Bologna,
                  Italy, September 3-5, 1990},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/504136.504137},
  doi          = {10.1145/504136.504137},
  timestamp    = {Tue, 12 Nov 2019 11:03:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/MarzulloW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/SiegelBM90,
  author       = {Alex Siegel and
                  Kenneth P. Birman and
                  Keith Marzullo},
  title        = {Deceit: {A} Flexible Distributed File System},
  booktitle    = {Proceedings of the Usenix Summer 1990 Technical Conference, Anaheim,
                  California, USA, June 1990},
  pages        = {51--62},
  publisher    = {{USENIX} Association},
  year         = {1990},
  timestamp    = {Thu, 15 May 2014 18:36:23 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/SiegelBM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmrd/SiegelBM90,
  author       = {Alex Siegel and
                  Kenneth P. Birman and
                  Keith Marzullo},
  editor       = {Luis{-}Felipe Cabrera and
                  Jehan{-}Fran{\c{c}}ois P{\^{a}}ris},
  title        = {Position Paper - Deceit: {A} Flexible Distributed File System},
  booktitle    = {Proceedings of the First Workshop on the Management of Replicated
                  Data, November 8-9, 1990, Houston, Texas, {USA}},
  pages        = {15--17},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1990},
  timestamp    = {Sun, 28 Jul 2019 12:54:05 +0200},
  biburl       = {https://dblp.org/rec/conf/wmrd/SiegelBM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MarzulloS88,
  author       = {Keith Marzullo and
                  Frank B. Schmuck},
  title        = {Supplying High Availability with a Standard Network File System},
  booktitle    = {Proceedings of the 8th International Conference on Distributed Computing
                  Systems, San Jose, California, USA, June 13-17, 1988},
  pages        = {447--453},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/DCS.1988.12547},
  doi          = {10.1109/DCS.1988.12547},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/MarzulloS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scm/Marzullo88,
  author       = {Keith Marzullo},
  editor       = {J{\"{u}}rgen F. H. Winkler},
  title        = {Configuration Management for Modular System},
  booktitle    = {Proceedings of the International Workshop on Software Version and
                  Configuration Control, January 27-29, 1988, Grassau, Germany},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {30},
  pages        = {405--408},
  publisher    = {Teubner},
  year         = {1988},
  timestamp    = {Fri, 07 Mar 2003 10:38:57 +0100},
  biburl       = {https://dblp.org/rec/conf/scm/Marzullo88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/MarzulloW86,
  author       = {Keith Marzullo and
                  Douglas Wiebe},
  editor       = {Peter B. Henderson},
  title        = {Jasmine: a software system modelling facility},
  booktitle    = {SESPSDE'86: {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
                  on Practical Software Development Environments, Palo Alto, CA, USA,
                  December 9-11, 1986},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/24208.24223},
  doi          = {10.1145/24208.24223},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/sde/MarzulloW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/MarzulloO85,
  author       = {Keith Marzullo and
                  Susan S. Owicki},
  title        = {Maintaining the Time in a Distributed System},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {19},
  number       = {3},
  pages        = {44--54},
  year         = {1985},
  url          = {https://doi.org/10.1145/850776.850780},
  doi          = {10.1145/850776.850780},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/MarzulloO85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MarzulloO83,
  author       = {Keith Marzullo and
                  Susan S. Owicki},
  editor       = {Robert L. Probert and
                  Nancy A. Lynch and
                  Nicola Santoro},
  title        = {Maintaining the Time in a Distributed System},
  booktitle    = {Proceedings of the Second Annual {ACM} Symposium on Principles of
                  Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983},
  pages        = {295--305},
  publisher    = {{ACM}},
  year         = {1983},
  url          = {https://doi.org/10.1145/800221.806730},
  doi          = {10.1145/800221.806730},
  timestamp    = {Thu, 02 Feb 2023 12:03:21 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MarzulloO83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}