Concepedia

Arie Gurfinkel

AG

37

Publications

1.4K

Citations

20

H-Index

2001

Active since

Affiliations

Carnegie Mellon University(Current)

University of Toronto

Software Engineering Institute

University of Waterloo

Tel Aviv University

Arie Gurfinkel is an author at Carnegie Mellon University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningSoftware AnalysisProgram AnalysisComputer EngineeringSoftware Design

Publications per year

2001–2022

37

Publications

37

Multi-valued symbolic model-checking

Marsha Chećhik, Benet Devereux, Steve Easterbrook et al. · ACM Transactions on Software Engineering and Methodology · 2003 · 187 citations

Engineering, Verification, Computer-aided Verification +19

SMT-based model checking for recursive programs

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki · Formal Methods in System Design · 2016 · 124 citations

Program Checking, Engineering, Automated Reasoning +11

Symbolic optimization with SMT solvers

Yi Li, Aws Albarghouthi, Zachary Kincaid et al. · 2014 · 119 citations

Mathematical Programming, Large-scale Global Optimization, Program Checking +21

Simple and precise static analysis of untrusted Linux kernel extensions

Elazar Gershuni, Nadav Amit, Arie Gurfinkel et al. · 2019 · 86 citations · Full text

Internet Traffic Analysis, Engineering, Information Security +22

Temporal logic query checking: a tool for model exploration

Arie Gurfinkel, Marsha Chećhik, Benet Devereux · IEEE Transactions on Software Engineering · 2003 · 66 citations

Engineering, Formal Modeling, Automated Reasoning +15

Rows per page

1–5 of 37