![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
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
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
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...