Alvise Spanò

According to our database, Alvise Spanò authored at least 21 papers between 2011 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

Smart contract languages: A comparative analysis.

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino

Future Gener. Comput. Syst., 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

Flexible and reversible conversion between extensible records and overloading constraints for ML.

Alvise Spanò

J. Syst. Softw., 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

2023

Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins.

Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix Jurgal Dongmo Foumthuim, Achille Giacometti, Marta Simeoni

BMC Bioinform., December, 2023

ALGOMOVE - A Move Embedding for Algorand.

Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò

Proceedings of the IEEE International Conference on Blockchain, 2023

2022

A Wearable System for Jump Detection in Inline Figure Skating.

Antonio Panfili, Alvise Spanò, Agostino Cortesi

Sensors, 2022

2021

Geographic location based secure, dynamic and opportunistic RPL for distributed networks.

Manali Chakraborty, Alvise Spanò, Agostino Cortesi

Ad Hoc Networks, 2021

2020

Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability.

Alvise Spanò, Agostino Cortesi

Sensors, 2020

2019

Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability.

Alvise Spanò, Agostino Cortesi, Giulio Zausa

Proceedings of the Computer Information Systems and Industrial Management, 2019

Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks.

Manali Chakraborty, Alvise Spanò, Agostino Cortesi

Proceedings of the Computer Information Systems and Industrial Management, 2019

2013

Lintent: Towards Security Type-Checking of Android Applications.

Michele Bugliesi, Stefano Calzavara, Alvise Spanò

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.

Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò

Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

A formal specification for casanova, a language for computer games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

2011

Typing Legacy COBOL Code.

Alvise Spanò, Michele Bugliesi, Agostino Cortesi

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Type-flow Analysis for Legacy COBOL Code.

Alvise Spanò, Michele Bugliesi, Agostino Cortesi

Proceedings of the ICSOFT 2011, 2011

Designing Casanova: A Language for Games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi

Proceedings of the Advances in Computer Games - 13th International Conference, 2011