Anna Becchi

According to our database, Anna Becchi authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

P-stable abstractions of hybrid systems.

Anna Becchi, Alessandro Cimatti, Enea Zaffanella

Softw. Syst. Model., April, 2024

Testing the Migration from Analog to Software-Based Railway Interlocking Systems.

Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).

Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi

Dagstuhl Reports, 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

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Searching for i-Good Lemmas to Accelerate Safety Model Checking.

Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Abstraction Modulo Stability for Reverse Engineering.

Anna Becchi, Alessandro Cimatti

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Reverse engineering with P-stable Abstractions.

Anna Becchi, Alessandro Cimatti, Enea Zaffanella

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

PPLite: Zero-overhead encoding of NNC polyhedra.

Anna Becchi, Enea Zaffanella

Inf. Comput., 2020

Synthesis of P-Stable Abstractions.

Anna Becchi, Alessandro Cimatti, Enea Zaffanella

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Revisiting Polyhedral Analysis for Hybrid Systems.

Anna Becchi, Enea Zaffanella

Proceedings of the Static Analysis - 26th International Symposium, 2019

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, Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra.

Anna Becchi, Enea Zaffanella

Proceedings of the Static Analysis - 25th International Symposium, 2018

A Direct Encoding for NNC Polyhedra.

Anna Becchi, Enea Zaffanella

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Conversion Procedure for NNC Polyhedra.

Anna Becchi, Enea Zaffanella

CoRR, 2017