Arie Gurfinkel

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	5697	2598
H-index	42	27
i10-index	109	63

640

320

160

480

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 64 57 92 80 90 86 103 106 87 127 168 199 346 314 365 337 387 420 469 487 519 622 79

גישה ציבורית

הצג הכל

33 מאמרים

3 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Marsha ChechikProfessor of Computer Science, University of Torontoכתובת אימייל מאומתת בדומיין cs.toronto.edu
Jorge A NavasCertoraכתובת אימייל מאומתת בדומיין certora.com
Temesghen KahsaiPrincipal Applied Scientist @ Amazonכתובת אימייל מאומתת בדומיין amazon.com
Yakir VizelTechnionכתובת אימייל מאומתת בדומיין cs.technion.ac.il
Aws AlbarghouthiUniversity of Wisconsin–Madisonכתובת אימייל מאומתת בדומיין cs.wisc.edu
Sharon ShohamTel Aviv Universityכתובת אימייל מאומתת בדומיין tauex.tau.ac.il
Nikolaj BjornerMicrosoft Researchכתובת אימייל מאומתת בדומיין cs.stanford.edu
Ofer StrichmanTechnion, Haifa, Israelכתובת אימייל מאומתת בדומיין ie.technion.ac.il
Anvesh KomuravelliCarnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Grigory FedyukovichFlorida State Universityכתובת אימייל מאומתת בדומיין cs.fsu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandכתובת אימייל מאומתת בדומיין usi.ch
Steve EasterbrookProfessor of Computer Science, University of Torontoכתובת אימייל מאומתת בדומיין cs.toronto.edu
Yi LiNanyang Technological Universityכתובת אימייל מאומתת בדומיין ntu.edu.sg
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of Chileכתובת אימייל מאומתת בדומיין dcc.uchile.cl
Jessica DaviesEpidemiologistכתובת אימייל מאומתת בדומיין roche.com
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Anton BelovSynopsys Inc.כתובת אימייל מאומתת בדומיין belov-mcdowell.com
Zachary KincaidPrinceton Universityכתובת אימייל מאומתת בדומיין cs.princeton.edu
Ipek OzkayaCarnegie Mellon University Software Engineering Instituteכתובת אימייל מאומתת בדומיין sei.cmu.edu

עקוב אחר

Arie Gurfinkel

University of Waterloo

כתובת אימייל מאומתת בדומיין uwaterloo.ca - דף הבית

Model Checking Program Analysis Verification


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
The SeaHorn verification framework‏ A Gurfinkel, T Kahsai, A Komuravelli, JA Navas‏ International Conference on Computer Aided Verification, 343-361, 2015‏	455	2015
SMT-based model checking for recursive programs‏ A Komuravelli, A Gurfinkel, S Chaki‏ Formal Methods in System Design 48, 175-205, 2016‏	350	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‏	336	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‏	285	2003
Symbolic optimization with SMT solvers‏ Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik‏ ACM SIGPLAN Notices 49 (1), 607-618, 2014‏	166	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‏	134	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‏	116	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‏	108	2013
Multi-valued model checking via classical model checking‏ A Gurfinkel, M Chechik‏ International conference on concurrency theory, 266-280, 2003‏	105	2003
Maximal specification synthesis‏ A Albarghouthi, I Dillig, A Gurfinkel‏ ACM SIGPLAN Notices 51 (1), 789-801, 2016‏	83	2016
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification‏ A Albarghouthi, A Gurfinkel, M Chechik‏ International Workshop on Verification, Model Checking, and Abstract …, 2012‏	81	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‏	81	2001
Interpolating property directed reachability‏ Y Vizel, A Gurfinkel‏ International Conference on Computer Aided Verification, 260-276, 2014‏	79	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‏	77	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‏	76	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‏	72	2015
Boxes: A Symbolic Abstract Domain of Boxes‏ A Gurfinkel, S Chaki‏ International Static Analysis Symposium, 287-303, 2010‏	66	2010
Why waste a perfectly good abstraction?‏ A Gurfinkel, M Chechik‏ International Conference on Tools and Algorithms for the Construction and …, 2006‏	65	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‏	65	2003

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים