Arie Gurfinkel

Cited by

	All	Since 2016
Citations	3553	1892
h-index	33	22
i10-index	83	50

420

210

105

315

2002200320042005200620072008200920102011201220132014201520162017201820192020202129 60 49 83 71 90 96 112 93 85 137 169 205 331 302 364 332 384 407 101

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 KahsaiResearch Scientist at NASA Ames Research CenterVerified email at nasa.gov
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.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
Jocelyn SimmondsUniversidad de ChileVerified email at dcc.uchile.cl
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
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
J. Andres Diaz PaceProfessor of Computer Science, ISISTAN-CONICET and UNICEN University, ArgentinaVerified email at exa.unicen.edu.ar
Ipek OzkayaCarnegie Mellon University Software Engineering InstituteVerified email at sei.cmu.edu
Shai Ben-DavidUniverity of Waterloo, CanadaVerified email at uwaterloo.ca
Pierre-Loïc GarocheENAC - NASA/KBRVerified email at enac.fr
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
David LieUniversity of TorontoVerified email at eecg.toronto.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
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	246	2003
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015	236	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48 (3), 175-205, 2016	173	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	168	2015
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	130	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	110	2012
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International Conference on Concurrency Theory, 266-280, 2003	88	2003
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
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	69	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	69	2012
Yasm: A Software Model-Checker for Verification and Refutation A Gurfinkel, O Wei, M Chechik International Conference on Computer Aided Verification, 170-174, 2006	65	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	58	2006
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	55	2012
How vacuous is vacuous? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2004	55	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	55	2003
χChek: a multi-valued model-checker M Chechik, A Gurfinkel, B Devereux International Conference on Computer Aided Verification, 505-509, 2002	55	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	53	2015
Boxes: A symbolic abstract domain of boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	50	2010
Model exploration with temporal logic query checking A Gurfinkel, B Devereux, M Chechik ACM SIGSOFT Software Engineering Notes 27 (6), 139-148, 2002	49	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

Upload PDF

Follow this author

Cited by

Co-authors