Marco Paganoni

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 4

Top Topics

Information Delivery

Layered Architecture

Top Venues

Publications

Marco Paganoni, Carlo A. Furia
Verifying Functional Correctness Properties at the Level of Java Bytecode. FM (2023)
Marco Paganoni, Carlo A. Furia
Reasoning About Exceptional Behavior at the Level of Java Bytecode. iFM (2023)
Michael Rescati, Emanuela Scapini, Marcello De Matteis, Raimondo Schettini, Danilo Pau, Marco Paganoni, Andrea Baschirotto
HAEMS: Implementation of an Intelligent Event-Driven Edge Mesh IoT Architecture. RTSI (2019)
Michael Rescati, Marcello De Matteis, Marco Paganoni, Danilo Pau, Raimondo Schettini, Andrea Baschirotto
Event-driven cooperative-based Internet-of-Things (IoT) system. ICICDT (2018)
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, Marco Paganoni, Federico Ruggieri, Diego Scardaci
e-Infrastructures for e-Science: A Global View. J. Grid Comput. 9 (2) (2011)