Christopher M. Poskitt

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 63

Top Venues

CoRR

ICSE

IEEE Trans. Software Eng.

HICSS

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Shaofei Huang, Christopher M. Poskitt, Lwin Khin Shar
Security Modelling for Cyber-Physical Systems: A Systematic Literature Review. CoRR (2024)
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE (2024)
Dilan Dinushka, Christopher M. Poskitt, Kwan Chin Koh, Heng Ngee Mok, Hady W. Lauw
Towards Automated Slide Augmentation to Discover Credible and Relevant Links. AIED Companion (2) (2024)
Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen
μDrive: User-Controlled Autonomous Driving. CoRR (2024)
Ivan Tan, Christopher M. Poskitt
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. CoRR (2024)
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR (2024)
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE (2024)
Ivan Tan, Christopher M. Poskitt
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring. SIGCSE (1) (2024)
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR (2024)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. ICSE (2023)
Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? TALE (2023)
Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. 49 (11) (2023)
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. 49 (10) (2023)
Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49 (6) (2023)
Boquan Li, Jun Sun, Christopher M. Poskitt
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR (2023)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. CoRR (2023)
Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. 8 (12) (2023)
Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? CoRR (2023)
Rajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Christopher M. Poskitt, Detlef Plump
Monadic second-order incorrectness logic for GP 2. J. Log. Algebraic Methods Program. 130 (2023)
Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. ITiCSE (1) (2022)
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. HICSS (2022)
Lwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong
XSS for the Masses: Integrating Security in a Web Programming Course using a Security Scanner. CoRR (2022)
Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. HICSS (2022)
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR (2022)
Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7 (4) (2022)
Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE (2022)
Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR (2022)
Reiko Heckel, Christopher M. Poskitt
Proceedings of the Thirteenth International Workshop on Graph Computation Models. CoRR (2022)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE (2021)
Christopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid Classroom. CoRR (2021)
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. 34 (2021)
Alan Megargel, Christopher M. Poskitt, Venky Shankararaman
Microservices Orchestration vs. Choreography: A Decision Framework. EDOC (2021)
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. CoRR (2021)
Christopher M. Poskitt
Incorrectness Logic for Graph Programs. CoRR (2021)
Christopher M. Poskitt
Incorrectness Logic for Graph Programs. ICGT (2021)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR (2021)
Cheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt
Deriving invariant checkers for critical infrastructure using axiomatic design principles. Cybersecur. 4 (1) (2021)
Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems. CoRR (2021)
Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CPSS@AsiaCCS (2020)
Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
Securing Bring-Your-Own-Device (BYOD) Programming Exams. SIGCSE (2020)
Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems. CoRR (2020)
Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
Securing Bring-Your-Own-Device (BYOD) Programming Exams. CoRR (2020)
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
Active fuzzing for testing and securing cyber-physical systems. ISSTA (2020)
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR (2020)
Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE (2019)
Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR (2019)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Aspects Comput. 30 (1) (2018)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy (2018)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR (2018)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR (2017)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
SafeGPU: Contract- and library-based GPGPU for object-oriented languages. Comput. Lang. Syst. Struct. 48 (2017)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops (2017)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR (2017)
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
An Interference-Free Programming Model for Network Objects. COORDINATION (2016)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR (2016)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM (2016)
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR (2016)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE (2016)
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
An Interference-Free Programming Model for Network Objects. CoRR (2016)
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE (2015)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-based general-purpose GPU programming. GPCE (2015)
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM (2015)
Christopher M. Poskitt, Detlef Plump
Verifying Monadic Second-Order Properties of Graph Programs. ICGT (2014)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-Based General-Purpose GPU Programming. CoRR (2014)
Christopher M. Poskitt, Detlef Plump
Verifying Monadic Second-Order Properties of Graph Programs. CoRR (2014)
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS (2014)
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE (2013)
Christopher M. Poskitt, Simon M. Poulding
Using Contracts to Guide the Search-Based Verification of Concurrent Programs. SSBSE (2013)
Christopher M. Poskitt, Detlef Plump
Verifying Total Correctness of Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Christopher M. Poskitt
Verification of Graph Programs. ICGT (2012)
Christopher M. Poskitt, Detlef Plump
Hoare-Style Verification of Graph Programs. Fundam. Informaticae 118 (1-2) (2012)
Christopher M. Poskitt, Detlef Plump
A Hoare Calculus for Graph Programs. ICGT (2010)

Christopher M. Poskitt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christopher M. Poskitt