Becchi, Anna
Becchi, Anna
FM
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, Anna; Cimatti, Alessandro
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, Anna; Zaffanella, Enea
Reverse engineering with P-stable Abstractions
2021-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
Searching for i-Good Lemmas to Accelerate Safety Model Checking
2023-01-01 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
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
Stability Verification of an Industrial Switched PI Control Systems
2024-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Synthesis of P-Stable Abstractions
2020-01-01 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
2024-01-01 Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System | 1-gen-2020 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo | |
| Abstraction Modulo Stability | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro | |
| Abstraction Modulo Stability for Reverse Engineering | 1-gen-2022 | Becchi, Anna; Cimatti, Alessandro | |
| NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems | 1-gen-2022 | Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco | |
| P-stable abstractions of hybrid systems | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea | |
| PPLite: Zero-overhead encoding of NNC polyhedra | 1-gen-2020 | Becchi, Anna; Zaffanella, Enea | |
| Reverse engineering with P-stable Abstractions | 1-gen-2021 | Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea | |
| Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; Zaffanella, Enea | |
| Searching for i-Good Lemmas to Accelerate Safety Model Checking | 1-gen-2023 | Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang | |
| SMT-Based Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2023 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios | |
| Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2024 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios | |
| Synthesis of P-Stable Abstractions | 1-gen-2020 | Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea | |
| Testing the Migration from Analog to Software-Based Railway Interlocking Systems | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe |