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: "Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings"
  editor:
  - name: "Holger Giese"
    link: "https://researchr.org/alias/holger-giese"
  - name: "Barbara König"
    link: "https://researchr.org/alias/barbara-k%C3%B6nig"
  volume: "8571"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-09107-5"
  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: "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:
  - name: "Jürgen Dingel"
    link: "https://researchr.org/alias/j%C3%BCrgen-dingel"
  - name: "Juan de Lara"
    link: "https://researchr.org/alias/juan-de-lara"
  - name: "Levi Lucio"
    link: "https://researchr.org/alias/levi-lucio"
  - name: "Hans Vangheluwe"
    link: "http://msdl.cs.mcgill.ca/people/hv"
  volume: "1277"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  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: "Fundamenta Informaticae"
  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: "Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Arend Rensink"
    link: "https://researchr.org/alias/arend-rensink"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Andy Schürr"
    link: "https://researchr.org/alias/andy-sch%C3%BCrr"
  volume: "6372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15927-5"
  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"
  note: "British Library, EThOS"
  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)"
  volume: "187"
  series: "Electronic Proceedings in Theoretical Computer Science"
  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: "Computer Languages, Systems \\& Structures"
  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: "Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "7562"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33653-9"
  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 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings"
  editor:
  - name: "John S. Fitzgerald"
    link: "https://researchr.org/alias/john-s.-fitzgerald"
  - name: "Constance L. Heitmeyer"
    link: "https://researchr.org/alias/constance-l.-heitmeyer"
  - name: "Stefania Gnesi"
    link: "https://researchr.org/alias/stefania-gnesi"
  - name: "Anna Philippou"
    link: "https://researchr.org/alias/anna-philippou"
  volume: "9995"
  series: "Lecture Notes in Computer Science"
  isbn: "978-3-319-48988-9"
  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)"
  volume: "181"
  series: "Electronic Proceedings in Theoretical Computer Science"
  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: "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:
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Andrzej Wasowski"
    link: "https://researchr.org/alias/andrzej-wasowski"
  volume: "9633"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-49664-0"
  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 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:
  - name: "Alberto Lluch-Lafuente"
    link: "https://researchr.org/alias/alberto-lluch-lafuente"
  - name: "José Proença"
    link: "https://researchr.org/alias/jos%C3%A9-proen%C3%A7a"
  volume: "9686"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-39518-0"
  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: "Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015"
  editor:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Aniruddha S. Gokhale"
    link: "https://researchr.org/alias/aniruddha-s.-gokhale"
  publisher: "ACM"
  isbn: "978-1-4503-3687-1"
  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: "Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings"
  editor:
  - name: "Günther Ruhe"
    link: "https://researchr.org/alias/g%C3%BCnther-ruhe"
  - name: "Yuanyuan Zhang"
    link: "https://researchr.org/alias/yuanyuan-zhang"
  volume: "8084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39741-7"
  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: "Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings"
  editor:
  - name: "Günther Ruhe"
    link: "https://researchr.org/alias/g%C3%BCnther-ruhe"
  - name: "Yuanyuan Zhang"
    link: "https://researchr.org/alias/yuanyuan-zhang"
  volume: "8084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39741-7"
  kind: "inproceedings"
  key: "PoskittP13"