Francesco Ranzato

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 41

Top Venues

Publications

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) (2024)
Nicolò Fassina, Francesco Ranzato, Marco Zanella
Robustness verification of k-nearest neighbors by abstract interpretation. Knowl. Inf. Syst. 66 (8) (2024)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Correctness and Incorrectness Program Logic. J. ACM 70 (2) (2023)
Nicolò Fassina, Francesco Ranzato, Marco Zanella
Robustness Certification of k-Nearest Neighbors. ICDM (2023)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Intensional Kleene and Rice theorems for abstract program semantics. Inf. Comput. 289 (Part) (2022)
Marco Milanese, Francesco Ranzato
Local Completeness Logic on Kleene Algebra with Tests. SAS (2022)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for SVMs. CoRR (2022)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Abstract interpretation repair. PLDI (2022)
Roberto Giacobazzi, Francesco Ranzato
History of Abstract Interpretation. IEEE Ann. Hist. Comput. 44 (2) (2022)
Pierre Ganty, Nicolas Manini, Francesco Ranzato
Online Simulation Reduction. CoRR (2022)
Marco Milanese, Francesco Ranzato
Local Completeness Logic on Kleene Algebra with Tests. CoRR (2022)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. CoRR (2021)
Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato
Inclusion Testing of Büchi Automata Based on Well-Quasiorders. CONCUR (2021)
Francesco Ranzato, Marco Zanella
Genetic adversarial training of decision trees. GECCO (2021)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Complete Abstractions for Checking Language Inclusion. ACM Trans. Comput. Log. 22 (4) (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fairness-Aware Training of Decision Trees by Abstract Interpretation. CIKM (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fair Training of Decision Tree Classifiers. CoRR (2021)
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics. ICALP (2021)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations. LICS (2021)
Francesco Ranzato, Marco Zanella
Genetic Adversarial Training of Decision Trees. CoRR (2020)
Francesco Ranzato
Decidability and Synthesis of Abstract Inductive Invariants. CoRR (2020)
Francesco Ranzato, Marco Zanella
Abstract Interpretation of Decision Tree Ensemble Classifiers. AAAI (2020)
Francesco Ranzato
Decidability and Synthesis of Abstract Inductive Invariants. CONCUR (2020)
Francesco Ranzato, Marco Zanella
Robustness Verification of Support Vector Machines. SAS (2019)
Francesco Ranzato
Foreword to the special issue on the 2017 Static Analysis Symposium. Formal Methods Syst. Des. 54 (1) (2019)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Complete Abstractions for Checking Language Inclusion. CoRR (2019)
Francesco Ranzato, Marco Zanella
Robustness Verification of Decision Tree Ensembles. OVERLAY@AI*IA (2019)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Language Inclusion Algorithms as Complete Abstract Interpretations. SAS (2019)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Francesco Ranzato, Marco Zanella
Robustness Verification of Support Vector Machines. CoRR (2019)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) (2018)
Francesco Ranzato, Marco Zanella
Invertible Linear Transforms of Numerical Abstract Domains. SAS (2018)
Francesco Ranzato
On Constructivity of Galois Connections. VMCAI (2018)
Francesco Ranzato
Abstracting Nash equilibria of supermodular games. Formal Methods Syst. Des. 53 (2) (2018)
Francesco Ranzato
A Constructive Framework for Galois Connections. CoRR (2017)
Francesco Ranzato
A new characterization of complete Heyting and co-Heyting algebras. Log. Methods Comput. Sci. 13 (3) (2017)
Francesco Ranzato
Abstract Interpretation of Supermodular Games. SAS (2016)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato
Analyzing Program Analyses. POPL (2015)
Francesco Ranzato
Abstract Interpretation of Supermodular Games. CoRR (2015)
Francesco Ranzato
A new characterization of complete Heyting and co-Heyting algebras. CoRR (2015)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
Tracing compilation by abstract interpretation. POPL (2014)
Roberto Giacobazzi, Francesco Ranzato
Correctness kernels of abstract interpretations. Inf. Comput. 237 (2014)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation. CoRR (2014)
Silvia Crafa, Francesco Ranzato
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions. ACM Trans. Comput. Log. 16 (1) (2014)
Francesco Ranzato
An efficient simulation algorithm on Kripke structures. Acta Informatica 51 (2) (2014)
Francesco Ranzato
Complete Abstractions Everywhere. VMCAI (2013)
Francesco Ranzato
A More Efficient Simulation Algorithm on Kripke Structures. MFCS (2013)
Silvia Crafa, Francesco Ranzato
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods Syst. Des. 40 (3) (2012)
Francesco Ranzato
A More Efficient Simulation Algorithm on Kripke Structures CoRR (2012)
Silvia Crafa, Francesco Ranzato
A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR (2011)
Silvia Crafa, Francesco Ranzato
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) (2011)
Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. Fundam. Informaticae 108 (1-2) (2011)
Francesco Ranzato, Francesco Tapparo
An efficient simulation algorithm based on abstract interpretation. Inf. Comput. 208 (1) (2010)
Roberto Giacobazzi, Francesco Ranzato
Example-Guided Abstraction Simplification. ICALP (2) (2010)
Francesco Ranzato, Francesco Tapparo
Computing Stuttering Simulations CoRR (2009)
Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo
The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21 (5) (2009)
Roberto Giacobazzi, Francesco Ranzato
Abstraction-Guided Abstraction Simplification CoRR (2009)
Francesco Ranzato, Francesco Tapparo
Computing Stuttering Simulations. CONCUR (2009)
Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. ACSD (2009)
Francesco Ranzato, Francesco Tapparo
Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206 (5) (2008)
Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo
A Forward-Backward Abstraction Refinement Algorithm. VMCAI (2008)
Francesco Ranzato, Francesco Tapparo
Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17 (1) (2007)
Francesco Ranzato, Francesco Tapparo
A New Efficient Simulation Equivalence Algorithm. LICS (2007)
Francesco Ranzato, Francesco Tapparo
An efficient simulation equivalence algorithm based on abstract interpretation CoRR (2007)
Francesco Ranzato, Francesco Tapparo
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI (2006)
Francesco Ranzato, Francesco Tapparo
Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation CoRR (2006)
Roberto Giacobazzi, Francesco Ranzato
Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204 (3) (2006)
Francesco Ranzato, Francesco Tapparo
An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS (2005)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract domains condensing. ACM Trans. Comput. Log. 6 (1) (2005)
Francesco Ranzato, Francesco Tapparo
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS (2005)
Roberto Giacobazzi, Francesco Ranzato
Incompleteness of States w.r.t. Traces in Model Checking CoRR (2004)
Francesco Ranzato, Francesco Tapparo
Generalized Strong Preservation by Abstract Interpretation CoRR (2004)
Francesco Ranzato, Francesco Tapparo
Strong Preservation as Completeness in Abstract Interpretation. ESOP (2004)
Francesco Ranzato
Pseudocomplements of closure operators on posets. Discret. Math. 248 (1-3) (2002)
Francesco Ranzato, Francesco Tapparo
Making Abstract Model Checking Strongly Preserving. SAS (2002)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making Abstract Domains Condensing CoRR (2002)
Roberto Giacobazzi, Francesco Ranzato
States vs. Traces in Model Checking by Abstract Interpretation. SAS (2002)
Francesco Ranzato
On the Completeness of Model Checking. ESOP (2001)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract interpretations complete. J. ACM 47 (2) (2000)
Roberto Giacobazzi, Francesco Ranzato
The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216 (1-2) (1999)
Francesco Ranzato
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. APPIA-GULP-PRODE (1999)
Gilberto Filé, Francesco Ranzato
The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222 (1-2) (1999)
Francesco Ranzato
Closures on CPOs Form Complete Lattices. Inf. Comput. 152 (2) (1999)
Roberto Giacobazzi, Francesco Ranzato
Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32 (1-3) (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE (1998)
Roberto Giacobazzi, Francesco Ranzato
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145 (2) (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Complete Abstract Interpretations Made Constructive. MFCS (1998)
Roberto Giacobazzi, Francesco Ranzato
Refining and Compressing Abstract Domains. ICALP (1997)
Roberto Giacobazzi, Francesco Ranzato
Completeness in Abstract Interpretation: A Domain Perspective. AMAST (1997)
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19 (1) (1997)
Roberto Giacobazzi, Francesco Ranzato
Compositional Optimization of Disjunctive Abstract Interpretations. ESOP (1996)
Roberto Giacobazzi, Francesco Ranzato
Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE (1996)
Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28 (2) (1996)
Roberto Giacobazzi, Francesco Ranzato
Complementing Logic Program Semantics. ALP (1996)
Gilberto Filé, Francesco Ranzato
Complementation of Abstract Domains made Easy. JICSLP (1996)
Roberto Giacobazzi, Francesco Ranzato
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS (1995)
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
Complementation in Abstract Interpretation SAS (1995)
Gilberto Filé, Francesco Ranzato
Improving Abstract Interpretations by Systematic Lifting to the Powerset. ILPS (1994)

Francesco Ranzato.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Ranzato