@inproceedings{Shen_HE_19,
    date             = {2019-6-24},
    publisher        = {IEEE},
    doi              = {https://doi.org/10.1109/DSN.2019.00031},
    month            = jun,
    booktitle        = {International Conference on Dependable Systems and Networks (DSN)},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Shen_HE_19.pdf},
    issn             = {1530-0889},
    year             = {2019},
    keywords         = {{seL4}; microkernel; {SEU}; replication; fault tolerance},
    title            = {Fault Tolerance Through Redundant Execution on {COTS} Multicores: Exploring Trade-offs},
    pages            = {188-200},
    author           = {Shen, Yanyan and Heiser, Gernot and Elphinstone, Kevin},
    address          = {Portland, Oregon, USA}
  }