@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 = {Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings},
  editor = {Holger Giese and Barbara König},
  volume = {8571},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-09107-5},
}

@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 = {Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014},
  editor = {Jürgen Dingel and Juan de Lara and Levi Lucio and Hans Vangheluwe},
  volume = {1277},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Fundamenta Informaticae},
  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 = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
  editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr},
  volume = {6372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15927-5},
}

@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)},
  volume = {187},
  series = {Electronic Proceedings in Theoretical Computer Science},
}

@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 = {Computer Languages, Systems \& Structures},
  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 = {Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings},
  editor = {Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg},
  volume = {7562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33653-9},
}

@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 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
  editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou},
  volume = {9995},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-48988-9},
}

@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)},
  volume = {181},
  series = {Electronic Proceedings in Theoretical Computer Science},
}

@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 = {Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  editor = {Perdita Stevens and Andrzej Wasowski},
  volume = {9633},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-49664-0},
}

@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 Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  editor = {Alberto Lluch-Lafuente and José Proença},
  volume = {9686},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-39518-0},
}

@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 = {Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015},
  editor = {Christian Kästner and Aniruddha S. Gokhale},
  publisher = {ACM},
  isbn = {978-1-4503-3687-1},
}

@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 = {Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
  editor = {Günther Ruhe and Yuanyuan Zhang},
  volume = {8084},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39741-7},
}

@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 = {Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
  editor = {Günther Ruhe and Yuanyuan Zhang},
  volume = {8084},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39741-7},
}