Christopher M. Poskitt

93 papers A* 8A 3B 12C 1Journal 53Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants. CoRR Haoyu Wang, Zibo Xiao, Yedi Zhang, Christopher M. Poskitt, Jun Sun
2025	J	`jnl`	AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents. CoRR Haoyu Wang, Christopher M. Poskitt, Jun Sun
2025	J	`jnl`	Bayesian and Multi-Objective Decision Support for Real-Time Cyber-Physical Incident Mitigation. CoRR Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar
2025	—	`conf`	Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots. BotSE@ICSE Christoph Treude, Christopher M. Poskitt
2025	—	`conf`	Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool. Koli Calling Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, Cyrille Jégourel
2025	J	`jnl`	Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool. CoRR Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, Cyrille Jégourel
2025	A	`conf`	Developing a Strong CPS Defender: An Evolutionary Approach. RAID Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen
2025	J	`jnl`	Developing a Strong CPS Defender: An Evolutionary Approach. CoRR Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen
2025	A*	`conf`	FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. ICSE Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
2025	J	`jnl`	FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. CoRR Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
2025	J	`jnl`	Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking. CoRR Haoyu Wang, Christopher M. Poskitt, Jun Sun, Jiali Wei
2025	B	`conf`	Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach. ICECCS Ivan Tan, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, Lingxiao Jiang
2025	J	`jnl`	Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach. CoRR Ivan Tan, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, Lingxiao Jiang
2025	A*	`conf`	Simulated Interactive Debugging. ASE Yannic Noller, Erick Chandra, Srinidhi Chandrashekar, Kenny T. W. Choo, Cyrille Jégourel, Oka Kurniawan, Christopher M. Poskitt
2025	J	`jnl`	Simulated Interactive Debugging. CoRR Yannic Noller, Erick Chandra, Srinidhi HC, Kenny T. W. Choo, Cyrille Jégourel, Oka Kurniawan, Christopher M. Poskitt
2024	A*	`conf`	ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
2024	J	`jnl`	ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
2024	J	`jnl`	ACTISM: Threat-informed Dynamic Security Modelling for Automotive Systems. CoRR Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar
2024	J	`jnl`	Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? CoRR Yang Sun, Christopher M. Poskitt, Jun Sun
2024	J	`jnl`	Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots. CoRR Christoph Treude, Christopher M. Poskitt
2024	—	`conf`	Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. SIGCSE (1) Ivan Tan, Christopher M. Poskitt
2024	J	`jnl`	Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. CoRR Ivan Tan, Christopher M. Poskitt
2024	A*	`conf`	REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
2024	J	`jnl`	REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
2024	J	`jnl`	Security Modelling for Cyber-Physical Systems: A Systematic Literature Review. CoRR Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar
2024	—	`conf`	Towards Automated Slide Augmentation to Discover Credible and Relevant Links. AIED Companion (2) Dilan Dinushka, Christopher M. Poskitt, Kwan Chin Koh, Heng Ngee Mok, Hady W. Lauw
2024	J	`jnl`	μDrive: User-Controlled Autonomous Driving. CoRR Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen
2023	J	`jnl`	Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay
2023	J	`jnl`	Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen
2023	A*	`conf`	Finding Causally Different Tests for an Industrial Control System. ICSE Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2023	J	`jnl`	Finding Causally Different Tests for an Industrial Control System. CoRR Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2023	B	`ed.`	Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings ICGT Maribel Fernández, Christopher M. Poskitt
2023	J	`jnl`	How Generalizable are Deepfake Detectors? An Empirical Study. CoRR Boquan Li, Jun Sun, Christopher M. Poskitt
2023	—	`conf`	How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? TALE Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
2023	J	`jnl`	How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? CoRR Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
2023	J	`jnl`	K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2023	J	`jnl`	Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. Rajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
2023	J	`jnl`	Monadic second-order incorrectness logic for GP 2. J. Log. Algebraic Methods Program. Christopher M. Poskitt, Detlef Plump
2023	J	`jnl`	Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
2022	J	`jnl`	K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2022	A*	`conf`	LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022	J	`jnl`	LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022	—	`conf`	Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. HICSS Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong
2022	J	`jnl`	Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay
2022	—	`ed.`	Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. GCM@STAF Reiko Heckel, Christopher M. Poskitt
2022	—	`conf`	Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. HICSS Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
2022	—	`conf`	XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. ITiCSE (1) Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong
2022	J	`jnl`	XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. CoRR Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong
2021	J	`jnl`	Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems. CoRR Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021	J	`jnl`	Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021	J	`jnl`	Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2021	—	`conf`	Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE Yuqi Chen, Christopher M. Poskitt, Jun Sun
2021	J	`jnl`	Deriving invariant checkers for critical infrastructure using axiomatic design principles. Cybersecur. Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt
2021	B	`conf`	Incorrectness Logic for Graph Programs. ICGT Christopher M. Poskitt
2021	J	`jnl`	Incorrectness Logic for Graph Programs. CoRR Christopher M. Poskitt
2021	B	`conf`	Microservices Orchestration vs. Choreography: A Decision Framework. EDOC Alan Megargel, Christopher M. Poskitt, Venky Shankararaman
2021	J	`jnl`	Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. CoRR Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong
2021	J	`jnl`	Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. CoRR Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
2020	J	`jnl`	Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
2020	A	`conf`	Active fuzzing for testing and securing cyber-physical systems. ISSTA Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
2020	A	`conf`	Securing Bring-Your-Own-Device (BYOD) Programming Exams. SIGCSE Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
2020	J	`jnl`	Securing Bring-Your-Own-Device (BYOD) Programming Exams. CoRR Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
2020	—	`conf`	Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CPSS@AsiaCCS Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
2020	J	`jnl`	Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CoRR Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
2019	A*	`conf`	Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
2019	J	`jnl`	Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
2018	J	`jnl`	A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Aspects Comput. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
2018	A*	`conf`	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy Yuqi Chen, Christopher M. Poskitt, Jun Sun
2018	J	`jnl`	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017	J	`jnl`	A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
2017	—	`conf`	Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017	J	`jnl`	Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017	J	`jnl`	SafeGPU: Contract- and library-based GPGPU for object-oriented languages. Comput. Lang. Syst. Struct. Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
2016	B	`conf`	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
2016	J	`jnl`	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
2016	C	`conf`	An Interference-Free Programming Model for Network Objects. COORDINATION Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016	J	`jnl`	An Interference-Free Programming Model for Network Objects. CoRR Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016	B	`conf`	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016	J	`jnl`	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2015	B	`conf`	Contract-based general-purpose GPU programming. GPCE Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2015	—	`conf`	The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
2015	—	`conf`	Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
2014	J	`jnl`	Contract-Based General-Purpose GPU Programming. CoRR Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2014	—	`conf`	Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
2014	B	`conf`	Verifying Monadic Second-Order Properties of Graph Programs. ICGT Christopher M. Poskitt, Detlef Plump
2014	J	`jnl`	Verifying Monadic Second-Order Properties of Graph Programs. CoRR Christopher M. Poskitt, Detlef Plump
2013	B	`conf`	Applying Search in an Automatic Contract-Based Testing Tool. SSBSE Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
2013	B	`conf`	Using Contracts to Guide the Search-Based Verification of Concurrent Programs. SSBSE Christopher M. Poskitt, Simon M. Poulding
2013	—	`—`	Verification of graph programs. Christopher M. Poskitt
2013	J	`jnl`	Verifying Total Correctness of Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christopher M. Poskitt, Detlef Plump
2012	J	`jnl`	Hoare-Style Verification of Graph Programs. Fundam. Informaticae Christopher M. Poskitt, Detlef Plump
2012	B	`conf`	Verification of Graph Programs. ICGT Christopher M. Poskitt
2010	B	`conf`	A Hoare Calculus for Graph Programs. ICGT Christopher M. Poskitt, Detlef Plump