We stand with Ukraine  

Asma Soualah

Orcid: 0000-0002-1569-7432

According to our database1, Asma Soualah authored at least 3 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
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).
[BibTeX]
[DOI]
Asma Soualah
PhD thesis, 2024

2023
Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach<sup>1</sup>.
[BibTeX]
[DOI]
Asma Soualah
,
Matthieu Martel
,
Stéphane Abide
Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2022
Efficient Neural Network Validation with Affine Forms.
[BibTeX]
[DOI]
Asma Soualah
,
Matthieu Martel
Proceedings of the 6th International Conference on System Reliability and Safety, 2022


  Loading...