Arie Gurfinkel

2007
25	EE	Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
24	EE	Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
23	EE	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
22	EE	Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
21	EE	Marsha Chechik, Arie Gurfinkel: A framework for counterexample generation and exploration. STTT 9(5-6): 429-445 (2007)
2006
20	EE	Arie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
19	EE	Arie Gurfinkel, Marsha Chechik: Why Waste a Perfectly Good Abstraction?. TACAS 2006: 212-226
18	EE	Arie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
17	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
16	EE	Ou Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300
15	EE	Arie Gurfinkel, Marsha Chechik: How Thorough Is Thorough Enough? CHARME 2005: 65-80
14	EE	Marsha Chechik, Arie Gurfinkel: A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236
13	EE	Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
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)	[22] [25]
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] [24] [25]
3	Jessica Davies	[24]
4	Benet Devereux	[1] [2] [3] [4] [5] [7] [17]
5	Steve M. Easterbrook	[5] [7] [17]
6	Naghmeh Ghafari	[23]
7	Nils Klarlund	[23]
8	Albert Y. C. Lai	[7] [17]
9	Shiva Nejati	[13]
10	Victor Petrovykh	[7]
11	Jocelyn Simmonds	[24]
12	Anya Tafliovich	[7]
13	Christopher Thompson-Walsh	[7]
14	Richard J. Trefler	[23]
15	Ou Wei	[16] [18] [20]

Colors in the list of coauthors