Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zakaria Chihani
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
Not registered as user
Name:
Zakaria Chihani
Affiliation:
CEA, LIST, France
Contributions
2025
Static Analysis Symposium
Author of Verifying Neural Networks with PyRAT within the SAS 2025-track
2024
CAIN
Author of Trustworthy AI: Industry-Guided Tooling of the Methods within the Industry Talks-track
Share
x
Sat 1 Nov 18:53