Giuseppe Scaglione

12 papers B 2C 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Automated Parameterized Verification of a Railway Protection System with Dafny.
CAV (4)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti
2025 — conf
Safe Maintenance of Railways Using COTS Mobile Devices: The Remote Worker Dashboard.
RSSRail
Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli
2024 — conf
Model-Based Testing of Railway Interlocking Systems.
ISoLA (5)
Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli
2024 — conf
Testing the Migration from Analog to Software-Based Railway Interlocking Systems.
CAV (2)
Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione
2023 J jnl
Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard.
ACM Trans. Cyber Phys. Syst.
Tommaso Zoppi, Innocenzo Mungiello, Andrea Ceccarelli, Alberto Cirillo, Lorenzo Sarti, Lorenzo Esposito, Giuseppe Scaglione, Sergio Repetto, Andrea Bondavalli
2022 C conf
A Simple Software-based Resolver To Digital Conversion System.
IECON
Antonino Oscar Di Tommaso, Rosario Miceli, Claudio Nevoloso, Giuseppe Scaglione, Giuseppe Schettino, Concettina Buccella, Carlo Cecati
2022 — conf
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.
TACAS (1)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
2021 C conf
Experimental Comparative Analysis of Efficiency and THD for a Three-phase Five-level Cascaded H-Bridge Inverter Controlled by Several MC-PWM Schemes.
IECON
Giuseppe Schettino, Claudio Nevoloso, Rosario Miceli, Antonino Oscar Di Tommaso, Giuseppe Scaglione, Carlo Cecati, Concettina Buccella
2020 — conf
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.
ISoLA (3)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
2020 — conf
Anomaly Detection for Vision-Based Railway Inspection.
EDCC Workshops
Riccardo Gasparini, Stefano Pini, Guido Borghi, Giuseppe Scaglione, Simone Calderara, Eugenio Fedeli, Rita Cucchiara
2020 B conf
Anomaly Detection, Localization and Classification for Railway Inspection.
ICPR
Riccardo Gasparini, Andrea D'Eusanio, Guido Borghi, Stefano Pini, Giuseppe Scaglione, Simone Calderara, Eugenio Fedeli, Rita Cucchiara
2018 B conf
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.
FMCAD
Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione