vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

Symbolic verification of event-condition-action rules in intelligent environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Cacciagrano; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (J. Reliab. Intell. Environ., 2017)

Analysis of Ethereum Smart Contracts and Opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Francesco Tiezzi 001 (AINA, 2019)

Ethereum smart contracts: Analysis and statistics of their source code and opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Davide Sestili; Francesco Tiezzi 001 (Internet Things, 2020)

Off-Chain Execution of IoT Smart Contracts. - Diletta Cacciagrano; Flavio Corradini; Gianmarco Mazzante; Leonardo Mostarda; Davide Sestili (AINA (2), 2021)

Blockchain and IoT Integration for Pollutant Emission Control. - Stefano Bistarelli; Marco Marcozzi; Gianmarco Mazzante; Leonardo Mostarda; Alfredo Navarra; Davide Sestili (AINA (3), 2022)

A Scalable State Channel for IoT Using Interactive Consistency Protocols. - Gianmarco Mazzante; Leonardo Mostarda; Alfredo Navarra; Davide Sestili (3PGCIC, 2024)

Zero-Knowledge CO2 Emission Certification for Construction Vehicles. - Emanuele Scala; Gianmarco Mazzante; Leonardo Mostarda (AINA (7), 2025)