Anna Becchi

PhD Student

Becchi Anna; Cimatti Alessandro; Zaffanella Enea, P-stable abstractions of hybrid systems
Xia Yechuan; Becchi Anna; Cimatti Alessandro; Griggio Alberto; Li Jianwen; Pu Geguang, Searching for i-Good Lemmas to Accelerate Safety Model Checking
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
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
Becchi Anna; Cimatti Alessandro, Abstraction Modulo Stability for Reverse Engineering
Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Reverse engineering with P-stable Abstractions
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
Becchi Anna; Zaffanella Enea, PPLite: Zero-overhead encoding of NNC polyhedra
Becchi Anna; Cimatti Alessandro; Zaffanella Enea, Synthesis of P-Stable Abstractions
Becchi Anna; Zaffanella Enea, Revisiting Polyhedral Analysis for Hybrid Systems