Marco Casadio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAC | Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. | Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya |
| 2024 | ESORICS | Generating Traffic-Level Adversarial Examples from Feature-Level Specifications. | Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya |
| 2023 | CAV | 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 |
| 2023 | CAV | 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 |
| 2022 | CAV | 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 |
| 2014 | CVPR | A Compact 3D Camera Suited for Mobile and Embedded Vision Applications. | Stefano Mattoccia, Ilario Marchio, Marco Casadio |