RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.047 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
The Reachable Simulation Problem In corso di stampa Ranzato, Francesco + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
The Best of Abstract Interpretations 2025 Ranzato, Francesco + PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
Abstract Interpretation-Based Feature Importance for Support Vector Machines 2024 Ranzato F. + - LECTURE NOTES IN COMPUTER SCIENCE Proceedings of theProceedings of the 25th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'24)
Computing Reachable Simulations on Transition Systems 2024 Ranzato, Francesco + - LECTURE NOTES IN COMPUTER SCIENCE Reachability Problems, RP 2024
Robustness verification of k-nearest neighbors by abstract interpretation 2024 Ranzato, Francesco + KNOWLEDGE AND INFORMATION SYSTEMS - -
A Correctness and Incorrectness Program Logic 2023 Ranzato, F + JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 2023 Francesco Ranzato + - - -
Local Completeness in Abstract Interpretation 2023 Ranzato, Francesco + - INTELLIGENT SYSTEMS REFERENCE LIBRARY Challenges of Software Verification
Robustness Certification of k-Nearest Neighbors 2023 Ranzato, Francesco + - - 2023 IEEE International Conference on Data Mining (ICDM)
Abstract interpretation repair 2022 Ranzato, Francesco + - - PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
History of Abstract Interpretation 2022 Ranzato F. + IEEE ANNALS OF THE HISTORY OF COMPUTING - -
Intensional Kleene and Rice theorems for abstract program semantics 2022 Baldan, PaoloRanzato, Francesco + INFORMATION AND COMPUTATION - -
Local Completeness Logic on Kleene Algebra with Tests 2022 Milanese, MarcoRanzato, Francesco - LECTURE NOTES IN COMPUTER SCIENCE Proceedings of the 29th International Static Analysis Symposium
A Logic for Locally Complete Abstract Interpretations 2021 Ranzato F. + - PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE Proceedings - Symposium on Logic in Computer Science
A Rice’s Theorem for Abstract Semantics 2021 Paolo BaldanFrancesco Ranzato + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
Complete Abstractions for Checking Language Inclusion 2021 Ganty, PierreRanzato, Francesco + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Fairness-Aware Training of Decision Trees by Abstract Interpretation 2021 Ranzato F.Zanella M. + - - International Conference on Information and Knowledge Management, Proceedings
Genetic adversarial training of decision trees 2021 Ranzato F.Zanella M. - - GECCO 2021 - Proceedings of the 2021 Genetic and Evolutionary Computation Conference
Inclusion Testing of Büchi Automata Based on Well-Quasiorders 2021 Francesco Ranzato + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Proceedings of the 32nd International Conference on Concurrency Theory (CONCUR 2021)
Abstract interpretation of decision tree ensemble classifiers 2020 Francesco RanzatoMarco Zanella - PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE Proceedings of the 34th AAAI Conference on Artificial Intelligence