RANZATO, FRANCESCO
RANZATO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
The Best of Abstract Interpretations
2025 Giacobazzi, Roberto; Ranzato, Francesco
The Reachable Simulation Problem
2025 Ganty, Pierre; Manini, Nicolas; Ranzato, Francesco
Robustness verification of k-nearest neighbors by abstract interpretation
2024 Fassina, Nicolò; Ranzato, Francesco; Zanella, Marco
A Correctness and Incorrectness Program Logic
2023 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
History of Abstract Interpretation
2022 Giacobazzi, R.; Ranzato, F.
Intensional Kleene and Rice theorems for abstract program semantics
2022 Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng
Complete Abstractions for Checking Language Inclusion
2021 Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
A²I: abstract² interpretation
2019 Cousot, PATRICK MARCEL PAUL MAURICE; Giacobazzi, Roberto; Ranzato, Francesco
Foreword to the special issue on the 2017 Static Analysis Symposium
2019 Ranzato, Francesco
Abstracting Nash equilibria of supermodular games
2018 Ranzato, Francesco
A new characterization of complete Heyting and co-Heyting algebras
2017 Ranzato, Francesco
An abstract interpretation-based model of tracing just-in-time compilation
2016 Dissegna, Stefano; Logozzo, Francesco; Ranzato, Francesco
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
2015 Crafa, Silvia; Ranzato, Francesco
An efficient simulation algorithm on Kripke structures
2014 Ranzato, Francesco
Correctness kernels of abstract interpretations
2014 Roberto, Giacobazzi; Ranzato, Francesco
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
2012 Crafa, Silvia; Ranzato, Francesco
Saving space in a time efficient simulation algorithm
2011 Crafa, Silvia; Ranzato, Francesco; Tapparo, F.
An efficient simulation algorithm based on abstract interpretation
2010 Ranzato, Francesco; Tapparo, F.
The Subgraph Similarity Problem
2009 DE NARDO, L; Ranzato, Francesco; Tapparo, F.
Generalizing the Paige-Tarjan algorithm by abstract interpretation
2008 Ranzato, Francesco; Tapparo, F.