Arie Gurfinkel
Scholar

Arie Gurfinkel

Google Scholar ID: WHTB3_MAAAAJ
University of Waterloo
Model CheckingProgram AnalysisVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,040
 
H-index
43
 
i10-index
112
 
Publications
20
 
Co-authors
34
list available
Contact
No contact links provided.
Publications
2 items
Verifiable Checks for Business Rule Consistency
2026
Cited
0
Show Me The Money: An Exercise in Proof-Driven Software Understanding
2026
Cited
0
Resume (English only)
Co-authors
34 total
Marsha Chechik
Marsha Chechik
Professor of Computer Science, University of Toronto
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Yakir Vizel
Yakir Vizel
Technion
Aws Albarghouthi
Aws Albarghouthi
University of Wisconsin–Madison
Nikolaj Bjorner
Nikolaj Bjorner
Microsoft Research
Sharon Shoham
Sharon Shoham
Tel Aviv University
Co-author 8
Co-author 8