Sign in
Omri Isac
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 9
Top Topics
Fuzzy Artmap
Signature Verification
Neural Network
Top Venues
CoRR
CONCUR
FMCAD
LOPSTR
</>
Publications
</>
Yizhak Yisrael Elboher
,
Raya Elsaleh
,
Omri Isac
,
Mélanie Ducoffe
,
Audrey Galametz
,
Guillaume Povéda
,
Ryma Boumazouza
,
Noémie Cohen
,
Guy Katz
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.
CoRR
(2024)
Haoze Wu
,
Omri Isac
,
Aleksandar Zeljic
,
Teruhiro Tagomori
,
Matthew L. Daggitt
,
Wen Kokke
,
Idan Refaeli
,
Guy Amir
,
Kyle Julian
,
Shahaf Bassan
,
Pei Huang
,
Ori Lahav
,
Min Wu
,
Min Zhang
,
Ekaterina Komendantskaya
,
Guy Katz
,
Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
(2024)
Remi Desmartin
,
Omri Isac
,
Grant O. Passmore
,
Kathrin Stark
,
Ekaterina Komendantskaya
,
Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
(2023)
Marco Casadio
,
Luca Arnaboldi
,
Matthew L. Daggitt
,
Omri Isac
,
Tanvi Dinkar
,
Daniel Kienitz
,
Verena Rieser
,
Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
CoRR
(2023)
Omri Isac
,
Yoni Zohar
,
Clark W. Barrett
,
Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem.
CONCUR
(2023)
Remi Desmartin
,
Omri Isac
,
Grant O. Passmore
,
Kathrin Stark
,
Guy Katz
,
Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
(2023)
Omri Isac
,
Yoni Zohar
,
Clark W. Barrett
,
Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem.
CoRR
(2023)
Omri Isac
,
Clark W. Barrett
,
Min Zhang
,
Guy Katz
Neural Network Verification with Proof Production.
CoRR
(2022)
Omri Isac
,
Clark W. Barrett
,
Min Zhang
,
Guy Katz
Neural Network Verification with Proof Production.
FMCAD
(2022)