Anna Becchi

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Reverse Engineer

Piecewise Constant

Abstract Interpretation

Top Venues

Publications

Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione
Testing the Migration from Analog to Software-Based Railway Interlocking Systems. CAV (2) (2024)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
P-stable abstractions of hybrid systems. Softw. Syst. Model. 23 (2) (2024)
Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu
Searching for i-Good Lemmas to Accelerate Safety Model Checking. CAV (2) (2023)
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports 13 (7) (2023)
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W (2023)
Anna Becchi, Alessandro Cimatti
Abstraction Modulo Stability for Reverse Engineering. CAV (1) (2022)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF (2021)
Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) (2020)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Synthesis of P-Stable Abstractions. SEFM (2020)
Anna Becchi, Enea Zaffanella
PPLite: Zero-overhead encoding of NNC polyhedra. Inf. Comput. 275 (2020)
Anna Becchi, Enea Zaffanella
Revisiting Polyhedral Analysis for Hybrid Systems. SAS (2019)
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, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Anna Becchi, Enea Zaffanella
A Direct Encoding for NNC Polyhedra. CAV (1) (2018)
Anna Becchi, Enea Zaffanella
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. SAS (2018)
Anna Becchi, Enea Zaffanella
A Conversion Procedure for NNC Polyhedra. CoRR (2017)