e-Infrastructures for e-Science: A Global View. - Giuseppe Andronico; Valeria Ardizzone; Roberto Barbera; Bruce Becker; Riccardo Bruno; Antonio Calanducci; Diego Moreira de Araujo Carvalho; Leandro Neumann Ciuffo; Marco Fargetta; Emidio Giorgio; Giuseppe La Rocca; Alberto Masoni; et al. (J. Grid Comput., 2011)

Event-driven cooperative-based Internet-of-Things (IoT) system. - Michael Rescati; Marcello De Matteis; Marco Paganoni; Danilo Pau; Raimondo Schettini; Andrea Baschirotto (ICICDT, 2018)

HAEMS: Implementation of an Intelligent Event-Driven Edge Mesh IoT Architecture. - Michael Rescati; Emanuela Scapini; Marcello De Matteis; Raimondo Schettini; Danilo Pau; Marco Paganoni; Andrea Baschirotto (RTSI, 2019)

Verifying Functional Correctness Properties at the Level of Java Bytecode. - Marco Paganoni; Carlo A. Furia (FM, 2023)

Reasoning About Exceptional Behavior at the Level of Java Bytecode. - Marco Paganoni; Carlo A. Furia (iFM, 2023)

Reasoning about Substitutability at the Level of JVM Bytecode. - Marco Paganoni; Carlo A. Furia (FASE, 2025)