Anna Becchi

Publications

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