Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Arie
Last name:	Gurfinkel
DBLP:	44/3532
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 60  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman. Compositional Sequentialization of Periodic Programs.	Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings 2013	(0)	2013
	Conference paper Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik. UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013	(0)	2013
	Conference paper Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik. Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.	Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 2012	(0)	2012
	Conference paper Sagar Chaki, Arie Gurfinkel, Ofer Strichman. Regression Verification for Multi-threaded Programs.	Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 2012	(0)	2012
	Journal article Arie Gurfinkel, Marsha Chechik. Robust Vacuity for Branching Temporal Logic.	ACM Trans. Comput. Log. 2012, Volume 13	(0)	2012
	Journal article Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler. Reachability Problems in Piecewise FIFO Systems.	ACM Trans. Comput. Log. 2012, Volume 13	(0)	2012
	Conference paper Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik. From Under-Approximations to Over-Approximations and Back.	Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proce 2012	(0)	2012
	Conference paper Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik. Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.	Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012	(0)	2012
	Conference paper Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik. Craig Interpretation.	Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings 2012	(0)	2012
	Journal article Arie Gurfinkel, Simone Rollini, Natasha Sharygina. Propositional Interpolation Systems for Model Checking	CoRR 2012, Volume 0	(0)	2012
	Conference paper Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan. Binary Function Clustering Using Semantic Hashes.	11th International Conference on Machine Learning and Applications, ICMLA, Boca Raton, FL, USA, December 12-15, 2012. Volume 1 2012	(0)	2012
	Journal article Ou Wei, Arie Gurfinkel, Marsha Chechik. On the consistency, expressiveness, and precision of partial modeling formalisms.	Inf. Comput. 2011, Volume 209	(0)	2011
	Conference paper Arie Gurfinkel, Sagar Chaki, Samir Sapra. Efficient Predicate Abstraction of Program Summaries.	NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 2011	(0)	2011
	Conference paper Sagar Chaki, Arie Gurfinkel. Automated assume-guarantee reasoning for omega-regular systems and specifications.	ISSE 2011, Volume 7	(0)	2011
	Conference paper Sagar Chaki, Cory Cohen, Arie Gurfinkel. Supervised learning for provenance-similarity of binaries.	Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Diego, CA, USA, August 21-24, 2011 2011	(0)	2011
	Conference paper Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel. CSSL: a logic for specifying conditional scenarios.	SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011 2011	(0)	2011
	Conference paper Sagar Chaki, Arie Gurfinkel, Ofer Strichman. Time-bounded analysis of real-time systems.	International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 2011	(0)	2011
	Conference paper Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik. Abstract Analysis of Symbolic Executions.	Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 2010	(0)	2010
	Conference paper Arie Gurfinkel, Sagar Chaki. Boxes: A Symbolic Abstract Domain of Boxes.	Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings 2010	(0)	2010
	Journal article Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik. Exploiting resolution proofs to speed up LTL vacuity detection for BMC.	STTT 2010, Volume 12	(0)	2010
	Conference paper Arie Gurfinkel, Sagar Chaki. Combining predicate and numeric abstraction for software model checking.	STTT 2010, Volume 12	(0)	2010
	Conference paper Ipek Ozkaya, Jorge Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki. Using Architecturally Significant Requirements for Guiding System Evolution.	14th European Conference on Software Maintenance and Reengineering, CSMR 2010, 15-18 March 2010, Madrid, Spain 2010	(0)	2010
	Conference paper Hana Chockler, Arie Gurfinkel, Ofer Strichman. Variants of LTL Query Checking.	Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 2011	(0)	2010
	Conference paper Sagar Chaki, Arie Gurfinkel. Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications.	Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings 2010	(0)	2010
	Journal article Arie Gurfinkel, Marsha Chechik. Robust Vacuity for Branching Temporal Logic	CoRR 2010, Volume 0	(0)	2010

Show item 1 to 25 of 60  

Your query returned 60 matches in the database.