Anna Becchi

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