Fault model qualification by assertion mining. - Alessandro Danese; Jacopo Mocci; Graziano Pravadelli (LATS, 2016)

A Multiplatform CPU-Based Architecture for Cost-Effective Adaptive Optics Systems. - Jacopo Mocci; Martino Quintavalla; Cosmo Trestino; Stefano Bonora; Riccardo Muradore (IEEE Trans. Ind. Informatics, 2018)