Anna Becchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | PyCHC: A Framework for Certified Horn Solving and CHC-Based Design. | Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina |
| 2026 | TACAS | Syntactically Convex Model-Based Projection for Linear Real Arithmetic. | Anna Becchi, Grigory Fedyukovich, Arie Gurfinkel, Lev Nachmanson |
| 2024 | CAV | Testing the Migration from Analog to Software-Based Railway Interlocking Systems. | Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione |
| 2023 | CAV | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |
| 2023 | DSN | 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 |
| 2022 | CAV | Abstraction Modulo Stability for Reverse Engineering. | Anna Becchi, Alessandro Cimatti |
| 2022 | TACAS | 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 |
| 2020 | ISoLA | 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 |
| 2020 | SEFM | Synthesis of P-Stable Abstractions. | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
| 2019 | SAS | Revisiting Polyhedral Analysis for Hybrid Systems. | Anna Becchi, Enea Zaffanella |
| 2018 | CAV | A Direct Encoding for NNC Polyhedra. | Anna Becchi, Enea Zaffanella |
| 2018 | SAS | An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. | Anna Becchi, Enea Zaffanella |