-
Chapter and Conference Paper
QNNRepair: Quantized Neural Network Repair
We present QNNRepair, the first method in the literature for repairing quantized neural networks (QNNs). QNNRepair aims to improve the accuracy of a neural network model after quantization. It accepts the full...
-
Chapter and Conference Paper
VPN: Verification of Poisoning in Neural Networks
Neural networks are successfully used in a variety of applications, many of them having safety and security concerns. As a result researchers have proposed formal verification techniques for verifying neural n...
-
Chapter and Conference Paper
Correction to: Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
In an older version of this paper, there was error in the figure 3, (e) and (f) was incorrect. This has been corrected.
-
Chapter and Conference Paper
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
Poisoning or backdoor attacks are well-known attacks on image classification neural networks, whereby an attacker inserts a trigger into a subset of the training data, in such a way that the network learns to ...
-
Chapter and Conference Paper
NNrepair: Constraint-Based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fa...
-
Chapter and Conference Paper
Explaining Image Classifiers Using Statistical Fault Localization
The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for “Explainable AI”. In this paper, we show that statistical fault local...
-
Chapter and Conference Paper
Building Better Bit-Blasting for Floating-Point Problems
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-vectors. Implementing the required encodings is complex, error prone and requires a deep understanding of flo...
-
Chapter and Conference Paper
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
Spectrum based fault localisation determines how suspicious a line of code is with respect to being faulty as a function of a given test suite. Outstanding problems include identifying properties that the test...
-
Chapter and Conference Paper
Reachability Preservation Based Parameter Synthesis for Timed Automata
The synthesis of timing parameters consists in deriving conditions on the timing constants of a concurrent system such that it meets its specification. Parametric timed automata are a powerful formalism for pa...
-
Chapter and Conference Paper
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. We propose two different approaches to parametric analysis. The first o...