ResearcherID.com
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: