| Neural network robustness as a verification property: a principled case study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... International conference on computer aided verification, 219-231, 2022 | 74 | 2022 |
| NLP verification: towards a general methodology for certifying robustness M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, ML Daggitt, O Isac, ... European Journal of Applied Mathematics, 1-58, 2025 | 15 | 2025 |
| The Vehicle Tutorial: Neural Network Verification with Vehicle. ML Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, ... FoMLAS@ CAV, 1-5, 2023 | 11 | 2023 |
| 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 | 9 | 2023 |
| NLP Verification: Towards a General Methodology for Certifying Robustness.(2025) M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, ML Daggitt, O Isac, ... arXiv preprint cs.CL/2403.10144, 2025 | 5 | 2025 |
| Property-driven training: All you (n) ever wanted to know about M Casadio, ML Daggitt, E Komendantskaya, W Kokke, D Kienitz, ... arXiv preprint arXiv 2104, 2021 | 3 | 2021 |
| Neural Network Verification for Gliding Drone Control: A Case Study C Kessler, E Komendantskaya, M Casadio, IM Viola, T Flinkow, ... International Symposium on AI Verification, 180-199, 2025 | 2 | 2025 |
| A Generalised Framework for Property-Driven Machine Learning T Flinkow, M Casadio, C Kessler, R Monahan, E Komendantskaya arXiv preprint arXiv:2505.00466, 2025 | 2 | 2025 |
| Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models R Flood, M Casadio, D Aspinall, E Komendantskaya Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 1867-1876, 2025 | 1 | 2025 |
| Generating Traffic-Level Adversarial Examples from Feature-Level Specifications R Flood, M Casadio, D Aspinall, E Komendantskaya European Symposium on Research in Computer Security, 118-127, 2024 | 1 | 2024 |
| Why Robust Natural Language Understanding is a Challenge M Casadio, E Komendantskaya, V Rieser, ML Daggitt, D Kienitz, ... arXiv preprint arXiv:2206.14575, 2022 | 1 | 2022 |
| Formal And Geometric Foundations For Deep Learning Under Safety Constraints M Casadio HERIOT-WATT UNIVERSITY, 2025 | | 2025 |
| Generating Traffic-Level Adversarial Examples from Feature-Level R Flood, M Casadio, D Aspinall¹ Computer Security. ESORICS 2024 International Workshops: SECAI, DisA …, 2025 | | 2025 |
| Network robustness as a mathematical property: training, evaluation and attack M Casadio, ML Daggitt, E Komendantskaya, W Kokke, R Stewart | | |
Luca ArnaboldiAssistant Professor, University of BirminghamVerified email at bham.ac.uk
