Linda Lamouchi

According to our database, Linda Lamouchi authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A High Parallelization Method for Automated Formal Verification of Deep Neural Networks.

Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024