A Hoare Calculus for Graph Programs. - Christopher M. Poskitt; Detlef Plump (ICGT, 2010)

Verification of Graph Programs. - Christopher M. Poskitt (ICGT, 2012)

Hoare-Style Verification of Graph Programs. - Christopher M. Poskitt; Detlef Plump (Fundam. Informaticae, 2012)

Applying Search in an Automatic Contract-Based Testing Tool. - Alexey Kolesnichenko; Christopher M. Poskitt; Bertrand Meyer 001 (SSBSE, 2013)

Using Contracts to Guide the Search-Based Verification of Concurrent Programs. - Christopher M. Poskitt; Simon M. Poulding (SSBSE, 2013)

Verifying Total Correctness of Graph Programs. - Christopher M. Poskitt; Detlef Plump (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Verification of graph programs. - Christopher M. Poskitt (2013)

Verifying Monadic Second-Order Properties of Graph Programs. - Christopher M. Poskitt; Detlef Plump (ICGT, 2014)

Towards Rigorously Faking Bidirectional Model Transformations. - Christopher M. Poskitt; Mike Dodds; Richard F. Paige; Arend Rensink (AMT@MoDELS, 2014)

Contract-based general-purpose GPU programming. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz; Bertrand Meyer 001 (GPCE, 2015)

The AutoProof Verifier: Usability by Non-Experts and on Standard Code. - Carlo A. Furia; Christopher M. Poskitt; Julian Tschannen (F-IDE, 2015)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. - Alexander Heußner; Christopher M. Poskitt; Claudio Corrodi; Benjamin Morandi (GaM, 2015)

An Interference-Free Programming Model for Network Objects. - Mischael Schill; Christopher M. Poskitt; Bertrand Meyer 001 (COORDINATION, 2016)

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (FASE, 2016)

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (FM, 2016)

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. - Jun Inoue 001; Yoriyuki Yamagata; Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ICDM Workshops, 2017)

SafeGPU: Contract- and library-based GPGPU for object-oriented languages. - Alexey Kolesnichenko; Christopher M. Poskitt; Sebastian Nanz (Comput. Lang. Syst. Struct., 2017)

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (IEEE Symposium on Security and Privacy, 2018)

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (Formal Aspects Comput., 2018)

Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001; Sridhar Adepu; Fan Zhang 010 (ASE, 2019)

Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. - Cheah Huei Yoong; Venkata Reddy Palleti; Arlindo Silva; Christopher M. Poskitt (CPSS@AsiaCCS, 2020)

Active fuzzing for testing and securing cyber-physical systems. - Yuqi Chen 001; Bohan Xuan; Christopher M. Poskitt; Jun Sun 001; Fan Zhang 010 (ISSTA, 2020)

Securing Bring-Your-Own-Device (BYOD) Programming Exams. - Oka Kurniawan; Norman Tiong Seng Lee; Christopher M. Poskitt (SIGCSE, 2020)

Microservices Orchestration vs. Choreography: A Decision Framework. - Alan Megargel; Christopher M. Poskitt; Venky Shankararaman (EDOC, 2021)

Incorrectness Logic for Graph Programs. - Christopher M. Poskitt (ICGT, 2021)

Code integrity attestation for PLCs using black box neural network predictions. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ESEC/SIGSOFT FSE, 2021)

Deriving invariant checkers for critical infrastructure using axiomatic design principles. - Cheah Huei Yoong; Venkata Reddy Palleti; Rajib Ranjan Maiti; Arlindo Silva; Christopher M. Poskitt (Cybersecur., 2021)

Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. - Yifan Jia 002; Jingyi Wang 004; Christopher M. Poskitt; Sudipta Chattopadhyay 001; Jun Sun 001; Yuqi Chen 001 (Int. J. Crit. Infrastructure Prot., 2021)

Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. - Oka Kurniawan; Cyrille Jégourel; Norman Tiong Seng Lee; Matthieu De Mari; Christopher M. Poskitt (HICSS, 2022)

Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. - Christopher M. Poskitt; Kyong Jin Shim; Yi Meng Lau; Hong Seng Ong (HICSS, 2022)

XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. - Lwin Khin Shar; Christopher M. Poskitt; Kyong Jin Shim; Li Ying Leonard Wong (ITiCSE (1), 2022)

LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001; Yuqi Chen 001; Zijiang Yang 006 (ASE, 2022)

K-ST: A Formal Executable Semantics of PLC Structured Text Language. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (CoRR, 2022)

Physical Adversarial Attack on a Robotic Arm. - Yifan Jia 002; Christopher M. Poskitt; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2022)

Finding Causally Different Tests for an Industrial Control System. - Christopher M. Poskitt; Yuqi Chen 001; Jun Sun 001; Yu Jiang 001 (ICSE, 2023)

How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? - Oka Kurniawan; Christopher M. Poskitt; Ismam Al Hoque; Norman Tiong Seng Lee; Cyrille Jégourel; Nachamma Sockalingam (TALE, 2023)

How Generalizable are Deepfake Detectors? An Empirical Study. - Boquan Li 002; Jun Sun 001; Christopher M. Poskitt (CoRR, 2023)

Monadic second-order incorrectness logic for GP 2. - Christopher M. Poskitt; Detlef Plump (J. Log. Algebraic Methods Program., 2023)

Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems. - Rajib Ranjan Maiti; Cheah Huei Yoong; Venkata Reddy Palleti; Arlindo Silva; Christopher M. Poskitt (IEEE Trans. Dependable Secur. Comput., 2023)

Specification-Based Autonomous Driving System Testing. - Yuan Zhou 005; Yang Sun 008; Yun Tang 003; Yuqi Chen 001; Jun Sun 001; Christopher M. Poskitt; Yang Liu 003; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (IEEE Trans. Software Eng., 2023)

Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. - Fan Zhang 010; Qianmei Wu; Bohan Xuan; Yuqi Chen 001; Wei Lin; Christopher M. Poskitt; Jun Sun 001; Binbin Chen 001 (IEEE Trans. Software Eng., 2023)

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. - Yifan Jia 002; Christopher M. Poskitt; Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2023)

Towards Automated Slide Augmentation to Discover Credible and Relevant Links. - Dilan Dinushka; Christopher M. Poskitt; Kwan Chin Koh; Heng Ngee Mok; Hady W. Lauw (AIED Companion (2), 2024)

REDriver: Runtime Enforcement for Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Xiaodong Zhang 014; Jun Sun 001 (ICSE, 2024)

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. - Huijia Sun; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Yuqi Chen 001 (ICSE, 2024)

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. - Ivan Tan; Christopher M. Poskitt (SIGCSE (1), 2024)

REDriver: Runtime Enforcement for Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Xiaodong Zhang 036; Jun Sun 001 (CoRR, 2024)

Security Modelling for Cyber-Physical Systems: A Systematic Literature Review. - Shaofei Huang 002; Christopher M. Poskitt; Lwin Khin Shar (CoRR, 2024)

μDrive: User-Controlled Autonomous Driving. - Kun Wang 023; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Jingyi Wang 004; Peng Cheng 001; Jiming Chen 001 (CoRR, 2024)

Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001 (CoRR, 2024)

ACTISM: Threat-informed Dynamic Security Modelling for Automotive Systems. - Shaofei Huang 002; Christopher M. Poskitt; Lwin Khin Shar (CoRR, 2024)

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots. - Christoph Treude; Christopher M. Poskitt (BotSE@ICSE, 2025)

FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. - Yang Sun 008; Christopher M. Poskitt; Kun Wang 023; Jun Sun 001 (ICSE, 2025)

Simulated Interactive Debugging. - Yannic Noller; Erick Chandra 002; Srinidhi HC; Kenny T. W. Choo; Cyrille Jégourel; Oka Kurniawan; Christopher M. Poskitt (CoRR, 2025)

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents. - Haoyu Wang 017; Christopher M. Poskitt; Jun Sun 001 (CoRR, 2025)

Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach. - Ivan Tan; Wei Minn; Christopher M. Poskitt; Lwin Khin Shar; Lingxiao Jiang (CoRR, 2025)