Arie Gurfinkel

Citado por

	Total	Desde 2019
Citas	5546	2852
Índice h	40	28
Índice i10	109	65

580

290

145

435

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 62 52 85 83 83 79 108 94 93 127 165 205 331 324 366 343 379 408 466 481 535 575

Acceso público

Ver todo

32 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Marsha ChechikProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Jorge A NavasCertoraDirección de correo verificada de certora.com
Yakir VizelTechnionDirección de correo verificada de cs.technion.ac.il
Temesghen KahsaiPrincipal Applied Scientist @ AmazonDirección de correo verificada de amazon.com
Aws AlbarghouthiUniversity of Wisconsin–MadisonDirección de correo verificada de cs.wisc.edu
Nikolaj BjornerMicrosoft ResearchDirección de correo verificada de cs.stanford.edu
Sharon ShohamTel Aviv UniversityDirección de correo verificada de tauex.tau.ac.il
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Anvesh KomuravelliCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Grigory FedyukovichFlorida State UniversityDirección de correo verificada de cs.fsu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
Steve EasterbrookProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Yi LiNanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileDirección de correo verificada de dcc.uchile.cl
Jessica DaviesEpidemiologistDirección de correo verificada de roche.com
Anton BelovSynopsys Inc.Dirección de correo verificada de belov-mcdowell.com
Zachary KincaidPrinceton UniversityDirección de correo verificada de cs.princeton.edu
Ipek OzkayaCarnegie Mellon University Software Engineering InstituteDirección de correo verificada de sei.cmu.edu

Seguir

Arie Gurfinkel

University of Waterloo

Dirección de correo verificada de uwaterloo.ca - Página principal

Model Checking Program Analysis Verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015	445	2015
SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016	335	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	326	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	170	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	132	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	113	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	107	2013
Multi-valued model checking via classical model checking A Gurfinkel, M Chechik International conference on concurrency theory, 266-280, 2003	103	2003
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik International Workshop on Verification, Model Checking, and Abstract …, 2012	80	2012
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016	78	2016
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	77	2001
Interpolating property directed reachability Y Vizel, A Gurfinkel International Conference on Computer Aided Verification, 260-276, 2014	76	2014
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
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	76	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	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	68	2015
Boxes: A Symbolic Abstract Domain of Boxes A Gurfinkel, S Chaki International Static Analysis Symposium, 287-303, 2010	65	2010
Why waste a perfectly good abstraction? A Gurfinkel, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2006	63	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	63	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores