publications:
- title: "Proceedings of the Fourth York Doctoral Symposium on Computer Science (YDS 2011)"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  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"
  kind: "techreport"
  key: "Poskitt11a"
- title: "Verifying Monadic Second-Order Properties of Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Detlef Plump"
    link: "http://www-users.cs.york.ac.uk/~det/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-09108-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-09108-2_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/PoskittP14"
  researchr: "https://researchr.org/publication/PoskittP14"
  cites: 0
  citedby: 0
  pages: "33-48"
  booktitle: "gg"
  kind: "inproceedings"
  key: "PoskittP14"
- title: "Towards Rigorously Faking Bidirectional Model Transformations"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Mike Dodds"
    link: "http://www-users.cs.york.ac.uk/~miked/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Arend Rensink"
    link: "http://wwwhome.cs.utwente.nl/~rensink/"
  year: "2014"
  doi: "http://ceur-ws.org/Vol-1277/8.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-1277/8.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/PoskittDPR14"
  researchr: "https://researchr.org/publication/PoskittDPR14"
  cites: 0
  citedby: 0
  pages: "70-75"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "PoskittDPR14"
- title: "Hoare Logic for Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Detlef Plump"
    link: "http://www-users.cs.york.ac.uk/~det/"
  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)"
  kind: "inproceedings"
  key: "Poskitt-Plump10b"
- title: "Hoare-Style Verification of Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Detlef Plump"
    link: "http://www-users.cs.york.ac.uk/~det/"
  year: "2012"
  doi: "http://dx.doi.org/10.3233/FI-2012-708"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2012-708"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/PoskittP12"
  researchr: "https://researchr.org/publication/PoskittP12"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "118"
  number: "1-2"
  pages: "135-175"
  kind: "article"
  key: "PoskittP12"
- title: "A Hoare Calculus for Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Detlef Plump"
    link: "http://www-users.cs.york.ac.uk/~det/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15928-2_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15928-2_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/PoskittP10"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/PoskittP10"
  cites: 0
  citedby: 0
  pages: "139-154"
  booktitle: "gg"
  kind: "inproceedings"
  key: "PoskittP10"
- title: "Verification of graph programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  year: "2013"
  doi: "http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581766"
  links:
    doi: "http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581766"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/ethos/Poskitt13"
  researchr: "https://researchr.org/publication/ethos-1238"
  cites: 0
  citedby: 0
  school: "University of York, UK"
  kind: "phdthesis"
  key: "ethos-1238"
- title: "The AutoProof Verifier: Usability by Non-Experts and on Standard Code"
  author:
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Julian Tschannen"
    link: "http://jt.x73.ch/"
  year: "2015"
  doi: "http://dx.doi.org/10.4204/EPTCS.187.4"
  links:
    doi: "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)"
  kind: "inproceedings"
  key: "Furia-PT15a"
- title: "SafeGPU: Contract- and library-based GPGPU for object-oriented languages"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Sebastian Nanz"
    link: "http://se.inf.ethz.ch/people/nanz/"
  year: "2017"
  doi: "http://dx.doi.org/10.1016/j.cl.2016.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2016.08.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/KolesnichenkoPN17"
  researchr: "https://researchr.org/publication/KolesnichenkoPN17"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "48"
  pages: "68-88"
  kind: "article"
  key: "KolesnichenkoPN17"
- title: "Verifying Total Correctness of Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Detlef Plump"
    link: "http://www-users.cs.york.ac.uk/~det/"
  year: "2013"
  doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/827"
  links:
    doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/827"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/PoskittP12"
  researchr: "https://researchr.org/publication/PoskittP12-0"
  cites: 0
  citedby: 0
  journal: "eceasst"
  volume: "61"
  kind: "article"
  key: "PoskittP12-0"
- title: "Verification of Graph Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33654-6_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33654-6_30"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/Poskitt12"
  researchr: "https://researchr.org/publication/Poskitt12"
  cites: 0
  citedby: 0
  pages: "420-422"
  booktitle: "gg"
  kind: "inproceedings"
  key: "Poskitt12"
- title: "Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation"
  author:
  - name: "Yuqi Chen"
    link: "https://researchr.org/alias/yuqi-chen"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Jun Sun 0001"
    link: "https://researchr.org/alias/jun-sun-0001"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-48989-6_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-48989-6_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/ChenP016"
  researchr: "https://researchr.org/publication/ChenP016"
  cites: 0
  citedby: 0
  pages: "155-163"
  booktitle: "FM"
  kind: "inproceedings"
  key: "ChenP016"
- title: "Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Claudio Corrodi"
    link: "http://se.inf.ethz.ch/student_projects/claudio_corrodi/"
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  year: "2015"
  doi: "http://dx.doi.org/10.4204/EPTCS.181.3"
  links:
    doi: "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)"
  kind: "inproceedings"
  key: "Heussner-PCM15a"
- title: "A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs"
  author:
  - name: "Claudio Corrodi"
    link: "https://researchr.org/alias/claudio-corrodi"
  - name: "Alexander Heußner"
    link: "https://researchr.org/alias/alexander-heu%C3%9Fner"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-662-49665-7_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-49665-7_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/CorrodiHP16"
  researchr: "https://researchr.org/publication/CorrodiHP16"
  cites: 0
  citedby: 0
  pages: "31-48"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "CorrodiHP16"
- title: "An Interference-Free Programming Model for Network Objects"
  author:
  - name: "Mischael Schill"
    link: "https://researchr.org/alias/mischael-schill"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-39519-7_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-39519-7_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coordination/SchillPM16"
  researchr: "https://researchr.org/publication/SchillPM16"
  cites: 0
  citedby: 0
  pages: "227-244"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "SchillPM16"
- title: "Contract-based general-purpose GPU programming"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Sebastian Nanz"
    link: "http://se.inf.ethz.ch/people/nanz/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2814204.2814216"
  links:
    doi: "http://doi.acm.org/10.1145/2814204.2814216"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/KolesnichenkoPN15"
  researchr: "https://researchr.org/publication/KolesnichenkoPN15"
  cites: 0
  citedby: 0
  pages: "75-84"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "KolesnichenkoPN15"
- title: "Applying Search in an Automatic Contract-Based Testing Tool"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/KolesnichenkoPM13"
  researchr: "https://researchr.org/publication/KolesnichenkoPM13"
  cites: 0
  citedby: 0
  pages: "318-323"
  booktitle: "ssbse"
  kind: "inproceedings"
  key: "KolesnichenkoPM13"
- title: "Using Contracts to Guide the Search-Based Verification of Concurrent Programs"
  author:
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Simon M. Poulding"
    link: "http://www.simonpoulding.net/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/PoskittP13"
  researchr: "https://researchr.org/publication/PoskittP13"
  cites: 0
  citedby: 0
  pages: "263-268"
  booktitle: "ssbse"
  kind: "inproceedings"
  key: "PoskittP13"