Follow
Francesco Ranzato
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Verified email at math.unipd.it - Homepage
Title
Cited by
Cited by
Year
Making abstract interpretations complete
R Giacobazzi, F Ranzato, F Scozzari
Journal of the ACM (JACM) 47 (2), 361-416, 2000
3112000
A unifying view of abstract domain design
G Filé, R Giacobazzi, F Ranzato
ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996
1001996
Complementation in abstract interpretation
A Cortesi, G File, F Ranzato, R Giacobazzi, C Palamidessi
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 7-47, 1997
921997
Refining and compressing abstract domains
R Giacobazzi, F Ranzato
International Colloquium on Automata, Languages, and Programming, 771-781, 1997
911997
Optimal domains for disjunctive abstract interpretation
R Giacobazzi, F Ranzato
Science of Computer Programming 32 (1-3), 177-210, 1998
901998
Completeness in abstract interpretation: A domain perspective
R Giacobazzi, F Ranzato
International Conference on Algebraic Methodology and Software Technology …, 1997
621997
Strong preservation as completeness in abstract interpretation
F Ranzato, F Tapparo
Programming Languages and Systems: 13th European Symposium on Programming …, 2004
602004
Analyzing program analyses
R Giacobazzi, F Logozzo, F Ranzato
ACM SIGPLAN Notices 50 (1), 261-273, 2015
582015
A new efficient simulation equivalence algorithm
F Ranzato, F Tapparo
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 171-180, 2007
582007
Abstract interpretation of decision tree ensemble classifiers
F Ranzato, M Zanella
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5478-5486, 2020
542020
The powerset operator on abstract interpretations
G Filé, F Ranzato
Theoretical Computer Science 222 (1-2), 77-111, 1999
501999
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
G Filé, F Ranzato
GULP-PRODE (1), 357-371, 1994
491994
The reduced relative power operation on abstract domains
R Giacobazzi, F Ranzato
Theoretical Computer Science 216 (1-2), 159-211, 1999
471999
A logic for locally complete abstract interpretations
R Bruni, R Giacobazzi, R Gori, F Ranzato
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
452021
Weak relative pseudo-complements of closure operators
R Giacobazzi, C Palamidessi, F Ranzato
Algebra Universalis 36, 405-412, 1996
431996
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.
R Giacobazzi, F Ranzato
ILPS, 321-335, 1995
401995
A²I: abstract² interpretation
P Cousot, R Giacobazzi, F Ranzato
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
392019
Generalizing the Paige–Tarjan algorithm by abstract interpretation
F Ranzato, F Tapparo
Information and Computation 206 (5), 620-651, 2008
392008
A correctness and incorrectness program logic
R Bruni, R Giacobazzi, R Gori, F Ranzato
Journal of the ACM 70 (2), 1-45, 2023
372023
An efficient simulation algorithm based on abstract interpretation
F Ranzato, F Tapparo
Information and Computation 208 (1), 1-22, 2010
372010
The system can't perform the operation now. Try again later.
Articles 1–20