Marco Paganoni

According to our database, Marco Paganoni authored at least 6 papers between 2011 and 2025.

Collaborative distances:

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

2025

Reasoning about Substitutability at the Level of JVM Bytecode.

Marco Paganoni, Carlo A. Furia

Proceedings of the Fundamental Approaches to Software Engineering, 2025

2023

Reasoning About Exceptional Behavior at the Level of Java Bytecode.

Marco Paganoni, Carlo A. Furia

Proceedings of the iFM 2023 - 18th International Conference, 2023

Verifying Functional Correctness Properties at the Level of Java Bytecode.

Marco Paganoni, Carlo A. Furia

Proceedings of the Formal Methods - 25th International Symposium, 2023

2019

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

Proceedings of the 5th IEEE International forum on Research and Technology for Society and Industry, 2019

2018

Event-driven cooperative-based Internet-of-Things (IoT) system.

Michael Rescati, Marcello De Matteis, Marco Paganoni, Danilo Pau, Raimondo Schettini, Andrea Baschirotto

Proceedings of the 2018 International Conference on IC Design & Technology, 2018

2011

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, Marco Paganoni, Federico Ruggieri, Diego Scardaci

J. Grid Comput., 2011