Concepedia

Agostino Cortesi

AC

55

Publications

1.6K

Citations

26

H-Index

1989

Active since

Affiliations

Ca' Foscari University of Venice(Current)

University of Calcutta

University of Verona

University of Padua

ETH Zurich

Agostino Cortesi is an author at Ca' Foscari University of Venice specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisAutomated ReasoningProgram AnalysisData SecurityInformation SecuritySoftware Engineering

Publications per year

1989–2024

55

Publications

55

Prop revisited: propositional formula as abstract domain for groundness analysis

Agostino Cortesi, G. Filé, William H. Winsborough · 2002 · 86 citations

Engineering, Verification, Well-founded Semantics +19

Static analysis for discovering IoT vulnerabilities

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi et al. · International Journal on Software Tools for Technology Transfer · 2020 · 80 citations · Full text

Type analysis of prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier · The Journal of Logic Programming · 1995 · 78 citations

Engineering, Automated Reasoning, Type Theory +7

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

Combinations of abstract domains for logic programming

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck · 1994 · 58 citations · Full text

Applied Logic, Engineering, Well-founded Semantics +16

Rows per page

1–5 of 55