Concepedia

Roberto Giacobazzi

RG

Statistics

Publications

43

Citations

1.7K

H-Index

26

Active since

1992

Affiliations

University of Verona(Current)

University of Pisa

University of Padua

Roberto Giacobazzi is an author at University of Verona specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationAutomated ReasoningSoftware AnalysisSemanticsSoftware EngineeringLogic Programming

Publications per year

1992–2023

43

Publications

43

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

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13

Roberto Giacobazzi, Radhia Cousot · HAL (Le Centre pour la Communication Scientifique Directe) · 2013 · 96 citations

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi · ACM Transactions on Programming Languages and Systems · 1993 · 89 citations · Full text

Applied Logic, Engineering, Logic Programs +21

Fast location of similar code fragments using semantic 'juice'

Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi · 2013 · 88 citations

Engineering, Computer Architecture, Software Engineering +26

Optimal domains for disjunctive abstract interpretation

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

Formal Semantics, Automated Reasoning, Optimal Domains +5

1–5 of 43