Dalila Ressi

According to our database, Dalila Ressi authored at least 13 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Understanding code semantics: a benchmark study of LLMs.

Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi

Int. J. Softw. Tools Technol. Transf., June, 2026

Reentrancy Detection in the Age of LLMs.

Dalila Ressi, Alvise Spanò, Matteo Rizzo, Lorenzo Benetollo, Sabina Rossi

CoRR, March, 2026

2025

Assessing Code Understanding in LLMs.

Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

Modeling Reentrancy in Smart Contracts through Noninterference.

Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò

Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT 2025), 2025

Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts.

Matteo Rizzo, Alvise Spanò, Lorenzo Benetollo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi

Proceedings of the Blockchain Technology and Emerging Applications, 2025

2024

Compressing neural networks via formal methods.

Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza

Neural Networks, 2024

AI-enhanced blockchain technology: A review of advancements and opportunities.

Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi

J. Netw. Comput. Appl., 2024

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis.

Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi

CoRR, 2024

A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection.

Matteo Rizzo, Dalila Ressi, Andrea Gasparetto, Sabina Rossi

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

2022

Neural Networks Reduction via Lumping.

Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

A Relevance-Based CNN Trimming Method for Low-Resources Embedded Vision.

Dalila Ressi, Mara Pistellato, Andrea Albarelli, Filippo Bergamasco

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2018

Neighborhood-Based Recovery of Phase Unwrapping Faults.

Mara Pistellato, Filippo Bergamasco, Luca Cosmo, Andrea Gasparetto, Dalila Ressi, Andrea Albarelli

Proceedings of the 24th International Conference on Pattern Recognition, 2018

Cross-Dataset Data Augmentation for Convolutional Neural Networks Training.

Andrea Gasparetto, Dalila Ressi, Filippo Bergamasco, Mara Pistellato, Luca Cosmo, Marco Boschetti, Enrico Ursella, Andrea Albarelli

Proceedings of the 24th International Conference on Pattern Recognition, 2018