ResearcherID Thomson Reuters  

Poskitt, Christopher M
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: S-1002-2016
Other Names: Poskitt, Christopher M.; Poskitt, C. M.; Poskitt, Chris
URL: http://www.researcherid.com/rid/S-1002-2016
Subject: Computer Science
Keywords: software verification; software engineering; graph transformation; concurrency; object-oriented programming
ORCID: http://orcid.org/0000-0002-9376-2471
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
Past Institutions: University of York; ETH Zurich
Description:
My URLs: http://chrisposkitt.com
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
 Author(s): Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz
 Source: Computer Languages, Systems and Structures Volume: 48 Pages: 68-88 Published: 2017
 Times Cited: 0
 DOI: 10.1016/j.cl.2016.08.002
added
10-Dec-16
2.  Title: A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
 Author(s): Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt
 Conference: 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016) Volume: 9633 Pages: 31-48 Year: 2016
 DOI: 10.1007/978-3-662-49665-7_3
added
10-Dec-16
3.  Title: An Interference-Free Programming Model for Network Objects
 Author(s): Mischael Schill; Christopher M. Poskitt; Bertrand Meyer
 Conference: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2016) Volume: 9686 Pages: 227-244 Year: 2016
 Times Cited: 1
 DOI: 10.1007/978-3-319-39519-7_14
added
10-Dec-16
4.  Title: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
 Author(s): Yuqi Chen; Christopher M. Poskitt; Jun Sun
 Conference: 21st International Symposium on Formal Methods (FM 2016) Volume: 9995 Pages: 155-163 Year: 2016
 Times Cited: 0
 DOI: 10.1007/978-3-319-48989-6_10
added
10-Dec-16
5.  Title: Contract-Based General-Purpose GPU Programming
 Author(s): Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz; et al.
 Conference: 14th International Conference on Generative Programming: Concepts and Experiences (GPCE 2015) Pages: 75-84 Year: 2015
 Times Cited: 0
 DOI: 10.1145/2814204.2814216
added
10-Dec-16
6.  Title: The AutoProof Verifier: Usability by Non-Experts and on Standard Code
 Author(s): Carlo A. Furia; Christopher M. Poskitt; Julian Tschannen
 Conference: 2nd International Workshop on Formal Integrated Development Environment (F-IDE 2015) Volume: 187 Pages: 42-55 Year: 2015
 Times Cited: 1
 DOI: 10.4204/EPTCS.187.4
added
10-Dec-16
7.  Title: Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
 Author(s): Alexander Heußner; Christopher M. Poskitt; Claudio Corrodi; et al.
 Conference: 1st Graphs as Models (GaM 2015) Volume: 181 Pages: 32-47 Year: 2015
 Times Cited: 0
 DOI: 10.4204/EPTCS.181.3
added
10-Dec-16
8.  Title: Towards Rigorously Faking Bidirectional Model Transformations
 Author(s): Christopher M. Poskitt; Mike Dodds; Richard F. Paige; et al.
 Conference: 3rd Workshop on the Analysis of Model Transformations (AMT 2014) Volume: 1277 Pages: 70-75 Year: 2014
 Author-provided URL : http://ceur-ws.org/Vol-1277/8.pdf
added
10-Dec-16
9.  Title: Verifying Monadic Second-Order Properties of Graph Programs
 Author(s): Christopher M. Poskitt; Detlef Plump
 Conference: 7th International Conference on Graph Transformation (ICGT 2014) Volume: 8571 Pages: 33-48 Year: 2014
 Times Cited: 4
 DOI: 10.1007/978-3-319-09108-2_3
added
10-Dec-16
10.  Title: Applying Search in an Automatic Contract-Based Testing Tool
 Author(s): Alexey Kolesnichenko; Christopher M. Poskitt; Bertrand Meyer
 Conference: 5th International Symposium on Search-Based Software Engineering (SSBSE 2013) Volume: 8084 Pages: 318-323 Year: 2013
 DOI: 10.1007/978-3-642-39742-4_31
added
10-Dec-16
publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: