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: A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
 Author(s): Corrodi, Claudio; Heußner, Alexander; Poskitt, Christopher M.
 Source: Formal Aspects of Computing Published: 2017
 DOI: 10.1007/s00165-017-0443-1
added
11-Oct-17
2.  Title: Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
 Author(s): Inoue, Jun; Yamagata, Yoriyuki; Chen, Yuqi; et al.
 Conference: IEEE International Conference on Data Mining Workshops: Data Mining for Cyberphysical and Industrial Systems (DMCIS 2017) Year: 2017
added
15-Sep-17
3.  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
4.  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
 Times Cited: 0
 DOI: 10.1007/978-3-662-49665-7_3
added
10-Dec-16
5.  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
6.  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
7.  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
8.  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: 2
 DOI: 10.4204/EPTCS.187.4
added
10-Dec-16
9.  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: 2
 DOI: 10.4204/EPTCS.181.3
added
10-Dec-16
10.  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
publication(s)  
First Page Previous Page Page   of  2  Go Next Page Last Page
  Sort by:    Results per page: