| Revisiting polyhedral analysis for hybrid systems A Becchi, E Zaffanella Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 29 | 2019 |
| A model-based approach to the design, verification and deployment of railway interlocking system A Amendola, A Becchi, R Cavada, A Cimatti, A Griggio, G Scaglione, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 20 | 2020 |
| An efficient abstract domain for not necessarily closed polyhedra A Becchi, E Zaffanella Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 20 | 2018 |
| A direct encoding for NNC polyhedra A Becchi, E Zaffanella Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 17 | 2018 |
| PPLite: zero-overhead encoding of NNC polyhedra A Becchi, E Zaffanella Information and Computation 275, 104620, 2020 | 16 | 2020 |
| ARCH-COMP19 category report: Hybrid systems with piecewise constant dynamics G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ... EasyChair, 2019 | 14 | 2019 |
| NORMA: A tool for the analysis of Relay-based Railway Interlocking Systems A Amendola, A Becchi, R Cavada, A Cimatti, A Ferrando, L Pilati, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 13 | 2022 |
| Synthesis of P-stable abstractions A Becchi, A Cimatti, E Zaffanella International Conference on Software Engineering and Formal Methods, 214-230, 2020 | 5 | 2020 |
| Abstraction modulo stability for reverse engineering A Becchi, A Cimatti International Conference on Computer Aided Verification, 469-489, 2022 | 3 | 2022 |
| Reverse engineering with P-stable Abstractions. A Becchi, A Cimatti, E Zaffanella OVERLAY@ GandALF 2987, 91-95, 2021 | 2 | 2021 |
| A conversion procedure for NNC polyhedra A Becchi, E Zaffanella arXiv preprint arXiv:1711.09593, 2017 | 2 | 2017 |
| Searching for i-good lemmas to accelerate safety model checking Y Xia, A Becchi, A Cimatti, A Griggio, J Li, G Pu International Conference on Computer Aided Verification, 288-308, 2023 | 1 | 2023 |
| SMT-Based Stability Verification of an Industrial Switched PI Control Systems S Basagiannis, L Battista, A Becchi, A Cimatti, G Giantamidis, S Mover, ... 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023 | 1 | 2023 |
| P-stable abstractions of hybrid systems A Becchi, A Cimatti, E Zaffanella Software and Systems Modeling, 1-24, 2024 | | 2024 |
| Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281) A Gurfinkel, I Mastroeni, A Miné, P Müller, A Becchi Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| PPLite 0.3 E Zaffanella, A Becchi, C Fabio, C Gino | | 2018 |
| 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)| 979-8-3503-2543-0/23/$31.00© 2023 IEEE| DOI: 10.1109/DSN-W58399. 2023 … J Almeida, L Almeida, VM Arricale, O Asghari, S Bampi, M Barbareschi, ... | | |
