Arie Gurfinkel

Citada per

	Totes	Des de 2020
Citacions	5685	2586
Índex h	42	27
Índex i10	109	63

620

310

155

465

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 64 57 92 80 90 86 103 106 87 127 168 199 344 316 365 337 387 419 471 487 517 619 71

Accés públic

Mostra-ho tot

33 articles

3 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Marsha ChechikProfessor of Computer Science, University of TorontoCorreu electrònic verificat a cs.toronto.edu
Jorge A NavasCertoraCorreu electrònic verificat a certora.com
Temesghen KahsaiPrincipal Applied Scientist @ AmazonCorreu electrònic verificat a amazon.com
Yakir VizelTechnionCorreu electrònic verificat a cs.technion.ac.il
Aws AlbarghouthiUniversity of Wisconsin–MadisonCorreu electrònic verificat a cs.wisc.edu
Sharon ShohamTel Aviv UniversityCorreu electrònic verificat a tauex.tau.ac.il
Nikolaj BjornerMicrosoft ResearchCorreu electrònic verificat a cs.stanford.edu
Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
Anvesh KomuravelliCarnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
Grigory FedyukovichFlorida State UniversityCorreu electrònic verificat a cs.fsu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandCorreu electrònic verificat a usi.ch
Steve EasterbrookProfessor of Computer Science, University of TorontoCorreu electrònic verificat a cs.toronto.edu
Yi LiNanyang Technological UniversityCorreu electrònic verificat a ntu.edu.sg
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileCorreu electrònic verificat a dcc.uchile.cl
Jessica DaviesEpidemiologistCorreu electrònic verificat a roche.com
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
Anton BelovSynopsys Inc.Correu electrònic verificat a belov-mcdowell.com
Zachary KincaidPrinceton UniversityCorreu electrònic verificat a cs.princeton.edu
Ipek OzkayaCarnegie Mellon University Software Engineering InstituteCorreu electrònic verificat a sei.cmu.edu

Segueix

Arie Gurfinkel

University of Waterloo

Correu electrònic verificat a uwaterloo.ca - Pàgina d'inici

Model Checking Program Analysis Verification


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015	453	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	335	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	284	2003
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	165	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	115	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	104	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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors