Arie Gurfinkel

Citée par

	Toutes	Depuis 2018
Citations	4597	2267
indice h	37	24
indice i10	100	57

480

240

120

360

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202328 60 49 74 80 89 87 104 88 92 131 170 203 338 313 365 339 379 430 461 459 196

Accès public

Tout afficher

27 articles

3 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Marsha Chechik Professor of Computer Science, University of TorontoAdresse e-mail validée de cs.toronto.edu
Jorge A NavasCertoraAdresse e-mail validée de certora.com
Aws AlbarghouthiUniversity of Wisconsin–MadisonAdresse e-mail validée de cs.wisc.edu
Temesghen KahsaiPrincipal Applied Scientist @ AmazonAdresse e-mail validée de amazon.com
Yakir VizelTechnionAdresse e-mail validée de cs.technion.ac.il
Nikolaj BjornerMicrosoft ResearchAdresse e-mail validée de cs.stanford.edu
Anvesh KomuravelliCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelAdresse e-mail validée de ie.technion.ac.il
Grigory FedyukovichFlorida State UniversityAdresse e-mail validée de cs.fsu.edu
Sharon ShohamTel Aviv UniversityAdresse e-mail validée de tauex.tau.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandAdresse e-mail validée de usi.ch
Steve EasterbrookProfessor of Computer Science, University of TorontoAdresse e-mail validée de cs.toronto.edu
Yi LiNanyang Technological UniversityAdresse e-mail validée de ntu.edu.sg
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Jocelyn SimmondsUniversidad de ChileAdresse e-mail validée de dcc.uchile.cl
Jessica DaviesEpidemiologistAdresse e-mail validée de roche.com
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Anton BelovSynopsys Inc.Adresse e-mail validée de belov-mcdowell.com
Zachary KincaidPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
Shiva NejatiEECS / University of OttawaAdresse e-mail validée de uottawa.ca

Suivre

Arie Gurfinkel

University of Waterloo

Adresse e-mail validée de uwaterloo.ca - Page d'accueil

Model Checking Program Analysis Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	350	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016	262	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	262	2003
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	259	2015
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014	156	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	127	2012
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	96	2003
Automatic abstraction in SMT-based unbounded software model checking A Komuravelli, A Gurfinkel, S Chaki, EM Clarke Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	92	2013
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	78	2012
Model-checking in finite state-space systems with fine-grained abstractions using SPIN M Chechik, B Devereux, A Gurfinkel Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 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	70	2006
SeaHorn: A framework for verifying C programs (competition contribution) A Gurfinkel, T Kahsai, JA Navas Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	64	2015
Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010	64	2010
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016	62	2016
From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	62	2012
Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012	61	2012
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik TACAS 3920, 212-226, 2006	61	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	60	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	59	2019
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs