Efficient Neural Network Validation with Affine Forms. - Asma Soualah; Matthieu Martel (ICSRS, 2022)

Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach1. - Asma Soualah; Matthieu Martel; Stéphane Abide (SYNASC, 2023)

Scaling up the static analysis of neural networks using affine forms. (Le passage à l'échelle des analyses statiques de réseaux de neurones à l'aide de formes affines). - Asma Soualah (2024)