| Neural Network Verification with Proof Production. O Isac, CW Barrett, M Zhang, G Katz FMCAD, 38-48, 2022 | 21 | 2022 |
| Marabou 2.0: a versatile formal analyzer of neural networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... International Conference on Computer Aided Verification, 249-264, 2024 | 13 | 2024 |
| Towards a Certified Proof Checker for Deep Neural Network Verification R Desmartin, O Isac, G Passmore, K Stark, E Komendantskaya, G Katz International Symposium on Logic-Based Program Synthesis and Transformation …, 2023 | 5 | 2023 |
| Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. S Demarchi, D Guidotti, L Pulina, A Tacchella, N Narodytska, G Amir, ... FoMLAS@ CAV, 47-58, 2023 | 4 | 2023 |
| DNN verification, reachability, and the exponential function problem O Isac, Y Zohar, C Barrett, G Katz arXiv preprint arXiv:2305.06064, 2023 | 3 | 2023 |
| Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y Elboher, R Elsaleh, O Isac, M Ducoffe, A Galametz, G Povéda, ... arXiv preprint arXiv:2402.00035, 2024 | 2 | 2024 |
| Antonio: Towards a systematic method of generating NLP benchmarks for verification M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ... arXiv preprint arXiv:2305.04003, 2023 | 2 | 2023 |
| A Certified Proof Checker for Deep Neural Network Verification R Desmartin, O Isac, E Komendantskaya, K Stark, G Passmore, G Katz arXiv preprint arXiv:2405.10611, 2024 | | 2024 |
| NLP Verification: Towards a General Methodology for Certifying Robustness M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, O Isac, ML Daggitt, ... arXiv preprint arXiv:2403.10144, 2024 | | 2024 |
| Software Verification and Formal Methods for ML-enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel … O Isac, R Ivanov, G Katz, N Narodytska, L Nenzi Springer Nature, 2022 | | 2022 |
| Software Verification and Formal Methods for ML-Enabled Autonomous Systems O Isac, R Ivanov, G Katz, N Narodytska, L Nenzi LECTURE NOTES IN COMPUTER SCIENCE 13466, 1-205, 2022 | | 2022 |
