Greta DOLCETTI

Qualifica
Dottoranda
Dottorato
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
Verification of Neural Networks Employing Formal Methods
Supervisore
Enea Zaffanella (Università di Parma) / Agostino Cortesi
E-mail
greta.dolcetti@unive.it
956772@stud.unive.it
Sito web
www.unive.it/persone/greta.dolcetti (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

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, Articolo in Atti di convegno - Scheda ARCA: 10278/5072662