Arie Gurfinkel

Cited by

	All	Since 2017
Citations	4364	2385
h-index	37	25
i10-index	97	59

480

240

120

360

20022003200420052006200720082009201020112012201320142015201620172018201920202021202229 60 50 81 77 88 90 110 90 85 135 168 205 331 305 369 339 375 426 474 398

Public access

View all

26 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Jorge A NavasSenior Researcher @ CertoraVerified email at certora.com
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Yakir VizelTechnionVerified email at cs.technion.ac.il
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Anvesh KomuravelliCarnegie Mellon UniversityVerified email at cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
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
Jocelyn SimmondsUniversidad de ChileVerified email at dcc.uchile.cl
Jessica DaviesEpidemiologistVerified email at roche.com
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca

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	328	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	256	2003
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48 (3), 175-205, 2016	243	2016
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II, 24-51, 2015	243	2015
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	146	2014
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik International Conference on Computer Aided Verification, 672-678, 2012	127	2012
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003	96	2003
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	86	2013
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik International Workshop on Verification, Model Checking, and Abstract …, 2012	74	2012
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	74	2001
Yasm: A Software Model-Checker for Verification and Refutation A Gurfinkel, O Wei, M Chechik International Conference on Computer Aided Verification, 170-174, 2006	71	2006
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	63	2015
Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik International Static Analysis Symposium, 300-316, 2012	61	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	61	2012
Boxes: A symbolic abstract domain of boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	60	2010
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2006	59	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	59	2003
How vacuous is vacuous? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2004	58	2004
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016	57	2016
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	57	2012

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