Marco Casadio

According to our database, Marco Casadio authored at least 11 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Neural Network Verification for Gliding Drone Control: A Case Study.

Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Thomas Flinkow, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson

CoRR, May, 2025

A Generalised Framework for Property-Driven Machine Learning.

Thomas Flinkow, Marco Casadio, Colin Kessler, Rosemary Monahan, Ekaterina Komendantskaya

CoRR, May, 2025

Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models.

Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

NLP Verification: Towards a General Methodology for Certifying Robustness.

Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon

CoRR, 2024

Generating Traffic-Level Adversarial Examples from Feature-Level Specifications.

Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya

Proceedings of the Computer Security. ESORICS 2024 International Workshops, 2024

2023

The Vehicle Tutorial: Neural Network Verification with Vehicle.

Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.

Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Why Robust Natural Language Understanding is a Challenge.

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke

CoRR, 2022

Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Property-driven Training: All You (N)Ever Wanted to Know About.

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart

CoRR, 2021

2014

A Compact 3D Camera Suited for Mobile and Embedded Vision Applications.

Stefano Mattoccia, Ilario Marchio, Marco Casadio

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2014