Becchi, Anna
Becchi, Anna
Ingegneria e scienza dell'Informaz (29/10/12-)
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
Abstraction Modulo Stability
2024-01-01 Becchi, Anna; Cimatti, Alessandro
Abstraction Modulo Stability for Reverse Engineering
2022-01-01 Becchi, A; Cimatti, A
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
2022-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
P-stable abstractions of hybrid systems
2024-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
PPLite: Zero-overhead encoding of NNC polyhedra
2020-01-01 Becchi, A; Zaffanella, E
Searching for i-Good Lemmas to Accelerate Safety Model Checking
2023-01-01 Xia, Y.; Becchi, A.; Cimatti, A.; Griggio, A.; Li, J.; Pu, G.
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
2023-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
2024-01-01 Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe