Research

• From Incomplete Architecture to Quantified Risk: Multimodal LLM-Driven Security Assessment for Cyber-Physical Systems, arXiv:2604.05674
• SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants , arXiv:2603.28807
• μDrive: User-Controlled Autonomous Driving, arXiv:2407.13201

AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
H. Wang, C.M. Poskitt, and J. Sun
In Proc. IEEE/ACM International Conference on Software Engineering (ICSE'26), pages 2938-2950. ACM, 2026
▪ BibTeX ▪ arXiv ▪ ACM

Causality-Driven Test Case Minimisation for Cyber-Physical Systems
M. Foster, C.M. Poskitt, N.R. Latimer, N. Walkinshaw, R. Somers, and R.M. Hierons
ACM Transactions on Software Engineering and Methodology, 2026
▪ BibTeX ▪ ACM ▪ Advance online

ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction
H. Wang, C.M. Poskitt, J. Wei, and J. Sun
In Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE'26). ACM, 2026
▪ BibTeX ▪ arXiv ▪ To appear

Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements
Y. Sun, H. Wang, C.M. Poskitt, and J. Sun
In Proc. IEEE International Conference on Software Testing, Verification and Validation (ICST'26), pages 40-51. IEEE, 2026
▪ BibTeX ▪ arXiv ▪ IEEE

Security Modelling for Cyber-Physical Systems: A Systematic Literature Review
S. Huang, C.M. Poskitt, and L.K. Shar
ACM Transactions on Cyber-Physical Systems 10(2): Article 20, 1–29, 2026
▪ BibTeX ▪ arXiv ▪ ACM

Rethinking Artifact Evaluation for Software Engineering in the Age of Generative AI
C. Treude, C.M. Poskitt, and R. Hoda
In Proc. IEEE/ACM International Conference on Software Engineering: Future of Software Engineering (ICSE-FoSE'26). ACM, 2026
▪ BibTeX ▪ arXiv ▪ To appear

Bayesian and Multi-Objective Decision Support for Incident Mitigation in Cyber-Physical Systems
S. Huang, C.M. Poskitt, and L.K. Shar
IEEE Access, 2026
BibTeX ▪ arXiv ▪ To appear

Anomaly Management in Unmanned Aerial Vehicles: A Systematic Literature Review
I. Tan, C.M. Poskitt, L. Jiang, and L.K. Shar
IEEE Access, vol. 14, pp. 117991–118010, 2026
▪ BibTeX ▪ IEEE

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
Y. Sun, C.M. Poskitt, K. Wang, and J. Sun
In Proc. IEEE/ACM International Conference on Software Engineering (ICSE'25), pages 1921–1933. IEEE, 2025
▪ BibTeX ▪ arXiv ▪ IEEE

Developing a Strong CPS Defender: An Evolutionary Approach
Q. Hu, C.M. Poskitt, J. Sun, and Y. Chen
In Proc. 28th International Symposium on Research in Attacks, Intrusions and Defenses (RAID'25), pages 425-439. IEEE, 2025
▪ BibTeX ▪ arXiv ▪ IEEE

Simulated Interactive Debugging
Y. Noller, E. Chandra, S. Chandrashekar, K. Choo, C. Jegourel, O. Kurniawan, and C.M. Poskitt
In Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE'25): New Ideas and Emerging Results, pages 3896-3901. IEEE, 2025
▪ BibTeX ▪ arXiv ▪ IEEE

Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
O. Kurniawan, E. Chandra, C.M. Poskitt, Y. Noller, K.T.W. Choo, and C. Jegourel
In Proc. Koli Calling International Conference on Computing Education Research (Koli Calling'25), Article No. 41, pages 1-7. ACM, 2025
▪ BibTeX ▪ arXiv ▪ ACM

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots
C. Treude and C.M. Poskitt
In Proc. International Workshop on Bots in Software Engineering (BotSE'25), pages 18–22. IEEE, 2025
▪ BibTeX ▪ arXiv ▪ IEEE

Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised Learning Approach
I. Tan, W. Minn, C.M. Poskitt, L.K. Shar, and L. Jiang
In Proc. International Conference on Engineering of Complex Computer Systems (ICECCS'25), volume 15746 of LNCS, pages 3–23. Springer, 2025
▪ BibTeX ▪ arXiv ▪ Springer

Preface, Special Issue for the 16th International Conference on Graph Transformation (ICGT 2023)
M. Fernández and C.M. Poskitt (eds.)
Logical Methods in Computer Science, 2025
▪ BibTeX ▪ LMCS

Investigating Roemer's Law: Would Increased Hospital Capacity Drive Higher Utilisation?
A. Kumar, S.M. Cheah, C.M. Poskitt, and S. Lam
Teaching Case. SMU Centre for Management Practice, 2025

REDriver: Runtime Enforcement for Autonomous Vehicles
Y. Sun, C.M. Poskitt, Z. Zhang, and J. Sun
In Proc. IEEE/ACM International Conference on Software Engineering (ICSE'24). ACM, 2024
▪ BibTeX ▪ arXiv ▪ ACM

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
H. Sun, C.M. Poskitt, Y. Sun, J. Sun, and Y. Chen
In Proc. IEEE/ACM International Conference on Software Engineering (ICSE'24). ACM, 2024
▪ BibTeX ▪ arXiv ▪ ACM

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
I. Tan and C.M. Poskitt
In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE'24), pages 1307–1313. ACM, 2024
▪ BibTeX ▪ arXiv ▪ ACM

Towards Automated Slide Augmentation to Discover Credible and Relevant Links
D. Dinushka, C.M. Poskitt, K.C. Koh, H.N. Mok, and H.W. Lauw
In Late Breaking Results, International Conference on Artificial Intelligence in Education (AIED'24), volume 2151 of CCIS, pages 200–208. Springer, 2024
▪ BibTeX ▪ Springer

Digital Transformation at Al Hilal Bank: From Bricks and Mortar to a Fully Functional Digital Bank
R.E. Duran, C.M. Poskitt, J. Ang, Y.M. Lau, and S.M. Cheah
Teaching Case. SMU Centre for Management Practice, 2024

Finding Causally Different Tests for an Industrial Control System
C.M. Poskitt, Y. Chen, J. Sun, and Y. Jiang
In Proc. IEEE/ACM International Conference on Software Engineering (ICSE'23), pages 2578-2590. IEEE, 2023
▪ BibTeX ▪ arXiv ▪ IEEE

Monadic Second-Order Incorrectness Logic for GP 2
C.M. Poskitt and D. Plump
Journal of Logical and Algebraic Methods in Programming 130:100825, 2023
▪ BibTeX ▪ Elsevier

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
K. Wang, J. Wang, C.M. Poskitt, X. Chen, J. Sun, and P. Cheng
IEEE Transactions on Software Engineering 49(10):4796-4813, 2023
▪ BibTeX ▪ arXiv ▪ IEEE

Specification-based Autonomous Driving System Testing
Y. Zhou, Y. Sun, Y. Tang, Y. Chen, J. Sun, C.M. Poskitt, Y. Liu, and Z. Yang
IEEE Transactions on Software Engineering 49(6):3391-3410, 2023
▪ BibTeX ▪ IEEE

Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems
R.R. Maiti, C.H. Yoong, V.R. Palleti, A. Silva, and C.M. Poskitt
IEEE Transactions on Dependable and Secure Computing 20(4):3378-3391, 2023
▪ BibTeX ▪ IEEE

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection
Y. Jia, C.M. Poskitt, P. Zhang, J. Wang, J. Sun, and S. Chattopadhyay
IEEE Robotics and Automation Letters (RA-L) 8(12):8350-8357, 2023
▪ BibTeX ▪ IEEE

Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing
F. Zhang, Q. Wu, B. Xuan, Y. Chen, W. Lin, C.M. Poskitt, J. Sun, and B. Chen
IEEE Transactions on Software Engineering 49(11):4829-4845, 2023
▪ BibTeX ▪ IEEE

How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool?
O. Kurniawan, C.M. Poskitt, I.A. Hoque, N.T.S. Lee, C. Jégourel, and N. Sockalingam
In Proc. International Conference on Teaching, Assessment, and Learning for Engineering (TALE'23). IEEE, 2023
▪ BibTeX ▪ arXiv ▪ IEEE

Proceedings of the 16th International Conference on Graph Transformation (ICGT 2023)
M. Fernández and C.M. Poskitt (eds.)
Volume 13961 of LNCS. Springer, 2023
BibTeX ▪ Springer

How Generalizable are Deepfake Detectors? An Empirical Study
B. Li, J. Sun, and C.M. Poskitt
arXiv:2308.04177, 2023
▪ BibTeX ▪ arXiv

LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Y. Sun, C.M. Poskitt, J. Sun, Y. Chen, and Z. Yang
In Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE'22). ACM, 2022
▪ BibTeX ▪ arXiv ▪ ACM

XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner
L.K. Shar, C.M. Poskitt, K.J. Shim, and L.Y.L. Wong
In Proc. ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'22), pages 463–469. ACM, 2022
▪ BibTeX ▪ arXiv ▪ ACM ▪ Nominated for best paper award

Physical Adversarial Attack on a Robotic Arm
Y. Jia, C.M. Poskitt, J. Sun, and S. Chattopadhyay
IEEE Robotics and Automation Letters (RA-L) 7(4):9334-9341, 2022
▪ BibTeX ▪ IEEE

Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom
C.M. Poskitt, K.J. Shim, Y.M. Lau, and H.S. Ong
In Proc. Conference on Software Engineering Education and Training (CSEE&T'22): Special Track of Hawaii International Conference on System Sciences (HICSS'22), pages 931–940. ScholarSpace, 2022
▪ BibTeX ▪ arXiv ▪ ScholarSpace

Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework
O. Kurniawan, C. Jégourel, N.T.S. Lee, M. De Mari, and C.M. Poskitt
In Proc. Conference on Software Engineering Education and Training (CSEE&T'22): Special Track of Hawaii International Conference on System Sciences (HICSS'22), pages 982–991. ScholarSpace, 2022
▪ BibTeX ▪ arXiv ▪ ScholarSpace

Post-Proceedings of the 13th International Workshop on Graph Computation Models (GCM 2022)
R. Heckel and C.M. Poskitt (eds.)
Volume 374 of Electronic Proceedings in Theoretical Computer Science (EPTCS), 2022
▪ BibTeX ▪ arXiv ▪ EPTCS

Proceedings of the 13th International Workshop on Graph Computation Models (GCM 2022)
R. Heckel and C.M. Poskitt (eds.)
▪ BibTeX

Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Y. Chen, C.M. Poskitt, and J. Sun
In Proc. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021), pages 32–44. ACM, 2021
▪ BibTeX ▪ arXiv ▪ ACM

Incorrectness Logic for Graph Programs
C.M. Poskitt
In Proc. International Conference on Graph Transformation (ICGT 2021), volume 12741 of LNCS, pages 81–101. Springer, 2021
▪ BibTeX ▪ arXiv ▪ Springer
Invited for submission to the Journal of Logical and Algebraic Methods in Programming

Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
Y. Jia, J. Wang, C.M. Poskitt, S. Chattopadhyay, J. Sun, and Y. Chen
International Journal of Critical Infrastructure Protection 34:100452, 2021
▪ BibTeX ▪ arXiv ▪ Elsevier

Microservices Orchestration vs. Choreography: A Decision Framework
A. Megargel, C.M. Poskitt, and V. Shankararaman
In Proc. IEEE International Enterprise Distributed Object Computing Conference (EDOC 2021), pages 134–141. IEEE, 2021
▪ BibTeX ▪ IEEE

Deriving Invariant Checkers for Critical Infrastructure Using Axiomatic Design Principles
C.H. Yoong, V.R. Palleti, R.R. Maiti, A. Silva, and C.M. Poskitt
Cybersecurity 4:6, 2021
▪ BibTeX ▪ Springer

LGB Bank: Composite Microservices in a Large Global Bank
A. Megargel and C.M. Poskitt
Teaching Case. SMU Centre for Management Practice, 2021

Active Fuzzing for Testing and Securing Cyber-Physical Systems
Y. Chen, B. Xuan, C.M. Poskitt, J. Sun, and F. Zhang
In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020), pages 14–26. ACM, 2020
▪ BibTeX ▪ arXiv ▪ ACM

Securing Bring-Your-Own-Device (BYOD) Programming Exams
O. Kurniawan, N.T.S. Lee, and C.M. Poskitt
In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE 2020), pages 880–886. ACM, 2020
▪ BibTeX ▪ arXiv ▪ ACM

Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems
C.H. Yoong, V.R. Palleti, A. Silva, and C.M. Poskitt
In Proc. ACM Cyber-Physical System Security Workshop (CPSS 2020), pages 11–22. ACM, 2020
▪ BibTeX ▪ arXiv ▪ ACM

Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
Y. Chen, C.M. Poskitt, J. Sun, S. Adepu, and F. Zhang
In Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), pages 962–973. IEEE, 2019
▪ BibTeX ▪ arXiv ▪ IEEE

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Y. Chen, C.M. Poskitt, and J. Sun
In Proc. IEEE Symposium on Security & Privacy (S&P 2018), pages 648–660. IEEE, 2018
▪ BibTeX ▪ arXiv ▪ YouTube ▪ IEEE

A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
C. Corrodi, A. Heußner, and C.M. Poskitt
Formal Aspects of Computing 30(1):163-192, 2018
▪ BibTeX ▪ arXiv ▪ Springer

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning
J. Inoue, Y. Yamagata, Y. Chen, C.M. Poskitt, and J. Sun
In Proc. IEEE International Conference on Data Mining Workshops (ICDMW 2017): Data Mining for Cyberphysical and Industrial Systems (DMCIS 2017), pages 1058–1065. IEEE, 2017
▪ Errata ▪ BibTeX ▪ arXiv ▪ IEEE

SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
A. Kolesnichenko, C.M. Poskitt, and S. Nanz
Computer Languages, Systems & Structures 48:68-88, 2017
▪ BibTeX ▪ ETH E-Collection ▪ Elsevier

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
C. Corrodi, A. Heußner, and C.M. Poskitt
In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), volume 9633 of LNCS, pages 31–48. Springer, 2016
▪ BibTeX ▪ ETH E-Collection ▪ arXiv ▪ Springer
Invited for submission to the Formal Aspects of Computing journal

An Interference-Free Programming Model for Network Objects
M. Schill, C.M. Poskitt, and B. Meyer
In Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), volume 9686 of LNCS, pages 227–244. Springer, 2016
▪ BibTeX ▪ ETH E-Collection ▪ arXiv ▪ Springer

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Y. Chen, C.M. Poskitt, and J. Sun
In Proc. International Symposium on Formal Methods (FM 2016), volume 9995 of LNCS, pages 155–163. Springer, 2016
▪ BibTeX ▪ arXiv ▪ Springer

Contract-Based General-Purpose GPU Programming
A. Kolesnichenko, C.M. Poskitt, S. Nanz, and B. Meyer
In Proc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), pages 75–84. ACM, 2015
▪ BibTeX ▪ ETH E-Collection ▪ arXiv ▪ ACM
Invited for submission to the Computer Languages, Systems and Structures journal

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
A. Heußner, C.M. Poskitt, C. Corrodi, and B. Morandi
In Proc. Graphs as Models (GaM 2015), volume 181 of Electronic Proceedings in Theoretical Computer Science, pages 32–47, 2015
▪ BibTeX ▪ ETH E-Collection ▪ EPTCS ▪ EPTCS Proceedings

The AutoProof Verifier: Usability by Non-Experts and on Standard Code
C.A. Furia, C.M. Poskitt, and J. Tschannen
In Proc. Formal Integrated Development Environment (F-IDE 2015), volume 187 of Electronic Proceedings in Theoretical Computer Science, pages 42–55, 2015
▪ BibTeX ▪ ETH E-Collection ▪ EPTCS ▪ EPTCS Proceedings

Verifying Monadic Second-Order Properties of Graph Programs
C.M. Poskitt and D. Plump
In Proc. International Conference on Graph Transformation (ICGT 2014), volume 8571 of LNCS, pages 33–48. Springer, 2014
▪ BibTeX ▪ Extended (arXiv) ▪ Springer

Towards Rigorously Faking Bidirectional Model Transformations
C.M. Poskitt, M. Dodds, R.F. Paige, and A. Rensink
In Proc. Workshop on the Analysis of Model Transformations (AMT 2014), volume 1277 of CEUR Workshop Proceedings, pages 70–75. CEUR-WS.org, 2014
▪ BibTeX ▪ ETH E-Collection ▪ Workshop Proceedings

Verification of Graph Programs
C.M. Poskitt
PhD thesis, University of York, 2013
▪ BibTeX ▪ White Rose eTheses Online

Using Contracts to Guide the Search-Based Verification of Concurrent Programs
C.M. Poskitt and S. Poulding
In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), volume 8084 of LNCS, pages 263–268. Springer, 2013
▪ BibTeX ▪ ETH E-Collection ▪ Springer

Applying Search in an Automatic Contract-Based Testing Tool
A. Kolesnichenko, C.M. Poskitt, and B. Meyer
In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), volume 8084 of LNCS, pages 318–323. Springer, 2013
▪ BibTeX ▪ ETH E-Collection ▪ Springer

Verifying Total Correctness of Graph Programs
C.M. Poskitt and D. Plump
In Selected Revised Papers, Graph Computation Models (GCM 2012). Electronic Communications of the EASST 61, 2013
▪ BibTeX ▪ ETH E-Collection ▪ ECEASST Volume

Hoare-Style Verification of Graph Programs
C.M. Poskitt and D. Plump
Fundamenta Informaticae 118(1-2):135-175, 2012
▪ Errata ▪ BibTeX ▪ IOS Press

Verification of Graph Programs (Extended Abstract)
C.M. Poskitt
In Proc. International Conference on Graph Transformation (ICGT 2012), volume 7562 of LNCS, pages 420–422. Springer, 2012
▪ BibTeX ▪ Springer

Proceedings of the Fourth York Doctoral Symposium on Computer Science (YDS 2011)
C.M. Poskitt (ed.)
Technical Report YCS-2011-468, Department of Computer Science, The University of York, 2011
▪ BibTeX

A Hoare Calculus for Graph Programs
C.M. Poskitt and D. Plump
In Proc. International Conference on Graph Transformation (ICGT 2010), volume 6372 of LNCS, pages 139–154. Springer, 2010
▪ BibTeX ▪ Springer ▪ Won K M Stott Memorial Prize (best York CS student paper, 2010)

Hoare Logic for Graph Programs
C.M. Poskitt and D. Plump
In Proc. Theory Workshop at the International Conference on Verified Software: Theories, Tools, and Experiments (VS-THEORY 2010). 2010
▪ BibTeX ▪ Workshop Proceedings