Francesco Ranzato
Università degli Studi di Padova
H-index: 25
Europe-Italy
Top articles of Francesco Ranzato
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Robustness verification of k-nearest neighbors by abstract interpretation | Knowledge and Information Systems | Nicolò Fassina Francesco Ranzato Marco Zanella | 2024/4/26 |
Abstract Interpretation-Based Feature Importance for Support Vector Machines | Abhinandan Pal Francesco Ranzato Caterina Urban Marco Zanella | 2023/12/30 | |
Robustness Certification of k-Nearest Neighbors | Nicolò Fassina Francesco Ranzato Marco Zanella | 2023/12/1 | |
Local Completeness in Abstract Interpretation | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2023/7/22 | |
A correctness and incorrectness program logic | Journal of the ACM | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2023/3/25 |
Abstract interpretation repair | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2022/6/9 | |
Computing Reachable Simulations | arXiv preprint arXiv:2204.11804 | Pierre Ganty Nicolas Manini Francesco Ranzato | 2022/4/25 |
Local completeness logic on Kleene algebra with tests | Marco Milanese Francesco Ranzato | 2022/12/2 | |
Intensional Kleene and Rice theorems for abstract program semantics | Information and Computation | Paolo Baldan Francesco Ranzato Linpeng Zhang | 2022/11/1 |
Genetic adversarial training of decision trees | Francesco Ranzato Marco Zanella | 2021/6/26 | |
Fair training of decision tree classifiers | arXiv preprint arXiv:2101.00909 | Francesco Ranzato Caterina Urban Marco Zanella | 2021/1/4 |
Inclusion testing of Büchi automata based on well-quasiorders | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Doveri Kyveli Ganty Pierre Parolini Francesco Francesco Ranzato | 2021 |
History of abstract interpretation | IEEE Annals of the History of Computing | Roberto Giacobazzi Francesco Ranzato | 2021/12/7 |
A Rice’s theorem for abstract semantics | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Paolo Baldan Francesco Ranzato Zhang Linpeng | 2021 |
Fairness-aware training of decision trees by abstract interpretation | Francesco Ranzato Caterina Urban Marco Zanella | 2021/10/26 | |
Complete abstractions for checking language inclusion | ACM Transactions on Computational Logic (TOCL) | Pierre Ganty Francesco Ranzato Pedro Valero | 2021/9/8 |
A logic for locally complete abstract interpretations | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2021/6/29 | |
Inclusion Checking Algorithms for ω-Languages | submitted to the 27th Static Analysis Symposium | Kyveli Doveri Pierre Ganty Francesco Parolini Francesco Ranzato | 2020 |
Decidability and synthesis of abstract inductive invariants | arXiv preprint arXiv:2004.03170 | Francesco Ranzato | 2020/4/7 |
Abstract interpretation of decision tree ensemble classifiers | Proceedings of the AAAI Conference on Artificial Intelligence | Francesco Ranzato Marco Zanella | 2020/4/3 |