Concepedia

Francesco Ranzato

FR

26

Publications

967

Citations

19

H-Index

1994

Active since

Affiliations

University of Padua(Current)

University of Pisa

University of Verona

Microsoft (United States)

University of Genoa

Francesco Ranzato is an author at University of Padua specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisSemanticsLanguage

Publications per year

1994–2023

26

Publications

26

Making abstract interpretations complete

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · Journal of the ACM · 2000 · 249 citations · Full text

Underlying Abstract Domains, Engineering, Well-founded Semantics +18

Optimal domains for disjunctive abstract interpretation

Roberto Giacobazzi, Francesco Ranzato · Science of Computer Programming · 1998 · 64 citations

Formal Semantics, Automated Reasoning, Optimal Domains +5

Complementation in abstract interpretation

Agostino Cortesi, Gilberto Filé, Francesco Ranzato et al. · ACM Transactions on Programming Languages and Systems · 1997 · 61 citations · Full text

Engineering, Domain Complementation, Reduced Product +17

A New Efficient Simulation Equivalence Algorithm

Francesco Ranzato, Francesco Tapparo · 2007 · 43 citations · Full text

Engineering, Verification, Simulation Equivalence +19

Analyzing Program Analyses

Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato · 2014 · 42 citations · Full text

Software Maintenance, Program Checking, Engineering +20

Rows per page

1–5 of 26