Arie Gurfinkel

	2012
52		Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: From Under-Approximations to Over-Approximations and Back. TACAS 2012: 157-172
51		Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Regression Verification for Multi-threaded Programs. VMCAI 2012: 119-135
50		Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI 2012: 39-55
49		Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic. ACM Trans. Comput. Log. 13(1): 1 (2012)
48		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log. 13(1): 7 (2012)
	2011
47		Sagar Chaki, Cory Cohen, Arie Gurfinkel: Supervised learning for provenance-similarity of binaries. KDD 2011: 15-23
46		Arie Gurfinkel, Sagar Chaki, Samir Sapra: Efficient Predicate Abstraction of Program Summaries. NASA Formal Methods 2011: 131-145
45		Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel: CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47
44		Sagar Chaki, Arie Gurfinkel: Automated assume-guarantee reasoning for omega-regular systems and specifications. ISSE 7(2): 131-139 (2011)
43		Ou Wei, Arie Gurfinkel, Marsha Chechik: On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. 209(1): 20-47 (2011)
	2010
42		Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik: Abstract Analysis of Symbolic Executions. CAV 2010: 495-510
41		Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki: Using Architecturally Significant Requirements for Guiding System Evolution. CSMR 2010: 127-136
40		Hana Chockler, Arie Gurfinkel, Ofer Strichman: Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92
39		Arie Gurfinkel, Sagar Chaki: Boxes: A Symbolic Abstract Domain of Boxes. SAS 2010: 287-303
38		Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic CoRR abs/1002.4616: (2010)
37		Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting resolution proofs to speed up LTL vacuity detection for BMC. STTT 12(5): 319-335 (2010)
36		Arie Gurfinkel, Sagar Chaki: Combining predicate and numeric abstraction for software model checking. STTT 12(6): 409-427 (2010)
	2009
35		Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Decision diagrams for linear arithmetic. FMCAD 2009: 53-60
34		Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE 2009: 57-72
33		Ou Wei, Arie Gurfinkel, Marsha Chechik: Mixed Transition Systems Revisited. VMCAI 2009: 349-365
	2008
32		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
31		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
30		Arie Gurfinkel, Ou Wei, Marsha Chechik: Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110
29		Hana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8
28		Arie Gurfinkel, Sagar Chaki: Combining Predicate and Numeric Abstraction for Software Model Checking. FMCAD 2008: 1-9
	2007
27		Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
26		Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
25		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
24		Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
23		Marsha Chechik, Arie Gurfinkel: A framework for counterexample generation and exploration. STTT 9(5-6): 429-445 (2007)
	2006
22		Arie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
21		Arie Gurfinkel, Marsha Chechik: Why Waste a Perfectly Good Abstraction?. TACAS 2006: 212-226
20		Arie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
19		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 29(3): 295-344 (2006)
	2005
18		Ou Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300
17		Arie Gurfinkel, Marsha Chechik: How Thorough Is Thorough Enough? CHARME 2005: 65-80
16		Marsha Chechik, Arie Gurfinkel: A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236
15		Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
14		Marsha Chechik, Arie Gurfinkel: Model-Checking Software Using Precise Abstractions. VSTTE 2005: 347-353
13		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. 125(3): 13-23 (2005)
	2004
12		Arie Gurfinkel, Marsha Chechik: Extending Extended Vacuity. FMCAD 2004: 306-321
11		Arie Gurfinkel, Marsha Chechik: How Vacuous Is Vacuous? TACAS 2004: 451-466
	2003
10		Marsha Chechik, Arie Gurfinkel: TLQSolver: A Temporal Logic Query Checker. CAV 2003: 210-214
9		Arie Gurfinkel, Marsha Chechik: Multi-Valued Model Checking via Classical Model Checking. CONCUR 2003: 263-277
8		Arie Gurfinkel, Marsha Chechik: Generating Counterexamples for Multi-valued Model-Checking. FME 2003: 503-521
7		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. ICSE 2003: 804-805
6		Arie Gurfinkel, Marsha Chechik: Proof-Like Counter-Examples. TACAS 2003: 160-175
5		Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel: Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003)
4		Arie Gurfinkel, Marsha Chechik, Benet Devereux: Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. 29(10): 898-914 (2003)
	2002
3		Marsha Chechik, Arie Gurfinkel, Benet Devereux: chi-Chek: A Multi-valued Model-Checker. CAV 2002: 505-509
2		Arie Gurfinkel, Benet Devereux, Marsha Chechik: Model exploration with temporal logic query checking. SIGSOFT FSE 2002: 139-148
	2001
1		Marsha Chechik, Benet Devereux, Arie Gurfinkel: Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. SPIN 2001: 16-36

Coauthor Index

1	Aws Albarghouthi	[42] [50] [52]
2	Clark W. Barrett (Clark Barrett)	[13]
3	Shoham Ben-David	[45]
4	Sergey Berezin	[13]
5	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[24] [27]
6	Sagar Chaki	[28] [35] [36] [39] [41] [44] [46] [47] [51]
7	Marsha Chechik	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [30] [31] [32] [33] [37] [38] [42] [43] [45] [49] [50] [52]
8	Hana Chockler	[29] [40]
9	Cory Cohen	[47]
10	Jessica Davies	[26] [37]
11	Benet Devereux	[1] [2] [3] [4] [5] [7] [19]
12	David L. Dill	[13]
13	Steve M. Easterbrook	[5] [7] [19]
14	Naghmeh Ghafari	[25] [34] [48]
15	Thomas E. Hart	[31] [32]
16	Nils Klarlund	[25] [48]
17	Kelvin Ku	[31] [32]
18	Albert Y. C. Lai	[7] [19]
19	David Lie	[31] [32]
20	Shiva Nejati	[15]
21	Ipek Ozkaya	[41]
22	J. Andrés Díaz Pace	[41]
23	Victor Petrovykh	[7]
24	Samir Sapra	[46]
25	Igor Shikanian	[13]
26	Jocelyn Simmonds	[26] [37]
27	Ofer Strichman	[29] [35] [40] [51]
28	Anya Tafliovich	[7]
29	Christopher Thompson-Walsh	[7]
30	Richard J. Trefler	[25] [34] [48]
31	Sebastián Uchitel	[45]
32	Ou Wei	[18] [20] [22] [30] [33] [42] [43]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page