Arie Gurfinkel

Cited by

	All	Since 2019
Citations	5532	2840
h-index	40	28
i10-index	109	65

580

290

145

435

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 62 52 85 83 83 79 108 94 93 127 165 205 331 324 366 341 379 408 466 481 533 566

Public access

View all

32 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Jorge A NavasCertoraVerified email at certora.com
Yakir VizelTechnionVerified email at cs.technion.ac.il
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Anvesh KomuravelliCarnegie Mellon UniversityVerified email at cs.cmu.edu
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Steve EasterbrookProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileVerified email at dcc.uchile.cl
Jessica DaviesEpidemiologistVerified email at roche.com
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Ipek OzkayaCarnegie Mellon University Software Engineering InstituteVerified email at sei.cmu.edu

Arie Gurfinkel

University of Waterloo

Verified email at uwaterloo.ca - Homepage

Model Checking Program Analysis Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015	445	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016	334	2016
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015	326	2015
Multi-valued symbolic model-checking M Chechik, B Devereux, S Easterbrook, A Gurfinkel ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 371-408, 2003	283	2003
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	170	2014
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	132	2012
Simple and precise static analysis of untrusted linux kernel extensions E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	113	2019
Automatic abstraction in SMT-based unbounded software model checking A Komuravelli, A Gurfinkel, S Chaki, EM Clarke International Conference on Computer Aided Verification, 846-862, 2013	107	2013
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003	102	2003
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik International Workshop on Verification, Model Checking, and Abstract …, 2012	80	2012
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016	78	2016
Model-checking in finite state-space systems with fine-grained abstractions using SPIN M Chechik, B Devereux, A Gurfinkel International SPIN Workshop on Model Checking of Software, 16-36, 2001	77	2001
Interpolating property directed reachability Y Vizel, A Gurfinkel International Conference on Computer Aided Verification, 260-276, 2014	76	2014
Yasm: A Software Model-Checker for Verification and Refutation: (Tool Paper) A Gurfinkel, O Wei, M Chechik Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	76	2006
Binary function clustering using semantic hashes W Jin, S Chaki, C Cohen, A Gurfinkel, J Havrilla, C Hines, P Narasimhan 2012 11th International Conference on Machine Learning and Applications 1 …, 2012	75	2012
From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik International conference on tools and algorithms for the construction and …, 2012	75	2012
SeaHorn: A framework for verifying C programs (competition contribution) A Gurfinkel, T Kahsai, JA Navas International Conference on Tools and Algorithms for the Construction and …, 2015	68	2015
Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	65	2010
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2006	63	2006
Temporal logic query checking: A tool for model exploration A Gurfinkel, M Chechik, B Devereux IEEE Transactions on Software Engineering 29 (10), 898-914, 2003	63	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors