BibTeX records: Gregory Eakman

• > Home > Persons > Gregory Eakman

@inproceedings{DBLP:conf/sp/LiEGA21,
  author       = {Letitia W. Li and
                  Greg Eakman and
                  Elias J. M. Garcia and
                  Sam Atman},
  title        = {Accessible Formal Methods for Verified Parser Development},
  booktitle    = {{IEEE} Security and Privacy Workshops, {SP} Workshops 2021, San Francisco,
                  CA, USA, May 27, 2021},
  pages        = {142--151},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SPW53761.2021.00028},
  doi          = {10.1109/SPW53761.2021.00028},
  timestamp    = {Thu, 21 Sep 2023 16:11:08 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/LiEGA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/software/CamaraGE19,
  author       = {Javier C{\'{a}}mara and
                  David Garlan and
                  Greg Eakman},
  title        = {Building Long-Lived Adaptive Systems},
  journal      = {{IEEE} Softw.},
  volume       = {36},
  number       = {2},
  pages        = {70--72},
  year         = {2019},
  url          = {https://doi.org/10.1109/MS.2018.2885993},
  doi          = {10.1109/MS.2018.2885993},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/CamaraGE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ZhangELS19,
  author       = {Teng Zhang and
                  Greg Eakman and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Bernd Finkbeiner and
                  Leonardo Mariani},
  title        = {Overhead-Aware Deployment of Runtime Monitors},
  booktitle    = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11757},
  pages        = {375--381},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32079-9\_22},
  doi          = {10.1007/978-3-030-32079-9\_22},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/ZhangELS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ZhangELS18,
  author       = {Teng Zhang and
                  Gregory Eakman and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Flexible Monitor Deployment for Runtime Verification of Large Scale
                  Software},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
                  Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11247},
  pages        = {42--50},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03427-6\_6},
  doi          = {10.1007/978-3-030-03427-6\_6},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/ZhangELS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhangWGEPLS18,
  author       = {Teng Zhang and
                  John Wiegley and
                  Theophilos Giannakopoulos and
                  Gregory Eakman and
                  Cl{\'{e}}ment Pit{-}Claudel and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Xinyu Feng and
                  Markus M{\"{u}}ller{-}Olm and
                  Zijiang Yang},
  title        = {Correct-by-Construction Implementation of Runtime Monitors Using Stepwise
                  Refinement},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 4th International Symposium, {SETTA} 2018, Beijing, China, September
                  4-6, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10998},
  pages        = {31--49},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99933-3\_3},
  doi          = {10.1007/978-3-319-99933-3\_3},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ZhangWGEPLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/EakmanRHJM15,
  author       = {Greg Eakman and
                  Howard Reubenstein and
                  Tom Hawkins and
                  Mitesh Jain and
                  Panagiotis Manolios},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Practical Formal Verification of Domain-Specific Language Applications},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {443--449},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_34},
  doi          = {10.1007/978-3-319-17524-9\_34},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/EakmanRHJM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/milcom/StreileinTME11,
  author       = {William W. Streilein and
                  John Truelove and
                  Chad R. Meiners and
                  Gregory Eakman},
  title        = {Cyber situational awareness through operational streaming analysis},
  booktitle    = {{MILCOM} 2011 - 2011 {IEEE} Military Communications Conference, Baltimore,
                  MD, USA, November 7-10, 2011},
  pages        = {1152--1157},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/MILCOM.2011.6127455},
  doi          = {10.1109/MILCOM.2011.6127455},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/milcom/StreileinTME11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}