DOLCETTI, GRETA
DOLCETTI, GRETA
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.0 secondi).
A Computational Workflow to Predict Biological Target Mutations: The Spike Glycoprotein Case Study
2023 Cozzini, P.; Agosta, F.; Dolcetti, G.; Dal Palu, A.
A dual perspective review on large language models and code verification
2025 Dolcetti, Greta; Iotti, Eleonora
Helping LLMs improve code generation using feedback from testing and static analysis
2026 Dolcetti, Greta.; Arceri, V.; Iotti, E.; Maffeis, S.; Cortesi, A.; Zaffanella, E.
Introducing Pyra: A High-Level Linter for Data Science Software
2025 Dolcetti, G.; Arceri, V.; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, A.
On the Verification of ML Systems and Models
2025 Dolcetti, G.; Arceri, V.; Cortesi, A.; Zaffanella, E.
PYRA: A high-level linter for data science software
2026 Dolcetti, Greta.; Arceri, Vincenzo; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, Agostino.
Speeding up static analysis with the split operator
2024 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Towards a High Level Linter for Data Science
2024 Dolcetti, G.; Cortesi, A.; Urban, C.; Zaffanella, E.
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea