26 citations · 54 across the 5 of their papers we have counts for
5 papers · 1 filter
Drive: User-Controlled Autonomous Driving
Kun Wang, Christopher M. Poskitt, Yang Sun +4
Autonomous Vehicles (AVs) rely on sophisticated Autonomous Driving Systems (ADSs) to provide passengers a satisfying and safe journey. The individual preferences of riders plays a…
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Huijia Sun, Christopher M. Poskitt, Yang Sun +2
The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safe…
REDriver: Runtime Enforcement for Autonomous Vehicles
Yang Sun, Christopher M. Poskitt, Xiaodong Zhang +1
Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and several other critical tasks in autonomous vehicles, motivating research into techniques for ass…
Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
Ivan Tan, Christopher M. Poskitt
Programming problems can be solved in a multitude of functionally correct ways, but the quality of these solutions (e.g. readability, maintainability) can vary immensely. When code…
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfun…