Giuseppe Scaglione

According to our database, Giuseppe Scaglione authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Testing the Migration from Analog to Software-Based Railway Interlocking Systems.

Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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., October, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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

Proceedings of the IECON 2022, 2022

2021

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

Proceedings of the IECON 2021, 2021

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 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

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Anomaly Detection for Vision-Based Railway Inspection.

Riccardo Gasparini, Stefano Pini, Guido Borghi, Giuseppe Scaglione, Simone Calderara, Eugenio Fedeli, Rita Cucchiara

Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018