P-stable abstractions of hybrid systems. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (Softw. Syst. Model., 2024)

Testing the Migration from Analog to Software-Based Railway Interlocking Systems. - Becchi, Anna; Cimatti, Alessandro; Scaglione, Giuseppe (2024)

Searching for i-Good Lemmas to Accelerate Safety Model Checking. - Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang (2023)

SMT-Based Stability Verification of an Industrial Switched PI Control Systems. - Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios A. (2023)

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). - Gurfinkel, Arie; Mastroeni, Isabella; Miné, Antoine; Müller, Peter; Becchi, Anna (Dagstuhl Reports, 2023)

Abstraction Modulo Stability for Reverse Engineering. - Becchi, Anna; Cimatti, Alessandro (2022)

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. - Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco (2022)

Reverse engineering with P-stable Abstractions. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (2021)

PPLite: Zero-overhead encoding of NNC polyhedra. - Becchi, Anna; Zaffanella, Enea (Inf. Comput., 2020)

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. - Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo (2020)

Synthesis of P-Stable Abstractions. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (2020)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimatti, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Mufid, Muhammad Syifa'ul; Riouak, Idriss; Tonetta, Stefano; et al. (2019)

Revisiting Polyhedral Analysis for Hybrid Systems. - Becchi, Anna; Zaffanella, Enea (2019)

A Direct Encoding for NNC Polyhedra. - Becchi, Anna; Zaffanella, Enea (2018)

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. - Becchi, Anna; Zaffanella, Enea (2018)

A Conversion Procedure for NNC Polyhedra. - Becchi, Anna; Zaffanella, Enea (CoRR, 2017)