Search results for "Arie Gurfinkel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Arie Gurfinkel, Marsha Chechik	Robust Vacuity for Branching Temporal Logic.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler	Reachability Problems in Piecewise FIFO Systems.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
1	Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik	From Under-Approximations to Over-Approximations and Back.	TACAS	2012	DBLP DOI BibTeX RDF
1	Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik	Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Regression Verification for Multi-threaded Programs.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel	Automated assume-guarantee reasoning for omega-regular systems and specifications.	ISSE	2011	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	On the consistency, expressiveness, and precision of partial modeling formalisms.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki, Samir Sapra	Efficient Predicate Abstraction of Program Summaries.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel	CSSL: a logic for specifying conditional scenarios.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Sagar Chaki, Cory Cohen, Arie Gurfinkel	Supervised learning for provenance-similarity of binaries.	KDD	2011	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	Robust Vacuity for Branching Temporal Logic	CoRR	2010	DBLP BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Combining predicate and numeric abstraction for software model checking.	STTT	2010	DBLP DOI BibTeX RDF
1	Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik	Exploiting resolution proofs to speed up LTL vacuity detection for BMC.	STTT	2010	DBLP DOI BibTeX RDF
1	Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik	Abstract Analysis of Symbolic Executions.	CAV	2010	DBLP DOI BibTeX RDF
1	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Variants of LTL Query Checking.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Boxes: A Symbolic Abstract Domain of Boxes.	SAS	2010	DBLP DOI BibTeX RDF
1	Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki	Using Architecturally Significant Requirements for Guiding System Evolution.	CSMR	2010	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler	Verification of Parameterized Systems with Combinations of Abstract Domains.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie	PtYasm: Software Model Checking with Proof Templates.	ASE	2008	DBLP DOI BibTeX RDF
1	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie	Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.	ASE	2008	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Combining Predicate and Numeric Abstraction for Software Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Beyond Vacuity: Towards the Strongest Passing Formula.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Ou Wei, Marsha Chechik	Model Checking Recursive Programs with Exact Predicate Abstraction.	ATVA	2008	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel	A framework for counterexample generation and exploration.	STTT	2007	DBLP DOI BibTeX RDF
1	Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik	Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler	Algorithmic Analysis of Piecewise FIFO Systems.	FMCAD	2007	DBLP DOI BibTeX RDF
1	Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik	Finding State Solutions to Temporal Logic Queries.	IFM	2007	DBLP DOI BibTeX RDF
1	Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel	Finding Environment Guarantees.	FASE	2007	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook	Data structures for symbolic multi-valued model-checking.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Symbolic model-checking, Decision diagrams, Multi-valued logic
1	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Ou Wei, Marsha Chechik	Yasm: A Software Model-Checker for Verification and Refutation.	CAV	2006	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Ou Wei, Marsha Chechik	Systematic Construction of Abstractions for Model-Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill	A Practical Approach to Partial Functions in CVC Lite.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Shiva Nejati, Arie Gurfinkel, Marsha Chechik	Stuttering Abstraction for Model Checkin.	SEFM	2005	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	How Thorough Is Thorough Enough?	CHARME	2005	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	Identification and Counter Abstraction for Full Virtual Symmetry.	CHARME	2005	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel	A Framework for Counterexample Generation and Exploration.	FASE	2005	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel	Model-Checking Software Using Precise Abstractions.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	How Vacuous Is Vacuous?	TACAS	2004	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	Extending Extended Vacuity.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
1	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
1	Arie Gurfinkel, Marsha Chechik	Multi-Valued Model Checking via Classical Model Checking.	CONCUR	2003	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	Proof-Like Counter-Examples.	TACAS	2003	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Marsha Chechik	Generating Counterexamples for Multi-valued Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	De Morgan algebras, model-checking, CTL, counterexamples, witnesses
1	Marsha Chechik, Arie Gurfinkel	TLQSolver: A Temporal Logic Query Checker.	CAV	2003	DBLP DOI BibTeX RDF
1	Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh	\chiChek: A Model Checker for Multi-Valued Reasoning. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel, Benet Devereux	chi-Chek: A Multi-valued Model-Checker.	CAV	2002	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
1	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF

Publications of "Arie Gurfinkel" ( http://dblp.L3S.de/Authors/Arie_Gurfinkel )