Marco Paganoni

11 papers B 4Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics.
iFM
Lidia Losavio, Marco Paganoni, Carlo A. Furia
2025 J jnl
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics.
CoRR
Lidia Losavio, Marco Paganoni, Carlo A. Furia
2025 J jnl
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack.
Formal Aspects Comput.
Marco Paganoni, Carlo A. Furia
2025 B conf
Reasoning about Substitutability at the Level of JVM Bytecode.
FASE
Marco Paganoni, Carlo A. Furia
2024 J jnl
Reasoning About Exceptional Behavior At the Level of Java Bytecode.
CoRR
Marco Paganoni, Carlo A. Furia
2024 J jnl
Verifying Functional Correctness Properties At the Level of Java Bytecode.
CoRR
Marco Paganoni, Carlo A. Furia
2023 B conf
Reasoning About Exceptional Behavior at the Level of Java Bytecode.
iFM
Marco Paganoni, Carlo A. Furia
2023 B conf
Verifying Functional Correctness Properties at the Level of Java Bytecode.
FM
Marco Paganoni, Carlo A. Furia
2019 — conf
HAEMS: Implementation of an Intelligent Event-Driven Edge Mesh IoT Architecture.
RTSI
Michael Rescati, Emanuela Scapini, Marcello De Matteis, Raimondo Schettini, Danilo Pau, Marco Paganoni, Andrea Baschirotto
2018 — conf
Event-driven cooperative-based Internet-of-Things (IoT) system.
ICICDT
Michael Rescati, Marcello De Matteis, Marco Paganoni, Danilo Pau, Raimondo Schettini, Andrea Baschirotto
2011 J jnl
e-Infrastructures for e-Science: A Global View.
J. Grid Comput.
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