Preserving data privacy and confidentiality in a distributed ledger : a use case in logistics. - Stefano Avola; Pierpaolo Baglietto; Massimo Maresca; Andrea Parodi (BRAINS, 2024)

Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. - Davide Ancona; Stefano Avola; Angelo Ferrando 001; Pierpaolo Baglietto; Maurice H. ter Beek; Andrea Parodi; Giancarlo Camera; Matteo Pinasco (DSN-S, 2025)