Gianmarco Mazzante

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Hyper Heuristics

Legacy Software

Intelligent Environments

Top Venues

J. Reliab. Intell. Environ.

Intelligent Environments

Publications

Stefano Bistarelli, Marco Marcozzi, Gianmarco Mazzante, Leonardo Mostarda, Alfredo Navarra, Davide Sestili
Blockchain and IoT Integration for Pollutant Emission Control. AINA (3) (2022)
Diletta Cacciagrano, Flavio Corradini, Gianmarco Mazzante, Leonardo Mostarda, Davide Sestili
Off-Chain Execution of IoT Smart Contracts. AINA (2) (2021)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Internet Things 11 (2020)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi
Analysis of Ethereum Smart Contracts and Opcodes. AINA (2019)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. 3 (2) (2017)