Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. - Roberto Cavada; Alessandro Cimatti; Sergio Mover; Mirko Sessa; Giuseppe Cadavero; Giuseppe Scaglione (FMCAD, 2018)

Anomaly Detection for Vision-Based Railway Inspection. - Riccardo Gasparini; Stefano Pini; Guido Borghi; Giuseppe Scaglione; Simone Calderara; Eugenio Fedeli; Rita Cucchiara (EDCC Workshops, 2020)

Anomaly Detection, Localization and Classification for Railway Inspection. - Riccardo Gasparini; Andrea D'Eusanio; Guido Borghi; Stefano Pini; Giuseppe Scaglione; Simone Calderara; Eugenio Fedeli; Rita Cucchiara (ICPR, 2020)

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Giuseppe Scaglione; Angelo Susi; Alberto Tacchella; Matteo Tessi (ISoLA (3), 2020)

Experimental Comparative Analysis of Efficiency and THD for a Three-phase Five-level Cascaded H-Bridge Inverter Controlled by Several MC-PWM Schemes. - Giuseppe Schettino; Claudio Nevoloso; Rosario Miceli; Antonino Oscar Di Tommaso; Giuseppe Scaglione; Carlo Cecati; Concettina Buccella (IECON, 2021)

A Simple Software-based Resolver To Digital Conversion System. - Antonino Oscar Di Tommaso; Rosario Miceli; Claudio Nevoloso; Giuseppe Scaglione; Giuseppe Schettino; Concettina Buccella; Carlo Cecati (IECON, 2022)

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Andrea Ferrando; Lorenzo Pilati; Giuseppe Scaglione; Alberto Tacchella; Marco Zamboni (TACAS (1), 2022)

Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard. - Tommaso Zoppi; Innocenzo Mungiello; Andrea Ceccarelli; Alberto Cirillo; Lorenzo Sarti; Lorenzo Esposito; Giuseppe Scaglione; Sergio Repetto; Andrea Bondavalli (ACM Trans. Cyber Phys. Syst., 2023)

Testing the Migration from Analog to Software-Based Railway Interlocking Systems. - Anna Becchi; Alessandro Cimatti; Giuseppe Scaglione (CAV (2), 2024)

Model-Based Testing of Railway Interlocking Systems. - Alessandro Cimatti; Shaker Khandaker; Fitsum Meshesha Kifetew; Lorenzo Leone; Davide Prandi; Giuseppe Scaglione; Angelo Susi; Orazio Turboli (ISoLA (5), 2024)

Automated Parameterized Verification of a Railway Protection System with Dafny. - Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Christian Lidström; Gianluca Redondi; Giuseppe Scaglione; Matteo Tessi; Dylan Trenti (CAV (4), 2025)