Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/usenix/Sigurbjarnarson17,
  author       = {Helgi Sigurbjarnarson and
                  James Bornholt and
                  Nicolas Christin and
                  Lorrie Faith Cranor},
  editor       = {Dilma Da Silva and
                  Bryan Ford},
  title        = {Push-Button Verification of File Systems via Crash Refinement},
  booktitle    = {2017 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2017, Santa
                  Clara, CA, USA, July 12-14, 2017},
  publisher    = {{USENIX} Association},
  year         = {2017},
  url          = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson},
  timestamp    = {Mon, 01 Feb 2021 08:43:34 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/Sigurbjarnarson17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/Sigurbjarnarson16,
  author       = {Helgi Sigurbjarnarson and
                  James Bornholt and
                  Emina Torlak and
                  Xi Wang},
  editor       = {Kimberly Keeton and
                  Timothy Roscoe},
  title        = {Push-Button Verification of File Systems via Crash Refinement},
  booktitle    = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages        = {1--16},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/sigurbjarnarson},
  timestamp    = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/Sigurbjarnarson16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Damchoom10,
  author       = {Kriangsak Damchoom},
  title        = {An incremental refinement approach to a development of a flash-based
                  file system in Event-B},
  school       = {University of Southampton, {UK}},
  year         = {2010},
  url          = {http://eprints.soton.ac.uk/165595/},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Damchoom10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/ZeeK04,
  author       = {Karen Zee and
                  Viktor Kuncak},
  title        = {File Refinement},
  journal      = {Arch. Formal Proofs},
  volume       = {2004},
  year         = {2004},
  url          = {https://www.isa-afp.org/entries/FileRefinement.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/ZeeK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}