A Compact 3D Camera Suited for Mobile and Embedded Vision Applications. - Stefano Mattoccia; Ilario Marchio; Marco Casadio (CVPR Workshops, 2014)

Property-driven Training: All You (N)Ever Wanted to Know About. - Marco Casadio; Matthew L. Daggitt; Ekaterina Komendantskaya; Wen Kokke; Daniel Kienitz; Rob Stewart 001 (CoRR, 2021)

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 (CAV (1), 2022)

Why Robust Natural Language Understanding is a Challenge. - Marco Casadio; Ekaterina Komendantskaya; Verena Rieser; Matthew L. Daggitt; Daniel Kienitz; Luca Arnaboldi 001; Wen Kokke (CoRR, 2022)

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. - Marco Casadio; Luca Arnaboldi 001; Matthew L. Daggitt; Omri Isac; Tanvi Dinkar; Daniel Kienitz; Verena Rieser; Ekaterina Komendantskaya (FoMLAS@CAV, 2023)

The Vehicle Tutorial: Neural Network Verification with Vehicle. - Matthew L. Daggitt; Wen Kokke; Ekaterina Komendantskaya; Robert Atkey; Luca Arnaboldi 001; Natalia Slusarz; Marco Casadio; Ben Coke; Jeonghyeon Lee (FoMLAS@CAV, 2023)

Generating Traffic-Level Adversarial Examples from Feature-Level Specifications. - Robert Flood; Marco Casadio; David Aspinall 001; Ekaterina Komendantskaya (ESORICS Workshops (2), 2024)

NLP Verification: Towards a General Methodology for Certifying Robustness. - Marco Casadio; Tanvi Dinkar; Ekaterina Komendantskaya; Luca Arnaboldi 001; Omri Isac; Matthew L. Daggitt; Guy Katz; Verena Rieser; Oliver Lemon (CoRR, 2024)

Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. - Robert Flood; Marco Casadio; David Aspinall 001; Ekaterina Komendantskaya (SAC, 2025)

A Generalised Framework for Property-Driven Machine Learning. - Thomas Flinkow; Marco Casadio; Colin Kessler; Rosemary Monahan; Ekaterina Komendantskaya (CoRR, 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, 2025)