Giuseppe Scaglione
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Automated Parameterized Verification of a Railway Protection System with Dafny. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti |
| 2024 | CAV | Testing the Migration from Analog to Software-Based Railway Interlocking Systems. | Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione |
| 2024 | ISoLA | Model-Based Testing of Railway Interlocking Systems. | Alessandro Cimatti, Shaker Khandaker, Fitsum Meshesha Kifetew, Lorenzo Leone, Davide Prandi, Giuseppe Scaglione, Angelo Susi, Orazio Turboli |
| 2022 | IECON | 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 |
| 2022 | TACAS | 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 |
| 2021 | IECON | 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 |
| 2020 | EDCC | Anomaly Detection for Vision-Based Railway Inspection. | Riccardo Gasparini, Stefano Pini, Guido Borghi, Giuseppe Scaglione, Simone Calderara, Eugenio Fedeli, Rita Cucchiara |
| 2020 | ICPR | 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 |
| 2020 | ISoLA | 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 |
| 2018 | FMCAD | 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 |