The expected impact of smart devices visualization. - Raffaele Bolla; Franco Davoli; Chiara Lombardo; Laura Masullo; Roberto Bruschi (ICNC, 2016)

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Andrea Piattino; Daniele Trentini (ISoLA (3), 2020)

The 4SECURail Case Study on Rigorous Standard Interface Specifications. - Dimitri Belli; Alessandro Fantechi; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Lisa Quadrini; Daniele Trentini; Carlo Vaghi (FMICS, 2023)