Anna Becchi

Orcid: 0000-0002-2831-9529

According to our database1, Anna Becchi authored at least 14 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

SMT-Based Stability Verification of an Industrial Switched PI Control Systems.
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.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Abstraction Modulo Stability for Reverse Engineering.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Reverse engineering with P-stable Abstractions.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020
PPLite: Zero-overhead encoding of NNC polyhedra.
Inf. Comput., 2020

Synthesis of P-Stable Abstractions.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019
Revisiting Polyhedral Analysis for Hybrid Systems.
Proceedings of the Static Analysis - 26th International Symposium, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
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.
Proceedings of the Static Analysis - 25th International Symposium, 2018

A Direct Encoding for NNC Polyhedra.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
A Conversion Procedure for NNC Polyhedra.
CoRR, 2017


  Loading...