Login / Signup
Yuval Shapira
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Formal Methods
Asynchronous Circuits
Model Checking
Deep Learning
Top Venues
Proc. ACM Program. Lang.
CoRR
CAV (2)
</>
Publications
</>
Yuval Shapira
,
Naor Wiesel
,
Shahar Shabelman
,
Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs.
CAV (2)
(2024)
Yuval Shapira
,
Naor Wiesel
,
Shahar Shabelman
,
Dana Drachsler-Cohen
Boosting Few-Pixel Robustness Verification via Covering Verification Designs.
CoRR
(2024)
Yuval Shapira
,
Eran Avneri
,
Dana Drachsler-Cohen
Deep Learning Robustness Verification for Few-Pixel Attacks.
Proc. ACM Program. Lang.
7 (OOPSLA1) (2023)