Arie Gurfinkel

Cited by

	All	Since 2018
Citations	4782	2443
h-index	37	26
i10-index	101	59

480

240

120

360

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202325 63 49 84 80 82 81 107 94 89 131 170 209 336 316 365 340 376 419 469 472 365

Public access

View all

28 articles

4 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 NavasCertoraVerified 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
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
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
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
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	366	2015
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	278	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016	275	2016
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	268	2003
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	163	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	128	2012
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003	98	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	92	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	78	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	75	2019
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	75	2001
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	73	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	65	2015
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	65	2012
Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	65	2010
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	64	2012
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016	62	2016
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2006	62	2006
Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik International Static Analysis Symposium, 300-316, 2012	61	2012
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

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