Arie Gurfinkel

Cited by

	All	Since 2016
Citations	3710	2044
h-index	34	23
i10-index	85	52

440

220

110

330

2002200320042005200620072008200920102011201220132014201520162017201820192020202128 60 50 86 76 90 96 111 95 85 135 172 205 329 302 363 334 371 432 242

Public access

View all

21 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
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Jorge A NavasSRI InternationalVerified email at sri.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Yakir VizelTechnionVerified email at cs.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
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
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
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk

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
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	251	2003
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015	250	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48 (3), 175-205, 2016	181	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	176	2015
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	134	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	114	2012
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International Conference on Concurrency Theory, 266-280, 2003	89	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	72	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	72	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	72	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	67	2006
Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik International Static Analysis Symposium, 300-316, 2012	59	2012
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2006	59	2006
How vacuous is vacuous? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2004	57	2004
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	57	2003
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	56	2012
χChek: a multi-valued model-checker M Chechik, A Gurfinkel, B Devereux International Conference on Computer Aided Verification, 505-509, 2002	56	2002
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	55	2015
Boxes: A symbolic abstract domain of boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	54	2010
Model exploration with temporal logic query checking A Gurfinkel, B Devereux, M Chechik ACM SIGSOFT Software Engineering Notes 27 (6), 139-148, 2002	50	2002

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 this author

Cited by

Co-authors