335 citations · 802 across the 23 of their papers we have counts for
25 papers
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…
How Generalizable are Deepfake Image Detectors? An Empirical Study
Boquan Li, Jun Sun, Christopher M. Poskitt +1
Deepfakes are becoming increasingly credible, posing a significant threat given their potential to facilitate fraud or bypass access control systems. This has motivated the develop…
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination
Mengdi Zhang, Jun Sun, Jingyi Wang +1
Discrimination has been shown in many machine learning applications, which calls for sufficient fairness testing before their deployment in ethic-relevant domains such as face reco…
Causality-based Neural Network Repair
Bing Sun, Jun Sun, Hong Long Pham +1
Neural networks have had discernible achievements in a wide range of applications. The wide-spread adoption also raises the concern of their dependability and reliability. Similar…
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
Kun Wang, Jingyi Wang, Christopher M. Poskitt +3
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is cr…
Repairing Adversarial Texts through Perturbation
Guoliang Dong, Jingyi Wang, Jun Sun +5
It is known that neural networks are subject to attacks through adversarial perturbations, i.e., inputs which are maliciously crafted through perturbations to induce wrong predicti…