BibTeX records: Patrick C. Hickey

• > Home > Persons > Patrick C. Hickey

@article{DBLP:journals/software/PikeSTHB17,
  author       = {Lee Pike and
                  Jamey Sharp and
                  Mark Tullsen and
                  Patrick C. Hickey and
                  James Bielman},
  title        = {Secure Automotive Software: The Next Steps},
  journal      = {{IEEE} Softw.},
  volume       = {34},
  number       = {3},
  pages        = {49--55},
  year         = {2017},
  url          = {https://doi.org/10.1109/MS.2017.78},
  doi          = {10.1109/MS.2017.78},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/PikeSTHB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/PikeHEMT16,
  author       = {Lee Pike and
                  Patrick C. Hickey and
                  Trevor Elliott and
                  Eric Mertens and
                  Aaron Tomb},
  editor       = {Yli{\`{e}}s Falcone and
                  C{\'{e}}sar S{\'{a}}nchez},
  title        = {TrackOS: {A} Security-Aware Real-Time Operating System},
  booktitle    = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
                  Spain, September 23-30, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10012},
  pages        = {302--317},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46982-9\_19},
  doi          = {10.1007/978-3-319-46982-9\_19},
  timestamp    = {Wed, 28 Dec 2022 16:42:42 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/PikeHEMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/ElliottPWHBSSL15,
  author       = {Trevor Elliott and
                  Lee Pike and
                  Simon Winwood and
                  Patrick C. Hickey and
                  James Bielman and
                  Jamey Sharp and
                  Eric L. Seidel and
                  John Launchbury},
  editor       = {Ben Lippmeier},
  title        = {Guilt free ivory},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2015, Vancouver, BC, Canada, September 3-4, 2015},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2804302.2804318},
  doi          = {10.1145/2804302.2804318},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ElliottPWHBSSL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/HickeyPEBL14,
  author       = {Patrick C. Hickey and
                  Lee Pike and
                  Trevor Elliott and
                  James Bielman and
                  John Launchbury},
  editor       = {Johan Jeuring and
                  Manuel M. T. Chakravarty},
  title        = {Building embedded systems with embedded DSLs},
  booktitle    = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
                  Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages        = {3--9},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2628136.2628146},
  doi          = {10.1145/2628136.2628146},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HickeyPEBL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/PikeHBEDL14,
  author       = {Lee Pike and
                  Patrick C. Hickey and
                  James Bielman and
                  Trevor Elliott and
                  Thomas DuBuisson and
                  John Launchbury},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {Programming languages for high-assurance autonomous vehicles: extended
                  abstract},
  booktitle    = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages
                  meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego,
                  California, USA, Co-located with {POPL} '14},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541570},
  doi          = {10.1145/2541568.2541570},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/PikeHBEDL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/secon/ChenHP10,
  author       = {Baozhi Chen and
                  Patrick C. Hickey and
                  Dario Pompili},
  title        = {Trajectory-Aware Communication Solution for Underwater Gliders Using
                  {WHOI} Micro-Modems},
  booktitle    = {Proceedings of the Seventh Annual {IEEE} Communications Society Conference
                  on Sensor, Mesh and Ad Hoc Communications and Networks, {SECON} 2010,
                  June 21-25, 2010, Boston, Massachusetts, {USA}},
  pages        = {511--519},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/SECON.2010.5508262},
  doi          = {10.1109/SECON.2010.5508262},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/secon/ChenHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}