Francesco Ranzato

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