BibTeX records: Trevor Jennings

• > Home > Persons > Trevor Jennings

@inproceedings{DBLP:conf/sigada/CourtieuACZRBHG13,
  author       = {Pierre Courtieu and
                  Maria{-}Virginia Aponte and
                  Tristan Crolard and
                  Zhi Zhang and
                  Robby and
                  Jason Belt and
                  John Hatcliff and
                  J{\'{e}}r{\^{o}}me Guitton and
                  Trevor Jennings},
  editor       = {Jeff Boleng and
                  S. Tucker Taft},
  title        = {Towards the formalization of {SPARK} 2014 semantics with explicit
                  run-time checks using coq},
  booktitle    = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
                  10-14, 2013},
  pages        = {21--22},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2527269.2527278},
  doi          = {10.1145/2527269.2527278},
  timestamp    = {Tue, 06 Nov 2018 16:57:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ChapmanJ11,
  author       = {Roderick Chapman and
                  Trevor Jennings},
  editor       = {Alexander B. Romanovsky and
                  Tullio Vardanega},
  title        = {OOT, {DO-178C} and {SPARK}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
                  International Conference on Reliable Software Technologies, Edinburgh,
                  UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6652},
  pages        = {206--210},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21338-0\_18},
  doi          = {10.1007/978-3-642-21338-0\_18},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ChapmanJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Jennings09,
  author       = {Trevor Jennings},
  editor       = {Greg Gicca and
                  Jeff Boleng},
  title        = {{SPARK:} the libre language and toolset for high-assurance software
                  engineering},
  booktitle    = {Proceedings of the 2009 Annual {ACM} SIGAda International Conference
                  on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1647420.1647426},
  doi          = {10.1145/1647420.1647426},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Jennings09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}