SPANO', Alvise
SPANO', Alvise
Dipartimento di Scienze Ambientali, Informatica e Statistica
A formal specification for Casanova, a language for computer games
2012 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
A Wearable System for Jump Detection in Inline Figure Skating
2022 Panfili, A.; Spano, A.; Cortesi, A.
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts
2026 Rizzo, Matteo; Spanò, Alvise; Benetollo, Lorenzo; Ressi, Dalila; Gasparetto, Andrea; Rossi, Sabina
ALGOMOVE – A Move Embedding for Algorand
2023 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise
Assessing Code Understanding in LLMs
2025 Laneve, Cosimo; Spanò, Alvise; Ressi, D.; Rossi, Sabina.; Bugliesi, M.
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
2012 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina; S., Spanò
Designing Casanova: a language for games
2011 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Giulia, Costantini; Bugliesi, Michele; Abbadi, Mohamed
Flexible and reversible conversion between extensible records and overloading constraints for ML
2024 Spanò, Alvise
Geographic location based dynamic and opportunistic RPL for distributed networks
2019 Chakraborty, M.; Spano, A.; Cortesi, A.
Geographic location based secure, dynamic and opportunistic RPL for distributed networks
2021 Chakraborty, M.; Spano, A.; Cortesi, A.
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability
2020 Spano, A.; Cortesi, A.
Lintent: Towards Security Type-Checking of Android Applications
2013 Bugliesi, Michele; Calzavara, Stefano; Spano', Alvise
RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins
2023 Spanò, Alvise; Fanton, Lorenzo; Pizzolato, Davide; Moi, Jacopo; Vinci, Francesco; Pesce, Alberto; Dongmo Foumthuim, Cedrix J.; Giacometti, Achille; Simeoni, Marta
Secure Distributed State Management in eUTxO Blockchains
2025 Fanton, Lorenzo; Bugliesi, Michele; Spanò, Alvise
Smart contract languages: A comparative analysis
2025 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
Type-driven cross-programming for android and LEGO Mindstorms interoperability
2019 Spano, A.; Cortesi, A.; Zausa, G.
Type-Flow Analysis for Legacy Cobol Code
2011 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Typing Legacy COBOL Code
2013 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis
2025 Ressi, Dalila; Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Piazza, Carla; Rossi, Sabina