Arie Gurfinkel

2009
30	EE	Ou Wei, Arie Gurfinkel, Marsha Chechik: Mixed Transition Systems Revisited. VMCAI 2009: 349-365
2008
29	EE	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
28	EE	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
27	EE	Arie Gurfinkel, Ou Wei, Marsha Chechik: Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110
2007
26	EE	Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
25	EE	Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
24	EE	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
23	EE	Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
22	EE	Marsha Chechik, Arie Gurfinkel: A framework for counterexample generation and exploration. STTT 9(5-6): 429-445 (2007)
2006
21	EE	Arie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
20	EE	Arie Gurfinkel, Marsha Chechik: Why Waste a Perfectly Good Abstraction?. TACAS 2006: 212-226
19	EE	Arie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
18	EE	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
17	EE	Ou Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300
16	EE	Arie Gurfinkel, Marsha Chechik: How Thorough Is Thorough Enough? CHARME 2005: 65-80
15	EE	Marsha Chechik, Arie Gurfinkel: A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236
14	EE	Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
13	EE	Marsha Chechik, Arie Gurfinkel: Model-Checking Software Using Precise Abstractions. VSTTE 2005: 347-353
2004
12	EE	Arie Gurfinkel, Marsha Chechik: Extending Extended Vacuity. FMCAD 2004: 306-321
11	EE	Arie Gurfinkel, Marsha Chechik: How Vacuous Is Vacuous? TACAS 2004: 451-466
2003
10	EE	Marsha Chechik, Arie Gurfinkel: TLQSolver: A Temporal Logic Query Checker. CAV 2003: 210-214
9	EE	Arie Gurfinkel, Marsha Chechik: Multi-Valued Model Checking via Classical Model Checking. CONCUR 2003: 263-277
8	EE	Arie Gurfinkel, Marsha Chechik: Generating Counterexamples for Multi-valued Model-Checking. FME 2003: 503-521
7	EE	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	EE	Arie Gurfinkel, Marsha Chechik: Proof-Like Counter-Examples. TACAS 2003: 160-175
5	EE	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	EE	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	EE	Marsha Chechik, Arie Gurfinkel, Benet Devereux: chi-Chek: A Multi-valued Model-Checker. CAV 2002: 505-509
2	EE	Arie Gurfinkel, Benet Devereux, Marsha Chechik: Model exploration with temporal logic query checking. SIGSOFT FSE 2002: 139-148
2001
1	EE	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	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[23] [26]
2	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] [25] [26] [27] [28] [29] [30]
3	Jessica Davies	[25]
4	Benet Devereux	[1] [2] [3] [4] [5] [7] [18]
5	Steve M. Easterbrook	[5] [7] [18]
6	Naghmeh Ghafari	[24]
7	Thomas E. Hart	[28] [29]
8	Nils Klarlund	[24]
9	Kelvin Ku	[28] [29]
10	Albert Y. C. Lai	[7] [18]
11	David Lie	[28] [29]
12	Shiva Nejati	[14]
13	Victor Petrovykh	[7]
14	Jocelyn Simmonds	[25]
15	Anya Tafliovich	[7]
16	Christopher Thompson-Walsh	[7]
17	Richard J. Trefler	[24]
18	Ou Wei	[17] [19] [21] [27] [30]

Colors in the list of coauthors