@techreport{Poskitt11a,
  title = {Proceedings of the Fourth York Doctoral Symposium on Computer Science (YDS 2011)},
  author = {Christopher M. Poskitt},
  year = {2011},
  researchr = {https://researchr.org/publication/Poskitt11a},
  cites = {0},
  citedby = {0},
  institution = {Department of Computer Science, The University of York},
  number = {YCS-2011-468},
}

@inproceedings{PoskittP14,
  title = {Verifying Monadic Second-Order Properties of Graph Programs},
  author = {Christopher M. Poskitt and Detlef Plump},
  year = {2014},
  doi = {10.1007/978-3-319-09108-2_3},
  url = {http://dx.doi.org/10.1007/978-3-319-09108-2_3},
  researchr = {https://researchr.org/publication/PoskittP14},
  cites = {0},
  citedby = {0},
  pages = {33-48},
  booktitle = {gg},
}

@inproceedings{PoskittDPR14,
  title = {Towards Rigorously Faking Bidirectional Model Transformations},
  author = {Christopher M. Poskitt and Mike Dodds and Richard F. Paige and Arend Rensink},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1277/8.pdf},
  researchr = {https://researchr.org/publication/PoskittDPR14},
  cites = {0},
  citedby = {0},
  pages = {70-75},
  booktitle = {MoDELS},
}

@inproceedings{Poskitt-Plump10b,
  title = {Hoare Logic for Graph Programs},
  author = {Christopher M. Poskitt and Detlef Plump},
  year = {2010},
  tags = {graph-rewriting, logic programming, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Poskitt-Plump10b},
  cites = {0},
  citedby = {0},
  booktitle = {Proc. THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010)},
}

@article{PoskittP12,
  title = {Hoare-Style Verification of Graph Programs},
  author = {Christopher M. Poskitt and Detlef Plump},
  year = {2012},
  doi = {10.3233/FI-2012-708},
  url = {http://dx.doi.org/10.3233/FI-2012-708},
  researchr = {https://researchr.org/publication/PoskittP12},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {118},
  number = {1-2},
  pages = {135-175},
}

@inproceedings{PoskittP10,
  title = {A Hoare Calculus for Graph Programs},
  author = {Christopher M. Poskitt and Detlef Plump},
  year = {2010},
  doi = {10.1007/978-3-642-15928-2_10},
  url = {http://dx.doi.org/10.1007/978-3-642-15928-2_10},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/PoskittP10},
  cites = {0},
  citedby = {0},
  pages = {139-154},
  booktitle = {gg},
}

@phdthesis{ethos-1238,
  title = {Verification of graph programs},
  author = {Christopher M. Poskitt},
  year = {2013},
  url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581766},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-1238},
  cites = {0},
  citedby = {0},
  school = {University of York, UK},
}

@inproceedings{Furia-PT15a,
  title = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code},
  author = {Carlo A. Furia and Christopher M. Poskitt and Julian Tschannen},
  year = {2015},
  doi = {10.4204/EPTCS.187.4},
  url = {http://dx.doi.org/10.4204/EPTCS.187.4},
  researchr = {https://researchr.org/publication/Furia-PT15a},
  cites = {0},
  citedby = {0},
  pages = {42-55},
  booktitle = {Proc. Formal Integrated Development Environment (F-IDE 2015)},
}

@article{KolesnichenkoPN17,
  title = {SafeGPU: Contract- and library-based GPGPU for object-oriented languages},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz},
  year = {2017},
  doi = {10.1016/j.cl.2016.08.002},
  url = {http://dx.doi.org/10.1016/j.cl.2016.08.002},
  researchr = {https://researchr.org/publication/KolesnichenkoPN17},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {48},
  pages = {68-88},
}

@article{PoskittP12-0,
  title = {Verifying Total Correctness of Graph Programs},
  author = {Christopher M. Poskitt and Detlef Plump},
  year = {2013},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/827},
  researchr = {https://researchr.org/publication/PoskittP12-0},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {61},
}

@inproceedings{Poskitt12,
  title = {Verification of Graph Programs},
  author = {Christopher M. Poskitt},
  year = {2012},
  doi = {10.1007/978-3-642-33654-6_30},
  url = {http://dx.doi.org/10.1007/978-3-642-33654-6_30},
  researchr = {https://researchr.org/publication/Poskitt12},
  cites = {0},
  citedby = {0},
  pages = {420-422},
  booktitle = {gg},
}

@inproceedings{ChenP016,
  title = {Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation},
  author = {Yuqi Chen and Christopher M. Poskitt and Jun Sun 0001},
  year = {2016},
  doi = {10.1007/978-3-319-48989-6_10},
  url = {http://dx.doi.org/10.1007/978-3-319-48989-6_10},
  researchr = {https://researchr.org/publication/ChenP016},
  cites = {0},
  citedby = {0},
  pages = {155-163},
  booktitle = {FM},
}

@inproceedings{Heussner-PCM15a,
  title = {Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model},
  author = {Alexander Heußner and Christopher M. Poskitt and Claudio Corrodi and Benjamin Morandi},
  year = {2015},
  doi = {10.4204/EPTCS.181.3},
  url = {http://dx.doi.org/10.4204/EPTCS.181.3},
  researchr = {https://researchr.org/publication/Heussner-PCM15a},
  cites = {0},
  citedby = {0},
  pages = {32-47},
  booktitle = {Proc. Graphs as Models (GaM 2015)},
}

@inproceedings{CorrodiHP16,
  title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  author = {Claudio Corrodi and Alexander Heußner and Christopher M. Poskitt},
  year = {2016},
  doi = {10.1007/978-3-662-49665-7_3},
  url = {http://dx.doi.org/10.1007/978-3-662-49665-7_3},
  researchr = {https://researchr.org/publication/CorrodiHP16},
  cites = {0},
  citedby = {0},
  pages = {31-48},
  booktitle = {FASE},
}

@inproceedings{SchillPM16,
  title = {An Interference-Free Programming Model for Network Objects},
  author = {Mischael Schill and Christopher M. Poskitt and Bertrand Meyer},
  year = {2016},
  doi = {10.1007/978-3-319-39519-7_14},
  url = {http://dx.doi.org/10.1007/978-3-319-39519-7_14},
  researchr = {https://researchr.org/publication/SchillPM16},
  cites = {0},
  citedby = {0},
  pages = {227-244},
  booktitle = {coordination},
}

@inproceedings{KolesnichenkoPN15,
  title = {Contract-based general-purpose GPU programming},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz and Bertrand Meyer},
  year = {2015},
  doi = {10.1145/2814204.2814216},
  url = {http://doi.acm.org/10.1145/2814204.2814216},
  researchr = {https://researchr.org/publication/KolesnichenkoPN15},
  cites = {0},
  citedby = {0},
  pages = {75-84},
  booktitle = {GPCE},
}

@inproceedings{KolesnichenkoPM13,
  title = {Applying Search in an Automatic Contract-Based Testing Tool},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Bertrand Meyer},
  year = {2013},
  doi = {10.1007/978-3-642-39742-4_31},
  url = {http://dx.doi.org/10.1007/978-3-642-39742-4_31},
  researchr = {https://researchr.org/publication/KolesnichenkoPM13},
  cites = {0},
  citedby = {0},
  pages = {318-323},
  booktitle = {ssbse},
}

@inproceedings{PoskittP13,
  title = {Using Contracts to Guide the Search-Based Verification of Concurrent Programs},
  author = {Christopher M. Poskitt and Simon M. Poulding},
  year = {2013},
  doi = {10.1007/978-3-642-39742-4_22},
  url = {http://dx.doi.org/10.1007/978-3-642-39742-4_22},
  researchr = {https://researchr.org/publication/PoskittP13},
  cites = {0},
  citedby = {0},
  pages = {263-268},
  booktitle = {ssbse},
}