Christopher M. Poskitt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Christopher M. Poskitt' as author, editor, or advisor:

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data SelectionYifan Jia 0002, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang 0004, Jun Sun 0001, Sudipta Chattopadhyay 0001. ral, 8(12):8350-8357, December 2023. [doi]
Mind the Gap: Reimagining an Interactive Programming Course for the Synchronous Hybrid ClassroomChristopher M. Poskitt, Kyong Jin Shim, Yi Meng Lau, Hong Seng Ong. hicss 2022: 1-10 [doi]
XSS for the Masses: Integrating Security in a Web Programming Course using a Security ScannerLwin Khin Shar, Christopher M. Poskitt, Kyong Jin Shim, Li Ying Leonard Wong. iticse 2022: 463-469 [doi]
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, ProceedingsMaribel Fernández, Christopher M. Poskitt, editors, Volume 13961 of Lecture Notes in Computer Science, Springer, 2023. [doi]
A Graph-Based Semantics Workbench for Concurrent Asynchronous ProgramsClaudio Corrodi, Alexander Heußner, Christopher M. Poskitt. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016). 2016:
Learning-Guided Network Fuzzing for Testing Cyber-Physical System DefencesYuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001, Sridhar Adepu, Fan Zhang 0010. ASE 2019: 962-973 [doi]
Specification-Based Autonomous Driving System TestingYuan Zhou 0005, Yang Sun 0008, Yun Tang 0003, Yuqi Chen 0001, Jun Sun 0001, Christopher M. Poskitt, Yang Liu 0003, Zijiang Yang 0006. TSE, 49(6):3391-3410, June 2023. [doi]
Monadic second-order incorrectness logic for GP 2Christopher M. Poskitt, Detlef Plump. jlap, 130:100825, 2023. [doi]
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code RefactoringIvan Tan, Christopher M. Poskitt. sigcse 2024: 1307-1313 [doi]
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical SystemYuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001. sp 2018: 648-660 [doi]
Verification of Graph ProgramsChristopher M. Poskitt. PhD thesis, University of York, 2013.
Microservices Orchestration vs. Choreography: A Decision FrameworkAlan Megargel, Christopher M. Poskitt, Venky Shankararaman. edoc 2021: 134-141 [doi]
Anomaly Detection for a Water Treatment System Using Unsupervised Machine LearningJun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun 0001. icdm 2017: 1058-1065 [doi]
Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical SystemsCheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt. ccs 2020: 11-22 [doi]
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCsKun Wang 0023, Jingyi Wang 0004, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun 0001, Peng Cheng 0007. TSE, 49(10):4796-4813, October 2023. [doi]
Constructing Cyber-Physical System Testing Suites Using Active Sensor FuzzingFan Zhang 0010, Qianmei Wu, Bohan Xuan, Yuqi Chen 0001, Wei Lin, Christopher M. Poskitt, Jun Sun 0001, Binbin Chen 0001. TSE, 49(11):4829-4845, November 2023. [doi]
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous VehiclesYang Sun 0008, Christopher M. Poskitt, Jun Sun 0001, Yuqi Chen 0001, Zijiang Yang. ASE 2022: [doi]
Deriving invariant checkers for critical infrastructure using axiomatic design principlesCheah Huei Yoong, Venkata Reddy Palleti, Rajib Ranjan Maiti, Arlindo Silva, Christopher M. Poskitt. cybersec, 4(1):6, 2021. [doi]
Securing Bring-Your-Own-Device (BYOD) Programming ExamsOka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt. sigcse 2020: 880-886 [doi]
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: 1-6 [doi]
Code integrity attestation for PLCs using black box neural network predictionsYuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001. FSE 2021: 32-44 [doi]
Finding Causally Different Tests for an Industrial Control SystemChristopher M. Poskitt, Yuqi Chen 0001, Jun Sun 0001, Yu Jiang 0001. ICSE 2023: 2578-2590 [doi]
Mitigating Adversarial Attacks on Data-Driven Invariant Checkers for Cyber-Physical SystemsRajib Ranjan Maiti, Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt. tdsc, 20(4):3378-3391, July - August 2023. [doi]
Active fuzzing for testing and securing cyber-physical systemsYuqi Chen 0001, Bohan Xuan, Christopher M. Poskitt, Jun Sun 0001, Fan Zhang 0010. ISSTA 2020: 14-26 [doi]
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT FrameworkOka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt. hicss 2022: 1-10 [doi]
A semantics comparison workbench for a concurrent, asynchronous, distributed programming languageClaudio Corrodi, Alexander Heußner, Christopher M. Poskitt. fac, 30(1):163-192, 2018. [doi]
Physical Adversarial Attack on a Robotic ArmYifan Jia 0002, Christopher M. Poskitt, Jun Sun 0001, Sudipta Chattopadhyay 0001. ral, 7(4):9334-9341, 2022. [doi]
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systemsYifan Jia 0002, Jingyi Wang 0004, Christopher M. Poskitt, Sudipta Chattopadhyay 0001, Jun Sun 0001, Yuqi Chen 0001. ijcip, 34:100452, 2021. [doi]
Incorrectness Logic for Graph ProgramsChristopher M. Poskitt. gg 2021: 81-101 [doi]

runs on WebDSL