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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abstraction Modulo Stability. - Anna Becchi; Alessandro Cimatti (Formal Methods Syst. Des., 2025)