Greta DOLCETTI

Position
PhD Student
Dottorato
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
Verification of Neural Networks Employing Formal Methods
Supervisore
Enea Zaffanella (Università di Parma) / Agostino Cortesi, Vincenzo Arceri (Università di Parma)
E-mail
greta.dolcetti@unive.it
956772@stud.unive.it
Website
www.unive.it/people/greta.dolcetti (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais

Dolcetti G.; Cortesi A.; Urban C.; Zaffanella E. Towards a High Level Linter for Data Science , NSAD 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2024, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, pp. 18-25, Convegno: 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, 2024
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5102049


Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024)
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5072662