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, Vincenzo Arceri (Università di Parma)
- 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
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| 2026 | Articolo su rivista |
Dolcetti Greta.; Arceri V.; Iotti E.; Maffeis S.; Cortesi A.; Zaffanella E. Helping LLMs improve code generation using feedback from testing and static analysis in DISCOVER ARTIFICIAL INTELLIGENCE, vol. 6 (ISSN 2731-0809) DOI - Scheda ARCA: 10278/5116190 |
| 2026 | Articolo su rivista |
Dolcetti Greta.; Arceri Vincenzo; Mensi A.; Zaffanella E.; Urban C.; Cortesi Agostino. PYRA: A high-level linter for data science software in KNOWLEDGE-BASED SYSTEMS, vol. 337 (ISSN 0950-7051) DOI - Scheda ARCA: 10278/5115081 |
| 2025 | Articolo in Atti di convegno |
Dolcetti G.; Arceri V.; Mensi A.; Zaffanella E.; Urban C.; Cortesi A. Introducing Pyra: A High-Level Linter for Data Science Software , Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, vol. 16022, pp. 449-453, Convegno: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025, 2025 (ISBN 9783032061287; 9783032061294) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5105790 |
| 2025 | Articolo in Atti di convegno |
Dolcetti G.; Arceri V.; Cortesi A.; Zaffanella E. On the Verification of ML Systems and Models , CEUR Workshop Proceedings, CEUR-WS, vol. 4142, pp. 3-12, Convegno: 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, 2025 (ISSN 1613-0073) - Scheda ARCA: 10278/5118107 |
| 2024 | Articolo in Atti di convegno |
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 - Scheda ARCA: 10278/5102049 |
| 2024 | Articolo in Atti di convegno |
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 - Scheda ARCA: 10278/5072662 |