Marco Di Ianni

According to our database, Marco Di Ianni authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Towards Property-Based Testing of Smart Contracts Using Gas Analysis (Short Paper).

Elvira Albert, Emanuele De Angelis, Marco Di Ianni, Fabio Fioravanti, Pablo Gordillo

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

2024

Visualizing CHC Verification Conditions for Smart Contracts Auditing.

Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi

Proceedings of the 39th Italian Conference on Computational Logic, 2024