Skip to content

Christopher M. Poskitt

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

18

Active years

2013–2026

Best venue rank

A*

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSTNatural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements.Yang Sun, Haoyu Wang, Christopher M. Poskitt, Jun Sun
2025ICECCSRuntime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach.Ivan Tan, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, Lingxiao Jiang
2025ICSEFIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation.Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
2025RAIDDeveloping a Strong CPS Defender: An Evolutionary Approach.Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen
2024AIEDTowards Automated Slide Augmentation to Discover Credible and Relevant Links.Dilan Dinushka, Christopher M. Poskitt, Kwan Chin Koh, Heng Ngee Mok, Hady W. Lauw
2024ICSEREDriver: Runtime Enforcement for Autonomous Vehicles.Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
2024ICSEACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings.Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
2024SIGCSEFixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring.Ivan Tan, Christopher M. Poskitt
2023ICSEFinding Causally Different Tests for an Industrial Control System.Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2022ITiCSEXSS 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
2021EDOCMicroservices Orchestration vs. Choreography: A Decision Framework.Alan Megargel, Christopher M. Poskitt, Venky Shankararaman
2020CCSTowards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems.Cheah Huei Yoong, Venkata Reddy Palleti, Arlindo Silva, Christopher M. Poskitt
2020ISSTAActive fuzzing for testing and securing cyber-physical systems.Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
2020SIGCSESecuring Bring-Your-Own-Device (BYOD) Programming Exams.Oka Kurniawan, Norman Tiong Seng Lee, Christopher M. Poskitt
2018SPLearning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017ICDMAnomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016CoordinationAn Interference-Free Programming Model for Network Objects.Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
2016FASEA Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.Claudio Corrodi, Alexander Heuner, Christopher M. Poskitt
2016FMTowards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.Yuqi Chen, Christopher M. Poskitt, Jun Sun
2015GPCEContract-based general-purpose GPU programming.Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
2014MODELSTowards Rigorously Faking Bidirectional Model Transformations.Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
2013SSBSEApplying Search in an Automatic Contract-Based Testing Tool.Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
2013SSBSEUsing Contracts to Guide the Search-Based Verification of Concurrent Programs.Christopher M. Poskitt, Simon M. Poulding