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. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Reverse engineering with P-stable Abstractions
8. Becchi Anna; Zaffanella Enea, PPLite: Zero-overhead encoding of NNC polyhedra
9. Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Synthesis of P-Stable Abstractions
10. Becchi Anna; Zaffanella Enea, Revisiting Polyhedral Analysis for Hybrid Systems