| Revisiting polyhedral analysis for hybrid systems A Becchi, E Zaffanella Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 28 | 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 | 24 | 2020 |
| PPLite: zero-overhead encoding of NNC polyhedra A Becchi, E Zaffanella Information and Computation 275, 104620, 2020 | 22 | 2020 |
| An efficient abstract domain for not necessarily closed polyhedra A Becchi, E Zaffanella Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 21 | 2018 |
| 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 | 20 | 2022 |
| A direct encoding for NNC polyhedra A Becchi, E Zaffanella Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 18 | 2018 |
| 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 | 15 | 2019 |
| 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 | 6 | 2023 |
| Abstraction modulo stability for reverse engineering A Becchi, A Cimatti International Conference on Computer Aided Verification, 469-489, 2022 | 5 | 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 |
| 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 | 4 | 2023 |
| 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 |
| P-stable abstractions of hybrid systems A Becchi, A Cimatti, E Zaffanella Software and Systems Modeling 23 (2), 403-426, 2024 | 1 | 2024 |
| Abstraction Modulo Stability A Becchi, A Cimatti Formal Methods in System Design, 1-36, 2024 | | 2024 |
| Testing the Migration from Analog to Software-Based Railway Interlocking Systems A Becchi, A Cimatti, G Scaglione International Conference on Computer Aided Verification, 219-232, 2024 | | 2024 |
| Stability Verification of an Industrial Switched PI Control Systems S Basagiannis, L Battista, A Becchi, A Cimatti, G Giantamidis, S Mover, ... Proceedings of the 11th Int. Workshop on Applied 103, 145-152, 2024 | | 2024 |
| Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281) A Gurfinkel, I Mastroeni, A Miné, P Müller, A Becchi Dagstuhl Reports 13 (7), 66-95, 2024 | | 2024 |
| PPLite 0.3 E Zaffanella, A Becchi, F Cristini, G Ceresini | | 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, ... | | |
