Urban, Caterina

3 publications

ECML-PKDD 2025 Introducing Pyra: A High-Level Linter for Data Science Software Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi

TMLR 2025 On Using Certified Training Towards Empirical Robustness Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban

IJCAI 2016 Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer Vijay D'Silva, Caterina Urban